public interface OWLNegativeObjectPropertyAssertionAxiom extends OWLPropertyAssertionAxiom<OWLObjectPropertyExpression,OWLIndividual>, OWLSubClassOfAxiomShortCut
| Modifier and Type | Method and Description |
|---|---|
boolean |
containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals.
|
OWLNegativeObjectPropertyAssertionAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
getObject, getProperty, getSubjectaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypeaccept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntitycompareToasOWLSubClassOfAxiomOWLNegativeObjectPropertyAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomboolean containsAnonymousIndividuals()
true if this axioms contains anonymous individual axiomsCopyright © 2014 The University of Manchester. All Rights Reserved.