public class OWLNegativeDataPropertyAssertionAxiomImpl extends OWLIndividualRelationshipAxiomImpl<OWLDataPropertyExpression,OWLLiteral> implements OWLNegativeDataPropertyAssertionAxiom
| Constructor and Description |
|---|
OWLNegativeDataPropertyAssertionAxiomImpl(OWLIndividual subject,
OWLDataPropertyExpression property,
OWLLiteral object,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
OWLSubClassOfAxiom |
asOWLSubClassOfAxiom() |
boolean |
containsAnonymousIndividuals() |
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
OWLNegativeDataPropertyAssertionAxiom |
getAxiomWithoutAnnotations() |
getObject, getProperty, getSubjectannotations, annotationsAsList, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, getAxiomType, hashIndexcomponents, componentsAnnotationsFirst, componentsWithoutAnnotations, getObject, getProperty, getSubject, initHashCodeisLogicalAxiomequalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexgetNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignatureisAnonymous, isNamedannotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotationsaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLNegativeDataPropertyAssertionAxiomImpl(OWLIndividual subject, OWLDataPropertyExpression property, OWLLiteral object, Collection<OWLAnnotation> annotations)
subject - subjectproperty - propertyobject - objectannotations - annotationspublic OWLSubClassOfAxiom asOWLSubClassOfAxiom()
asOWLSubClassOfAxiom in interface OWLSubClassOfAxiomShortCutpublic OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLNegativeDataPropertyAssertionAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
getAnnotatedAxiom in interface OWLAxiompublic boolean containsAnonymousIndividuals()
containsAnonymousIndividuals in interface OWLNegativeDataPropertyAssertionAxiomCopyright © 2021 The University of Manchester. All rights reserved.