owlapy.model.OWLObjectInverseOf¶

class owlapy.model.OWLObjectInverseOf(property: owlapy.model.OWLObjectProperty)[source]¶

Bases: owlapy.model.OWLObjectPropertyExpression

Represents the inverse of a property expression (ObjectInverseOf). This can be used to refer to the inverse of a property, without actually naming the property. For example, consider the property hasPart, the inverse property of hasPart (isPartOf) can be referred to using this interface inverseOf(hasPart), which can be used in restrictions e.g. inverseOf(hasPart) some Car refers to the set of things that are part of at least one car.

Gets the inverse of an object property.

Parameters:: property – The property of which the inverse will be returned

Methods

`get_inverse`	Gets the property expression that this is the inverse of.
`get_inverse_property`	Obtains the property that corresponds to the inverse of this property.
`get_named_property`	Get the named object property used in this property expression.
`is_anonymous`
`is_data_property_expression`	returns: True if this is a data property
`is_object_property_expression`	Returns: True if this is an object property
`is_owl_top_data_property`	Determines if this is the owl:topDataProperty.
`is_owl_top_object_property`	Determines if this is the owl:topObjectProperty.

Attributes

type_index

get_inverse() → owlapy.model.OWLObjectProperty [source]¶

Gets the property expression that this is the inverse of.

Returns:: The object property expression such that this object property expression is an inverse of it.

get_inverse_property() → owlapy.model.OWLObjectProperty [source]¶

Obtains the property that corresponds to the inverse of this property.

Returns:: The inverse of this property. Note that this property will not necessarily be in the simplest form.

get_named_property() → owlapy.model.OWLObjectProperty [source]¶

Get the named object property used in this property expression.

Returns:: P if this expression is either inv(P) or P.

is_anonymous() → bool¶

is_data_property_expression() → bool¶

Returns:: True if this is a data property

is_object_property_expression() → bool¶: Returns: True if this is an object property

is_owl_top_data_property() → bool¶

Determines if this is the owl:topDataProperty.

Returns:: True if this property is the owl:topDataProperty

is_owl_top_object_property() → bool¶

Determines if this is the owl:topObjectProperty.

Returns:: True if this property is the owl:topObjectProperty

type_index: Final = 1003¶