pyowl2.axioms.object_property_axiom.transitive_object_property
Implements a representation of the Web Ontology Language axiom used to declare a specific object property as transitive.
Description
The software models the logical concept of transitivity within the Web Ontology Language by providing a structure to assert that a specific relationship holds transitively between individuals. By inheriting from a base axiom class, it leverages existing functionality for handling metadata annotations while focusing on storing the specific object property expression that is being characterized. The implementation ensures that if a property relates entity A to B and B to C, the ontology can infer that the property also relates A to C, which is a fundamental requirement for complex reasoning tasks. A string representation method generates output resembling OWL functional syntax, allowing the axiom to be easily serialized or debugged in a human-readable format that explicitly lists annotations and the target property.
Classes
This class represents an axiom in the Web Ontology Language (OWL) that declares a specific object property to be transitive. By defining a property as transitive, the ontology enables logical inference where if the property relates individual A to individual B and individual B to individual C, it must also relate individual A to individual C. To use this class, instantiate it with the target OWLObjectPropertyExpression that requires this characteristic, optionally providing a list of annotations to attach metadata or context to the axiom. |
Module Contents
UML Class Diagram for OWLTransitiveObjectProperty
- class OWLTransitiveObjectProperty(
- expression: pyowl2.abstracts.object_property_expression.OWLObjectPropertyExpression,
- annotations: list[pyowl2.base.annotation.OWLAnnotation] | None = None,
Bases:
pyowl2.abstracts.object_property_axiom.OWLObjectPropertyAxiom
This class represents an axiom in the Web Ontology Language (OWL) that declares a specific object property to be transitive. By defining a property as transitive, the ontology enables logical inference where if the property relates individual A to individual B and individual B to individual C, it must also relate individual A to individual C. To use this class, instantiate it with the target OWLObjectPropertyExpression that requires this characteristic, optionally providing a list of annotations to attach metadata or context to the axiom.
- Parameters:
object_property_expression (OWLObjectPropertyExpression) – The object property expression that is declared to be transitive.
- __str__() str[source]
Returns a string representation of the axiom, formatted in a style resembling OWL functional syntax. The output string encapsulates the annotations and the object property expression within a “TransitiveObjectProperty” declaration. If the instance contains annotations, they are included in the string; otherwise, an empty list is substituted to maintain a consistent format.
- Returns:
A string representation of the transitive object property axiom, including its annotations and the object property expression.
- Return type:
str
- _object_property_expression: pyowl2.abstracts.object_property_expression.OWLObjectPropertyExpression
- property object_property_expression: pyowl2.abstracts.object_property_expression.OWLObjectPropertyExpression
Assigns the object property expression to which the transitivity rule applies. This method accepts an instance of OWLObjectPropertyExpression and updates the internal state of the axiom, overwriting any previously defined property. It effectively defines the specific property that is being asserted as transitive within the ontology structure.
- Parameters:
value (OWLObjectPropertyExpression) – The OWL object property expression to assign to the instance.