pyowl2.abstracts.object_property_expression
An abstract base class defining the interface for object property expressions in an OWL ontology, encompassing both named properties and complex constructs like inverse properties.
Description
By extending the base OWLObject class and utilizing the Abstract Base Class module, the structure ensures that all concrete implementations adhere to a consistent interface for representing relationships between individuals. It serves as a polymorphic type that unifies simple named properties with more complex constructs, such as inverse properties, allowing the reasoning system to treat them uniformly. The design mandates that subclasses provide specific logic to identify whether an expression represents the universal top property or the empty bottom property, which are essential logical constants for semantic reasoning. This abstraction facilitates the manipulation and evaluation of property hierarchies without exposing the underlying complexity of specific property types.
Classes
This abstract base class defines the interface for expressions that represent relationships between individuals in an OWL ontology, covering both simple named properties and complex constructs such as inverse properties. It acts as a common type for any entity functioning as an object property, allowing the system to treat various property forms uniformly. Furthermore, it mandates the implementation of methods to identify if the expression corresponds to the universal (top) or empty (bottom) property, which are specific logical constants used in reasoning. |
Module Contents
UML Class Diagram for OWLObjectPropertyExpression
- class OWLObjectPropertyExpression[source]
Bases:
pyowl2.abstracts.object.OWLObject,abc.ABC
This abstract base class defines the interface for expressions that represent relationships between individuals in an OWL ontology, covering both simple named properties and complex constructs such as inverse properties. It acts as a common type for any entity functioning as an object property, allowing the system to treat various property forms uniformly. Furthermore, it mandates the implementation of methods to identify if the expression corresponds to the universal (top) or empty (bottom) property, which are specific logical constants used in reasoning.
- abstractmethod is_bottom_object_property() bool[source]
Determines whether this object property expression represents the bottom object property, which is the property that no pair of individuals can satisfy. In the context of the Web Ontology Language (OWL), this corresponds to owl:bottomObjectProperty and acts as the logical equivalent of “false” for property expressions. The method returns True if the expression is the bottom property and False otherwise, serving as a read-only check that does not alter the state of the object.
- Returns:
True if this property is the bottom object property (the property that relates no individuals), False otherwise.
- Return type:
bool
- abstractmethod is_top_object_property() bool[source]
Determines whether this object property expression corresponds to the universal top object property, which is the property that relates every possible pair of individuals in the ontology. This method returns True if the expression is the top property, and False for any other property, including named properties or complex expressions like inverse or property chains. The check is purely evaluative and does not produce any side effects or modifications to the ontology.
- Returns:
True if the property is the top object property in the hierarchy, otherwise False.
- Return type:
bool
- __slots__ = ()