com.clarkparsia.modularity

Class ChangeTypeDetector

java.lang.Object

com.clarkparsia.modularity.ChangeTypeDetector

public class ChangeTypeDetector
extends Object

Detects what kind of type of a change (i.e., TBox, RBox or ABox change) an addition or a deletion of an OWLAxiom introduces.

Author:

Blazej Bulka

Constructor Summary

Constructors

Constructor and Description
ChangeTypeDetector()

Method Summary

Modifier and Type	Method and Description
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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ChangeTypeDetector

public ChangeTypeDetector()

Method Detail

isTBoxAxiom

public static boolean isTBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Checks whether the given OWLAxiom is a TBox axiom

Parameters:

axiom - the axiom to be checked

Returns:

true if the axiom is a TBox axiom

isRBoxAxiom

public static boolean isRBoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Checks whether the given OWLAxiom is a RBox axiom

Parameters:

axiom - the axiom to be checked

Returns:

true if the axiom is a RBox axiom

isABoxAxiom

public static boolean isABoxAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Checks whether the given OWLAxiom is a ABox axiom

Parameters:

axiom - the axiom to be checked

Returns:

true if the axiom is a ABox axiom