This module translates TRILL format into OWL functional syntax.
- author
- - Riccardo Zese, Matilda Moro
- copyright
- - Riccardo Zese
- license
- - Artistic License 2.0
- convert_explanations(++TRILLExplanations:list, -OWLFunctExplanations:list) is det
- The predicate converts the axioms contained in the list of explanations
returned by TRILL into OWL Functional sytntax.
- convert_axiom(++TRILLAxiom:axiom, -OWLFunctAxiom:axiom) is det
- The predicate converts the axiom TRILLAxiom from TRILL format to OWL Functional syntax.
