Declarative Methods for the Evaluation of Ontologies

The ontology web language Owl has been established as a standardized representation for knowledge, especially in the context of the semantic web. An important facet of the management of such knowledge bases consists in its evaluation. Besides standard evaluation methods described in the literature particular applications can require to consider further measures. In this paper, we use a declarative, logic based Xml query and transformation language called FnQuery, which is suitable for exibly de ning queries for evaluating Owl based knowledge. The queries are evaluated using logic programming and nonmonotonic reasoning systems. The presented approach could be extended to handle complex refactorings as well.

[1]  Boris Motik,et al.  Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases , 2003, KRDB.

[2]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[3]  Dietmar Seipel.  Processing XML-Documents in Prolog , 2002 .

[4]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5]  Boris Motik,et al.  Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs , 2004, KR 2004.

[6]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[7]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[8]  Joachim Baumeister,et al.  Declaratively Querying and Visualizing Knowledge Bases in Xml , 2004, INAP/WLP.

[9]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[10]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[11]  Steffen Staab,et al.  OntoEdit: Guiding Ontology Development by Methodology and Inferencing , 2002, OTM.

[12]  Peter Baumgartner,et al.  Model Based Deduction for Database Schema Reasoning , 2004, KI.

[13]  Wolfgang May,et al.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.

[14]  Frank Puppe,et al.  Refactoring Methods for Knowledge Bases , 2004, EKAW.