Document Type

Conference Proceeding

Publication Date



The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL with additional expressive features or by interlacing it with other forms of knowledge representation, in order to make it applicable for even further purposes. In this paper, we integrate OWL with one of the most successful and most widely used forms of knowledge representation, namely Prolog, and present a hybrid approach which layers Prolog on top of OWL in such a way that the open-world semantics of OWL becomes directly accessible within the Prolog system.


Presented at the 30th Annual German Conference on Artificial Intelligence, Osnabruck, Germany, September 10-13, 2007.

Attached is the unpublished, authors' version of this proceeding. The final, publisher's version can be found at