owlapy.model.OWLNegativeDataPropertyAssertionAxiom¶

class owlapy.model.OWLNegativeDataPropertyAssertionAxiom(subject: owlapy.model.OWLIndividual, property_: owlapy.model.OWLDataPropertyExpression, object_: owlapy.model.OWLLiteral, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: owlapy.model.OWLPropertyAssertionAxiom[owlapy.model.OWLDataPropertyExpression, owlapy.model.OWLLiteral]

Represents an NegativeDataPropertyAssertion axiom in the OWL 2 specification

Get a PropertyAssertion axiom for the specified subject, property, object :param subject: the subject of the property assertion :param property: the property of the property assertion :param object: the object of the property assertion :param annotations: annotations

Methods

`annotations`
`get_object`
`get_property`
`get_subject`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`

annotations() → Optional[List[owlapy.model.OWLAnnotation]]¶

get_object() → _C ¶

get_property() → _P ¶

get_subject() → owlapy.model.OWLIndividual ¶

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶