ObjectInverseOf

class ObjectInverseOf(object_property: URIRef | Reference | Referenced | str | IdentifierBox)[source]

Bases: ObjectPropertyExpression

A property expression defined in 6.1.1 “Inverse Object Properties”.

For example, ObjectPropertyAssertion( a:fatherOf a:Peter a:Stewie ) implies ObjectPropertyAssertion( ObjectInverseOf(a:fatherOf) a:Stewie a:Peter ).

>>> ObjectInverseOf("a:fatherOf")

Warning

This is the only instance in the specification where the name of the tag is not the same as the name of the element in the spec, which is InverseObjectProperty.

Instantiate an inverse object property.

Methods Summary

`declare_wrapped_ope`(graph, converter)	Declare the wrapped object property.
`to_funowl_args`()	Get the inside of the functional OWL tag representing the inverse object property.
`to_rdflib_node`(graph, converter)	Get a node representing the inverse object property.

Methods Documentation

declare_wrapped_ope(graph: Graph, converter: Converter) → None[source]: Declare the wrapped object property.

to_funowl_args() → str[source]: Get the inside of the functional OWL tag representing the inverse object property.

to_rdflib_node(graph: Graph, converter: Converter) → IdentifiedNode[source]: Get a node representing the inverse object property.