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
compareTo
containsEntityInSignature
asOWLSubClassOfAxiom
OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
boolean containsAnonymousIndividuals()
true
if this axioms contains anonymous individual axiomsCopyright © 2017 The University of Manchester. All Rights Reserved.