| Did you know ... | Search Documentation: |
 | Pack trill -- prolog/trill_2_manch.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
This module translates TRILL format into OWL manchester syntax.
- 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.