|
||||||||||
| 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 | |||||||||