owlapy.model.OWLObjectProperty

class owlapy.model.OWLObjectProperty(iri: owlapy.model.IRI)

Bases: owlapy.model.OWLObjectPropertyExpression, owlapy.model.OWLProperty

Represents an Object Property in the OWL 2 Specification.

Gets an instance of OWLObjectProperty that has the specified IRI.

Parameters:

iri – The IRI.

Methods

get_inverse_property	Obtains the property that corresponds to the inverse of this property.
get_iri	Gets the IRI of this object.
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.
to_string_id

Attributes

type_index

get_inverse_property() → owlapy.model.OWLObjectInverseOf

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_iri() → owlapy.model.IRI

Gets the IRI of this object.

Returns:

The IRI of this object

get_named_property() → owlapy.model.OWLObjectProperty

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

to_string_id() → str

type_index: Final = 1002