public abstract class OWLLogicalAxiomImpl extends OWLAxiomImpl implements OWLLogicalAxiom
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
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
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
.Copyright © 2017 The University of Manchester. All Rights Reserved.