pyowl2.abstracts.object_property_axiom

Defines an abstract base class representing axioms that govern the semantics and characteristics of object properties in OWL ontologies.

Description

Acting as a specialized extension of the general OWLAxiom interface, this class establishes a structural foundation for statements that define how object properties behave and relate to one another. It encompasses a wide range of semantic constraints, including sub-property hierarchies, domain and range specifications, and logical characteristics such as transitivity or symmetry. By utilizing the Abstract Base Class module, the design ensures that this component serves solely as a contract, forcing developers to implement concrete subclasses for modeling specific relationships between individuals rather than instantiating this generic definition directly.

Classes

OWLObjectPropertyAxiom

This class serves as an abstract base class representing axioms that define the semantics, relationships, or characteristics of object properties within an OWL ontology. As a specialization of the general OWLAxiom interface, it provides the foundational structure for specific statements that describe how object properties behave, such as declaring sub-property hierarchies, specifying domains and ranges, or defining property characteristics like transitivity or symmetry. Developers should not instantiate this class directly but rather rely on its concrete subclasses to model specific constraints and rules governing the relationships between individuals in an ontology.

Module Contents

UML Class Diagram for OWLObjectPropertyAxiom

class OWLObjectPropertyAxiom(annotations: list[pyowl2.base.annotation.OWLAnnotation] | None = None)

Bases: pyowl2.abstracts.axiom.OWLAxiom, abc.ABC

This class serves as an abstract base class representing axioms that define the semantics, relationships, or characteristics of object properties within an OWL ontology. As a specialization of the general OWLAxiom interface, it provides the foundational structure for specific statements that describe how object properties behave, such as declaring sub-property hierarchies, specifying domains and ranges, or defining property characteristics like transitivity or symmetry. Developers should not instantiate this class directly but rather rely on its concrete subclasses to model specific constraints and rules governing the relationships between individuals in an ontology.

__slots__ = ()