CategoricalProjector

class mowl.projection.CategoricalProjector(output_type, saturation_steps=0, transitive_closure=False, def_6=True, lemma_6=True, def_7=True, lemma_8=True)[source]

Bases: ProjectionModel

Implementation of projection rules defined in [zhapa2023].

This class implements the projection of ALC axioms into a graph using categorical diagrams. Saturation steps can be applied following [brieulle2022].

Parameters:

  • saturation_steps (int) – Number of saturation steps of the graph/category.

  • transitive_closure (bool) – If True, every saturation step computes the transitive edges.

  • def_6 (bool, optional) – If True, apply definition 6. Default is True.

  • lemma_6 (bool, optional) – If True, apply lemma 6. Default is True.

  • def_7 (bool, optional) – If True, apply definition 7. Default is True.

  • lemma_8 (bool, optional) – If True, apply lemma 8. Default is True.

Added 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.