Prolog OWL Shell at OWLED 2011

My slides and paper for POSH are now online: Manuscript: owled2011_submission_15.pdf Slides: POSH (slideshare)

Support for OWLAPIv3 in Thea2

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 [...]

Thea paper accepted for OWLED2009

Provisional version of the paper up on: (new) Thea website (pending reivisions)

Translating between logic programs and OWL/SWRL

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 [...]

A prolog library for OWL2 and SWRL

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 [...]