pyHermiT 0.1.0__py3-none-any.whl

pyhermit/__init__.py

@@ -0,0 +1,116 @@
+"""Java-free OWL 2 DL reasoning over shared pyowl-core ontology views."""
+
+from __future__ import annotations
+
+from pyowl_core import (
+    IRI,
+    ImportResolver,
+    LoadOptions,
+    OntologyComposite,
+    OntologyDelta,
+    OntologyInput,
+    OntologyOverlay,
+    OntologySnapshot,
+    OntologyView,
+    apply_delta,
+    compose_views,
+    load_snapshot,
+)
+
+from ._version import __version__
+from .backends.dispatch import NATIVE_ABI_VERSION
+from .backends.protocol import (
+    COMPILED_IR_SCHEMA_VERSION,
+    BackendInfo,
+    BackendStatus,
+    Hierarchy,
+)
+from .config import (
+    BackendName,
+    BlockingMode,
+    ExistentialMode,
+    FreshEntityPolicy,
+    IndividualGrouping,
+    ReasonerConfig,
+    UnsupportedDatatypePolicy,
+)
+from .core import COMPILER_CACHE_SCHEMA_VERSION
+from .exceptions import (
+    BackendError,
+    BackendMismatchError,
+    BackendPoisonedError,
+    BackendVersionError,
+    ConcurrentMutationError,
+    DisposedReasonerError,
+    FeatureNotImplementedError,
+    FreshEntityError,
+    IncompleteImportClosureError,
+    InconsistentOntologyError,
+    InternalInvariantError,
+    InvalidLiteralError,
+    NativeBackendUnavailableError,
+    OntologyInputError,
+    OntologyProfileError,
+    PyHermiTError,
+    ReasonerInterruptedError,
+    ReasonerStateError,
+    ReasonerTimeoutError,
+    ReasoningAbortedError,
+    ResourceLimitError,
+    UnsupportedDatatypeError,
+)
+from .facade import InferenceType, Reasoner, backend_info
+
+__all__ = [
+    "COMPILED_IR_SCHEMA_VERSION",
+    "COMPILER_CACHE_SCHEMA_VERSION",
+    "IRI",
+    "NATIVE_ABI_VERSION",
+    "BackendError",
+    "BackendInfo",
+    "BackendMismatchError",
+    "BackendName",
+    "BackendPoisonedError",
+    "BackendStatus",
+    "BackendVersionError",
+    "BlockingMode",
+    "ConcurrentMutationError",
+    "DisposedReasonerError",
+    "ExistentialMode",
+    "FeatureNotImplementedError",
+    "FreshEntityError",
+    "FreshEntityPolicy",
+    "Hierarchy",
+    "ImportResolver",
+    "IncompleteImportClosureError",
+    "InconsistentOntologyError",
+    "IndividualGrouping",
+    "InferenceType",
+    "InternalInvariantError",
+    "InvalidLiteralError",
+    "LoadOptions",
+    "NativeBackendUnavailableError",
+    "OntologyComposite",
+    "OntologyDelta",
+    "OntologyInput",
+    "OntologyInputError",
+    "OntologyOverlay",
+    "OntologyProfileError",
+    "OntologySnapshot",
+    "OntologyView",
+    "PyHermiTError",
+    "Reasoner",
+    "ReasonerConfig",
+    "ReasonerInterruptedError",
+    "ReasonerStateError",
+    "ReasonerTimeoutError",
+    "ReasoningAbortedError",
+    "ResourceLimitError",
+    "UnsupportedDatatypeError",
+    "UnsupportedDatatypePolicy",
+    "__version__",
+    "apply_delta",
+    "backend_info",
+    "compose_views",
+    "load_snapshot",
+]

pyhermit/_native.pyi

@@ -0,0 +1,430 @@
+"""Authoritative typing contract for the private optional Rust extension."""
+
+# SPDX-License-Identifier: LGPL-3.0-or-later
+
+from collections.abc import Sequence
+from typing import Final
+
+__version__: Final[str]
+ABI_VERSION: Final[int]
+IR_SCHEMA_VERSION: Final[int]
+STATE_TRACE_VERSION: Final[int]
+FEATURES: Final[tuple[str, ...]]
+
+class CancellationHandle:
+    def __init__(
+        self,
+        timeout: float | None = ...,
+        max_memory_bytes: int | None = ...,
+    ) -> None: ...
+    @property
+    def interrupted(self) -> bool: ...
+    @property
+    def _debug_poll_count(self) -> int: ...
+    def interrupt(self, reason: str | None = ...) -> bool: ...
+    def observe_memory(self, memory_bytes: int) -> None: ...
+    def reset(
+        self,
+        timeout: float | None = ...,
+        max_memory_bytes: int | None = ...,
+    ) -> None: ...
+
+class NativeSession:
+    @property
+    def ontology_fingerprint(self) -> str: ...
+    @property
+    def _debug_source_fingerprints(self) -> tuple[str, str, str]: ...
+    @property
+    def permanent_program_sha256(self) -> str: ...
+    @property
+    def compiler_digest(self) -> str | None: ...
+    @property
+    def encoded_compiler_gil_released(self) -> bool: ...
+    @property
+    def closed(self) -> bool: ...
+    @property
+    def poisoned(self) -> bool: ...
+    def _encoded_service_context_v1(self) -> bytes: ...
+    def check(self, query: bytes | None) -> bytes: ...
+    def check_many(self, queries: Sequence[bytes]) -> bytes: ...
+    def classify_classes(self) -> bytes: ...
+    def classify_object_properties(self) -> bytes: ...
+    def classify_data_properties(self) -> bytes: ...
+    def realize(self) -> bytes: ...
+    def apply_delta(self, delta: bytes) -> bytes: ...
+    def drain_events(self) -> bytes: ...
+    def reset_query_state(self) -> None: ...
+    def close(self) -> None: ...
+    def _debug_replay_state_trace(self, trace: bytes) -> list[str]: ...
+    def _debug_long_work(self, iterations: int, poll_stride: int = ...) -> int: ...
+    def _drain_debug_events(self) -> list[tuple[str, int]]: ...
+    def _debug_inject_panic(self) -> None: ...
+
+def _validate_encoded_columns_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> None: ...
+def _validate_encoded_selection_v1(
+    *,
+    posting_mode: int,
+    postings: memoryview,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> None: ...
+def _validate_encoded_slices_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    cancellation: CancellationHandle | None = ...,
+) -> None: ...
+def _debug_validate_encoded_slices_cancel_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    cancel_at_checkpoint: int,
+) -> None: ...
+def _debug_encoded_selection_panic_v1() -> None: ...
+def _encoded_profile_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+    unsupported_datatypes: str = ...,
+    ontology_identity_context: (
+        tuple[int, tuple[tuple[str, str | None, str | None], ...]] | None
+    ) = ...,
+    origin_context: (tuple[int, tuple[tuple[bytes, tuple[str, ...]], ...]] | None) = ...,
+    cancellation: CancellationHandle | None = ...,
+) -> bytes: ...
+def _encoded_profile_slices_manifest_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    unsupported_datatypes: str = ...,
+    ontology_identity_context: (
+        tuple[int, tuple[tuple[str, str | None, str | None], ...]] | None
+    ) = ...,
+    origin_context: (tuple[int, tuple[tuple[bytes, tuple[str, ...]], ...]] | None) = ...,
+    cancellation: CancellationHandle | None = ...,
+) -> bytes: ...
+def _debug_encoded_profile_context_cancel_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    ontology_identity_context: tuple[int, tuple[tuple[str, str | None, str | None], ...]],
+    cancel_at_checkpoint: int,
+    origin_context: (tuple[int, tuple[tuple[bytes, tuple[str, ...]], ...]] | None) = ...,
+) -> bytes: ...
+def _encoded_symbol_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_object_role_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_object_role_slices_manifest_v1(*, slices: tuple[tuple[object, ...], ...]) -> bytes: ...
+def _encoded_data_property_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_data_property_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_data_property_inclusions_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_data_property_inclusions_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_data_property_hierarchy_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_data_property_hierarchy_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_simple_object_role_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_simple_object_role_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_complex_object_role_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_complex_object_role_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_role_characteristic_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_role_characteristic_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_object_role_hierarchy_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_object_role_hierarchy_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_object_role_semantics_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_object_role_semantics_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_object_role_automata_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_object_role_automata_slices_manifest_v1(
+    *, slices: tuple[tuple[object, ...], ...]
+) -> bytes: ...
+def _encoded_role_model_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_role_model_slices_manifest_v1(*, slices: tuple[tuple[object, ...], ...]) -> bytes: ...
+def _encoded_role_clause_manifest_v1(
+    *,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_role_clause_slices_manifest_v1(*, slices: tuple[tuple[object, ...], ...]) -> bytes: ...
+def _encoded_object_role_accepts_v1(
+    *,
+    target_role_id: int,
+    word_role_ids: tuple[int, ...],
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bool: ...
+def _encoded_object_role_slices_accepts_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    target_role_id: int,
+    word_role_ids: tuple[int, ...],
+) -> bool: ...
+def _encoded_named_class_manifest_v1(
+    *,
+    logical_fingerprint: memoryview,
+    root_kinds: memoryview,
+    root_ids: memoryview,
+    node_tags: memoryview,
+    node_field_offsets: memoryview,
+    field_kinds: memoryview,
+    field_values: memoryview,
+    field_lengths: memoryview,
+    item_kinds: memoryview,
+    item_values: memoryview,
+    item_lengths: memoryview,
+    scalar_bytes: memoryview,
+) -> bytes: ...
+def _encoded_named_class_slices_manifest_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    logical_fingerprint: memoryview | None = None,
+) -> bytes: ...
+def _encoded_session_domain_slices_manifest_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    logical_fingerprint: memoryview | None = None,
+) -> bytes: ...
+def _encoded_permanent_program_parity_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    reference_ir: bytes,
+    logical_fingerprint: memoryview | None = None,
+    max_owned_bytes: int | None = None,
+    cancel_at_checkpoint: int | None = None,
+) -> bytes: ...
+def _create_encoded_session_v1(
+    *,
+    slices: tuple[tuple[object, ...], ...],
+    metadata: bytes,
+    config: bytes,
+    cancellation: CancellationHandle,
+    validate_profile: bool = True,
+    deferred_fingerprints: tuple[int, str, str, bytes, bytes] | None = None,
+    ontology_identity_context: (
+        tuple[int, tuple[tuple[str, str | None, str | None], ...]] | None
+    ) = None,
+    origin_context: (
+        tuple[int, tuple[tuple[bytes, tuple[str, ...]], ...]] | None
+    ) = None,
+    max_owned_bytes: int | None = None,
+    cancel_at_checkpoint: int | None = None,
+) -> NativeSession: ...
+def self_test() -> None: ...
+def create_session(
+    ir: bytes,
+    config: bytes,
+    cancellation: CancellationHandle,
+) -> NativeSession: ...

pyhermit/_version.py

@@ -0,0 +1,5 @@
+"""Single source for the Python distribution and runtime version."""
+
+# SPDX-License-Identifier: LGPL-3.0-or-later
+
+__version__ = "0.1.0"

pyhermit/backends/__init__.py

@@ -0,0 +1,9 @@
+"""Backend-neutral contracts and lazy backend dispatch."""
+
+from __future__ import annotations
+
+from .dispatch import backend_info, select_backend_factory
+from .protocol import *  # noqa: F403
+from .protocol import __all__ as _protocol_exports
+
+__all__ = [*_protocol_exports, "backend_info", "select_backend_factory"]