CategoricalProjector

class mowl.projection.CategoricalProjector(saturation_steps=0, transitive_closure=False)[source]

Bases: ProjectionModel

Implementation of projection rules defined in [zhapa2023].

This class implements the projection of ALC axioms into a graph using categorical diagrams.

Parameters:

saturation_steps (int) – Number of saturation steps of the graph/category.
transitive_closure (bool) – If True, every saturation step computes the transitive edges.

New in version 0.3.0.

Methods Summary

`process_axiom`(axiom)	Process an OWLAxiom and return a list of edges.
`project`(ontology)	Generates the projection of the ontology.

Methods Documentation

process_axiom(axiom)[source]

Process an OWLAxiom and return a list of edges.

Parameters:: axiom (org.semanticweb.owlapi.model.OWLAxiom) – Axiom to be parsed.

project(ontology)[source]

Generates the projection of the ontology.

Parameters:: ontology (org.semanticweb.owlapi.model.OWLOntology) – The ontology to be processed.