public interface OWLNegativeDataPropertyAssertionAxiom extends OWLPropertyAssertionAxiom<OWLDataPropertyExpression,OWLLiteral>, OWLSubClassOfAxiomShortCut
Modifier and Type | Method and Description |
---|---|
boolean |
containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals.
|
OWLNegativeDataPropertyAssertionAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
getObject, getProperty, getSubject
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
asOWLSubClassOfAxiom
OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
boolean containsAnonymousIndividuals()
true
if this axioms contains anonymous individual axioms