Storing and Querying Ontologies in Logic Databases

Abstract. The intersection of Description Logic inspired ontology lan-guages with Logic Programs has been recently analyzed in [GHVD03]. The resulting language, called Description Logic Programs, covers RDF Schema and a notable portion of OWL Lite. However, the proposed map-ping in [GHVD03] from the corresponding OWL fragment into Logic Programs has shown scalability as well as representational deficits within our experiments and analysis. In this paper we propose an alternative mapping resulting in lower computational complexity and more repre-sentational flexibility. We also present benchmarking results for both mappings with ontologies of different size and complexity.