public interface OWLSameIndividualAxiom extends OWLNaryIndividualAxiom
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLSameIndividualAxiom> |
asPairwiseAxioms()
Returns this axiom represented as set of
OWLSubClassOfAxiom s. |
boolean |
containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals.
|
OWLSameIndividualAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
getIndividuals, getIndividualsAsList
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
OWLSameIndividualAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
boolean containsAnonymousIndividuals()
true
if this axioms contains anonymous individual axiomsjava.util.Set<OWLSameIndividualAxiom> asPairwiseAxioms()
OWLSubClassOfAxiom
s.asPairwiseAxioms
in interface OWLNaryAxiom
OWLSubClassOfAxiom
s.