Ontologies are set to play a key role in the Semantic Web, and several web ontology languages, like DAML+OIL, are based on DLs. These not only provide a clear semantics to the ontology languages, but allows them to exploit DL systems in order to provide correct and complete reasoning services. Recent results shown that DL systems can be enriched by a conjunctive query language, providing a solution to one of the weakness of traditional DL systems. These results can be transfered to the Semantic Web community, where the need for expressive query languages is witnessed by different proposals (like DQL for DAML+OIL). In this paper we present a logical framework for conjunctive query answering in DAML+OIL. Moreover, we provide a sound and complete algorithm based on recent Description Logic research. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Horrocks, I., & Tessaris, S. (2002). Querying the Semantic Web: A formal approach. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2342, 177–191. https://doi.org/10.1007/3-540-48005-6_15
Mendeley helps you to discover research relevant for your work.