Authors:
Dimitrios A. Koutsomitropoulos
;
Dimitrios P. Meidanis
;
Anastasia N. Kandili
and
Theodore S. Papatheodorou
Affiliation:
High Performance Information Systems Laboratory,School of Engineering, University of Patras, Greece
Keyword(s):
Inference, OWL, Semantic Web, Reasoning, Description Logics.
Related
Ontology
Subjects/Areas/Topics:
Cloud Computing
;
Enterprise Information Systems
;
Semantic Web Technologies
;
Services Science
;
Software Agents and Internet Computing
Abstract:
The recent advent of the Semantic Web has given rise to the need for efficient and sound methods that would provide reasoning support over the knowledge scattered on the Internet. Description Logics and DL-based inference engines in particular play a significant role towards this goal, as they seem to have overlapping expressivity with the Semantic Web de facto language, OWL. In this paper we argue that DLs currently constitute one of the most tempting available formalisms to support reasoning with OWL. Further, we present and survey a number of DL based systems that could be used for this task. Around one of them (Racer) we build our Knowledge Discovery Interface, a web application that can be used to pose intelligent queries to Semantic Web documents in an intuitive manner. As a proof of concept, we then apply the KDI on the CIDOC-CRM reference ontology and discuss our results.