owlapy.model.OWLObjectPropertyExpression

class owlapy.model.OWLObjectPropertyExpression

Bases: owlapy.model.OWLPropertyExpression

Methods

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.

abstract get_inverse_property() → owlapy.model.OWLObjectPropertyExpression

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.

abstract 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