owlapy.owl_property

OWL Properties

Module Contents

Classes

OWLPropertyExpression	Represents a property or possibly the inverse of a property.
OWLObjectPropertyExpression	A high level interface to describe different types of object properties.
OWLDataPropertyExpression	A high level interface to describe different types of data properties.
OWLProperty	A base class for properties that aren't expression i.e. named properties. By definition, properties
OWLObjectProperty	Represents an Object Property in the OWL 2 Specification. Object properties connect pairs of individuals.
OWLObjectInverseOf	Represents the inverse of a property expression (ObjectInverseOf). An inverse object property expression
OWLDataProperty	Represents a Data Property in the OWL 2 Specification. Data properties connect individuals with literals.

class owlapy.owl_property.OWLPropertyExpression

Bases: owlapy.owl_object.OWLObject

Represents a property or possibly the inverse of a property.

__slots__ = ()

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_object_property() → bool

Determines if this is the owl:topObjectProperty.

Returns:

topObjectProperty.

Return type:

True if this property is the owl

is_owl_top_data_property() → bool

Determines if this is the owl:topDataProperty.

Returns:

topDataProperty.

Return type:

True if this property is the owl

class owlapy.owl_property.OWLObjectPropertyExpression

Bases: OWLPropertyExpression

A high level interface to describe different types of object properties.

__slots__ = ()

abstract get_inverse_property() → 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() → OWLObjectProperty

Get the named object property used in this property expression.

Returns:

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

is_object_property_expression() → bool

Returns:

True if this is an object property.

class owlapy.owl_property.OWLDataPropertyExpression

Bases: OWLPropertyExpression

A high level interface to describe different types of data properties.

__slots__ = ()

is_data_property_expression()

Returns:

True if this is a data property.

class owlapy.owl_property.OWLProperty(iri: owlapy.iri.IRI | str)

Bases: OWLPropertyExpression, owlapy.owl_object.OWLEntity

A base class for properties that aren’t expression i.e. named properties. By definition, properties are either data properties or object properties.

property str: str

Gets the string representation of this object

Returns:

The IRI as string

property iri: owlapy.iri.IRI

Gets the IRI of this object.

Returns:

The IRI of this object.

__slots__ = '_iri'

class owlapy.owl_property.OWLObjectProperty(iri: owlapy.iri.IRI | str)

Bases: OWLObjectPropertyExpression, OWLProperty

Represents an Object Property in the OWL 2 Specification. Object properties connect pairs of individuals.

(https://www.w3.org/TR/owl2-syntax/#Object_Properties)

__slots__ = '_iri'

type_index: Final = 1002

get_named_property() → OWLObjectProperty

Get the named object property used in this property expression.

Returns:

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

get_inverse_property() → 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.

is_owl_top_object_property() → bool

Determines if this is the owl:topObjectProperty.

Returns:

topObjectProperty.

Return type:

True if this property is the owl

class owlapy.owl_property.OWLObjectInverseOf(property: OWLObjectProperty)

Bases: OWLObjectPropertyExpression

Represents the inverse of a property expression (ObjectInverseOf). An inverse object property expression ObjectInverseOf( P ) connects an individual I1 with I2 if and only if the object property P connects I2 with I1. 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.

(https://www.w3.org/TR/owl2-syntax/#Inverse_Object_Properties)

__slots__ = '_inverse_property'

type_index: Final = 1003

get_inverse() → OWLObjectProperty

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() → OWLObjectProperty

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() → OWLObjectProperty

Get the named object property used in this property expression.

Returns:

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

__repr__()

Return repr(self).

__eq__(other)

Return self==value.

__hash__()

Return hash(self).

class owlapy.owl_property.OWLDataProperty(iri: owlapy.iri.IRI | str)

Bases: OWLDataPropertyExpression, OWLProperty

Represents a Data Property in the OWL 2 Specification. Data properties connect individuals with literals. In some knowledge representation systems, functional data properties are called attributes.

(https://www.w3.org/TR/owl2-syntax/#Data_Properties)

__slots__ = '_iri'

type_index: Final = 1004

is_owl_top_data_property() → bool

Determines if this is the owl:topDataProperty.

Returns:

topDataProperty.

Return type:

True if this property is the owl