Blip Blog“Unfolding a T-box” may sound like some quaint tea ceremony ritual, but in fact in the context of description logics it refers to the iterative replacement of classes by equivalent anonymous class expressions. Many reasoners take advantage of T-box unfolding behind the scenes. But there may be reasons to unfold your T-box in a more [...]
My slides and paper for POSH are now online: Manuscript: owled2011_submission_15.pdf Slides: POSH (slideshare)
Posh (Prolog OWL Shell) is a command line utility that wraps the Thea OWL library to allow for advanced querying and processing of ontologies, combining the power of prolog and OWL reasoning. Installation Install SWI Download and install SWI-Prolog (http://swi-prolog.org). This is a simple point and click procedure for most platforms. If you want to [...]
Thea2 now wraps OWLAPI v3. Support is provided for pellet and hermit out of the box. There is now also additional command line support. download and install SWI-Prolog download Thea2 (for now you have to git clone and get the owlapi3 branch) Add Thea2 to your path: (assuming you install in ~/thea2) export PATH=”$PATH:$HOME/thea2″ You [...]
previously the layout was blipkit/ packages/ blip/ [LIBRARY] This has been simplified to: blipkit/ packages/ [LIBRARY]/ Some URLs in some of the previous posts should be modified accordingly In addition, each sub-library now has a standard organization: [LIBRARY]/ conf/ — configuration modules t/ — plunit tests (.plt files) data/ — data for tests examples/ — [...]
Provisional version of the paper up on: (new) Thea website (pending reivisions)
The Thea OWL package is currently SWI-specific. It would be nice to use this with other prologs, particularly to take advantage of tabling in combination with DLP programs generated from OWL. I’m impressed by the prolog-commons effort, particularly the convergence we are seeing between Yap and Prolog. Currently the core parts of Thea work with [...]
Using the Thea2 library, it’ possible to translate certain OWL-DL ontologies into logic programs, and then query over them using LP systems such as Yap or XSB. Only the DLP subset is translated, and care must be taken to avoid common pitfalls. It’s now also possible to do the reverse translation for a similar subset [...]
Ontologies are vital for the life sciences. The Web Ontology Language (OWL) offers decidability of reasoning, and now with OWL2 and SWRL reasonably high levels of expressivity. Vangelis Vassilidis and I are writing Thea2, based on his original Thea library. The redesign introduces prolog predicates for every OWL2 axiom, and prolog terms for owl class [...]
