View article

The Semantic Web is build around a semi-structured data model-RDF-and an explicit conceptualization for such data-so-called ontologies. A standardized language for the specification of the latter has recently be proposed by the W3C. This paper explores the strategies for the implementation of this language in logic programming environments such as Prolog and relational databases. Along these lines we establish the subset of OWL primitives that is compatible for further rule-based extensions paving the way to the upper levels of the Semantic Web layer cake. We also capture a subset, for which query languages can easily be implemented by compiling expressions given in a declarative query language to the query language offered by the system on top of which the implementation is based.