Crate ontologos_facade

Expand description

Unified reasoner facade — routes all OWL profiles without circular crate deps.

Structs§

ClassifyOutcome: Outcome of crate::classify.
EntailmentCheck: Axiom-shaped entailment checks for crate::is_entailed_axiom.
Error: Facade routing errors.

check_consistency: Check ontology consistency for the configured profile.
classify: Classify using any supported profile (EL, RL, RDFS, ALC, DL, SWRL, Auto).
get_object_property_values: OWL API getObjectPropertyValues for named individuals and properties.
get_sub_object_properties: OWL API getSubObjectProperties for a named property IRI.
is_consistent: Check ontology consistency (errors when the answer is incomplete).
is_entailed: OWLReasoner-style class subsumption entailment (isEntailed for SubClassOf).
is_entailed_axiom: General isEntailed for common axiom types (SubClassOf, ClassAssertion, ObjectPropertyAssertion).
is_subsumption_entailed: Whether named class sub_iri is entailed to be subsumed by sup_iri after classification.
parse_entailment_check: Parse CLI-style entailment flags into a single EntailmentCheck.
rdfs_materialization_json: Build RDFS materialization JSON from a saturation report.
rl_materialization_json: Build RL materialization JSON from a saturation report.
taxonomy_from_outcome: Extract taxonomy when the outcome is classification-shaped.
taxonomy_hierarchy: Navigate a classified taxonomy hierarchy (subclasses, subsumption).
taxonomy_json: Build taxonomy JSON fields from a classified ontology.