Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnnotations
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasIndividualsInSignature
, HasObject<OWLIndividual>
, HasObjectPropertiesInSignature
, HasProperty<OWLObjectPropertyExpression>
, HasSignature
, HasSubject<OWLIndividual>
, IsAnonymous
, OWLAxiom
, OWLIndividualAxiom
, OWLLogicalAxiom
, OWLObject
, OWLPropertyAssertionAxiom<OWLObjectPropertyExpression,OWLIndividual>
, OWLSubClassOfAxiomShortCut
, Serializable
OWLNegativeObjectPropertyAssertionAxiomImpl
public interface OWLNegativeObjectPropertyAssertionAxiom extends OWLPropertyAssertionAxiom<OWLObjectPropertyExpression,OWLIndividual>, OWLSubClassOfAxiomShortCut
Modifier and Type | Method | Description |
---|---|---|
boolean |
containsAnonymousIndividuals() |
Determines whether this axiom contains anonymous individuals.
|
OWLNegativeObjectPropertyAssertionAxiom |
getAxiomWithoutAnnotations() |
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
isAnonymous
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
getObject, getProperty, getSubject
asOWLSubClassOfAxiom
@Nonnull OWLNegativeObjectPropertyAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
boolean containsAnonymousIndividuals()
true
if this axioms contains anonymous individual axiomsCopyright © 2018 The University of Manchester. All rights reserved.