public interface OWLSameIndividualAxiom extends OWLNaryIndividualAxiom
| Modifier and Type | Method and Description |
|---|---|
Set<OWLSameIndividualAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
boolean |
containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals.
|
OWLSameIndividualAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
getIndividuals, getIndividualsAsListaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypeaccept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntitycompareToasOWLSubClassOfAxiomsOWLSameIndividualAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomboolean containsAnonymousIndividuals()
true if this axioms contains anonymous individual axiomsSet<OWLSameIndividualAxiom> asPairwiseAxioms()
OWLNaryAxiomasPairwiseAxioms in interface OWLNaryAxiomCopyright © 2014 The University of Manchester. All Rights Reserved.