pyowl2.abstracts.assertion

Defines an abstract base class for axioms that assert specific facts about individuals within an ontology.

Description

It extends the general concept of an OWL axiom to specifically handle assertions, which are statements about properties or class memberships of specific entities. By utilizing Python’s Abstract Base Class module, the implementation enforces a strict interface that concrete subclasses must follow, ensuring consistency across different types of factual statements. This structure allows the system to categorize and process logical claims regarding individual entities, such as object property assertions or class assertions, without allowing direct instantiation of the abstract type itself. The inclusion of an empty __slots__ tuple suggests a design choice favoring memory efficiency and preventing the addition of arbitrary attributes, maintaining a rigid schema for ontological data representation.

Classes

OWLAssertion

Represents an abstract base class for axioms that assert specific facts about individuals within an ontology. This class serves as a common interface for statements that declare an individual's membership in a class or its relationships with other individuals via object or data properties. As an abstract type, it is not instantiated directly; rather, it provides the foundational structure for concrete assertion implementations used to build and query ontological knowledge.

Module Contents

UML Class Diagram for OWLAssertion

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

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

Represents an abstract base class for axioms that assert specific facts about individuals within an ontology. This class serves as a common interface for statements that declare an individual’s membership in a class or its relationships with other individuals via object or data properties. As an abstract type, it is not instantiated directly; rather, it provides the foundational structure for concrete assertion implementations used to build and query ontological knowledge.

__slots__ = ()