[Documentation] [TitleIndex] [WordIndex

Only released in EOL distros:  

knowrob: bosch_semantic_map | comp_cop | comp_germandeli | comp_orgprinciples | comp_spatial | comp_temporal | ias_knowledge_base | ias_prolog_addons | ias_semantic_map | jpl | json_prolog | knowrob_actions | knowrob_common | knowrob_objects | mod_probcog | mod_srdl | mod_vis | rosprolog | semweb | srldb | tf_prolog | thea

Package Summary

Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/

knowrob: bosch_semantic_map | comp_cop | comp_germandeli | comp_orgprinciples | comp_spatial | comp_temporal | ias_knowledge_base | ias_prolog_addons | ias_semantic_map | jpl | json_prolog | knowrob_actions | knowrob_cad_parser | knowrob_common | knowrob_objects | knowrob_omics | mod_probcog | mod_srdl | mod_vis | rosprolog | semweb | srldb | tf_prolog | thea

Package Summary

Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/

knowrob: comp_cop | comp_orgprinciples | comp_semantic_map | comp_spatial | comp_temporal | ias_knowledge_base | ias_prolog_addons | ias_semantic_map | jpl | json_prolog | knowrob_actions | knowrob_cad_parser | knowrob_common | knowrob_objects | knowrob_omics | mod_probcog | mod_srdl | mod_vis | rosprolog | semweb | srldb | tf_prolog | thea

Package Summary

Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/

knowrob: comp_cop | comp_orgprinciples | comp_semantic_map | comp_spatial | comp_temporal | ias_knowledge_base | ias_prolog_addons | ias_semantic_map | jpl | json_prolog | json_prolog_msgs | knowrob_actions | knowrob_cad_parser | knowrob_common | knowrob_objects | knowrob_omics | mod_probcog | mod_srdl | mod_vis | rosprolog | semweb | srldb | tf_prolog | thea

Package Summary

Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/

Contents

A 3rd party package providing the Thea OWL parser for SWI Prolog: http://www.semanticweb.gr/thea/


2024-12-21 18:37