public interface OWLDifferentIndividualsAxiom extends OWLNaryIndividualAxiom
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLDifferentIndividualsAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
boolean |
containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals.
|
OWLDifferentIndividualsAxiom |
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
OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
boolean containsAnonymousIndividuals()
true
if this axioms contains anonymous individual axiomsjava.util.Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms()
OWLNaryAxiom
asPairwiseAxioms
in interface OWLNaryAxiom