Only released in EOL distros:
Package Summary
Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/
- Author: Vangelis Vassiliadis
- License: GPL
- Repository: tum-ros-pkg
- Source: svn http://code.in.tum.de/pubsvn/knowrob/tags/knowrob-0.2.0
Package Summary
Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/
- Author: Vangelis Vassiliadis
- License: GPL
- Source: svn http://code.in.tum.de/pubsvn/knowrob/branches/release
Package Summary
Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/
- Author: Vangelis Vassiliadis
- License: GPL
- Source: git https://github.com/knowrob/knowrob.git (branch: None)
Package Summary
Owl parser and reasoner library for swi-prolog. Taken from: http://www.semanticweb.gr/TheaOWLLib/
- Author: Vangelis Vassiliadis
- License: GPL
- Source: git https://github.com/knowrob/knowrob.git (branch: HEAD)
Contents
A 3rd party package providing the Thea OWL parser for SWI Prolog: http://www.semanticweb.gr/thea/