This module is base on utility_translation contained in the TRILL package version 6.0.2.

See https://github.com/rzese/trill/blob/master/doc/manual.pdf or http://ds.ing.unife.it/~rzese/software/trill/manual.html for details.

author

- Riccardo Zese

copyright

- Riccardo Zese

license

- Artistic License 2.0

 load_owl(++FileName:kb_file_name) is det

The predicate loads the knowledge base contained in the given file. The knowledge base must be defined in pure OWL/RDF format.

 load_owl_from_string(++KB:string) is det

The predicate loads the knowledge base contained in the given string. The knowledge base must be defined in pure OWL/RDF format.

 expand_all_ns(++Module:string, ++Args:list, ++NSList:list, --ExpandedArgs:list) is det

The predicate takes as input a list containing strings and expands these strings using the list of prefixes. Finally, it returns the list of expanded strings. It adds names in Args to the list of known elements.

 expand_all_ns(++Module:string, ++Args:list, ++NSList:list, ++AddName:boolean, --ExpandedArgs:list) is det

The predicate takes as input a list containing strings and expands these strings using the list of prefixes. Finally, it returns the list of expanded strings. If AddName is set true it adds names in Args in the list of known elements.

 is_axiom(?Axiom:string) is det

This predicate unifies Pred with one of the possible type of axioms managed by trillo and by the translation module.