Did you know ... Search Documentation:
Pack trill -- prolog/trill_2_manch.pl
PublicShow source

This module translates TRILL format into OWL manchester syntax.

author
- Riccardo Zese
license
- Artistic License 2.0
 convert_explanations(++TRILLExplanations:list, -OWLManchesterExplanations:list) is det
The predicate converts the axioms contained in the list of explanations returned by TRILL into OWL Manchester sytntax.
 convert_axiom(++TRILLAxiom:axiom, -OWLManchesterAxiom:axiom) is det
The predicate converts the axiom TRILLAxiom from TRILL format to OWL Manchester syntax.