public interface OWLEquivalentClassesAxiom extends OWLNaryClassAxiom
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLEquivalentClassesAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
boolean |
containsNamedEquivalentClass()
Determines if this equivalent classes axiom contains at least one
named class (excluding owl:Thing or owl:Nothing).
|
boolean |
containsOWLNothing()
Determines if this class axiom makes a class expression equivalent to nothing.
|
boolean |
containsOWLThing()
Determines if this class axiom makes a class expression equivalent to thing.
|
OWLEquivalentClassesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
java.util.Set<OWLClass> |
getNamedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in this equivalent classes axiom.
|
contains, getClassExpressions, getClassExpressionsAsList, getClassExpressionsMinus
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
asOWLSubClassOfAxioms
boolean containsNamedEquivalentClass()
true
if the axiom contains at least one named class
otherwise false
. Note that this method will return false
if the only named classes are owl:Thing or owl:Nothing.java.util.Set<OWLClass> getNamedClasses()
boolean containsOWLNothing()
true
if this axiom contains owl:Nothing as an equivalent
class.boolean containsOWLThing()
true
if this axioms contains owl:Thing as an equivalent class.java.util.Set<OWLEquivalentClassesAxiom> asPairwiseAxioms()
OWLNaryAxiom
asPairwiseAxioms
in interface OWLNaryAxiom
OWLEquivalentClassesAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom