public abstract class OWLLogicalAxiomImpl extends OWLAxiomImpl implements OWLLogicalAxiom
Modifier | Constructor and Description |
---|---|
protected |
OWLLogicalAxiomImpl(java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
isAnnotationAxiom()
Determines if this axioms in an annotation axiom (an instance of
OWLAnnotationAxiom ) |
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom.
|
accept, equals, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareObjectOfSameType, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
protected OWLLogicalAxiomImpl(java.util.Collection<? extends OWLAnnotation> annotations)
public boolean isLogicalAxiom()
OWLAxiom
isLogicalAxiom
in interface OWLAxiom
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.public boolean isAnnotationAxiom()
OWLAxiom
OWLAnnotationAxiom
)isAnnotationAxiom
in interface OWLAxiom
true
if this axiom is an instance of OWLAnnotationAxiom
, otherwise false
.