com.clarkparsia.modularity
Class ChangeTypeDetector

java.lang.Object
  extended by com.clarkparsia.modularity.ChangeTypeDetector

public class ChangeTypeDetector
extends java.lang.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
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

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


Copyright © 2004 Evren Sirin. All Rights Reserved.