|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.modularity.ChangeTypeDetector
public class ChangeTypeDetector
Detects what kind of type of a change (i.e., TBox, RBox or ABox change) an addition or a deletion of an OWLAxiom introduces.
Constructor Summary | |
---|---|
ChangeTypeDetector()
|
Method Summary | |
---|---|
static boolean |
isABoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
Checks whether the given OWLAxiom is a ABox axiom |
static boolean |
isRBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
Checks whether the given OWLAxiom is a RBox axiom |
static boolean |
isTBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
Checks whether the given OWLAxiom is a TBox axiom |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ChangeTypeDetector()
Method Detail |
---|
public static boolean isTBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
axiom
- the axiom to be checked
public static boolean isRBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
axiom
- the axiom to be checked
public static boolean isABoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
axiom
- the axiom to be checked
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |