OWLlink: DIG for OWL 2

Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Ralf Möller, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, and Evren Sirin

Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008). Volume 432 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2008.

The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2 for the primitives of the modelling language, and is thus fully compatible with the forthcoming incarnation of OWL. The OWLlink core introduced in this document covers (i) basic reasoner management, (ii) assertion of axioms and (iii) elementary ask functionality. The OWLlink extension mechanism allows to easily add any required functionality in a controlled way to the core language. We introduce OWLlink by providing a structural specification and a concrete binding of the interface that defines how OWLlink messages can be encoded in XML and sent over HTTP.

   title = "OWLlink:  DIG for OWL 2",
   year = "2008",
   author = "Thorsten Liebig and Marko Luther and Olaf Noppens and
Mariano Rodriguez and Diego Calvanese and Michael Wessel and Ralf
Möller and Matthew Horridge and Sean Bechhofer and Dmitry Tsarkov
and Evren Sirin",
   booktitle = "Proc. of the 5th Int. Workshop on OWL: Experiences and
Directions (OWLED 2008)",
   volume = "432",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
pdf url