Contextualized Knowledge Repositories with Justifiable Exceptions

Representation of context dependent knowledge in the Semantic Web has been recognized as a relevant issue: as a consequence, a number of logic based formalisms have been proposed in this regard. In response to this need, in previous works, we presented the description logic-based Contextualized Knowledge Repository (CKR) framework. Starting from this point, the first contribution of the paper is an extension of CKR with the possibility to represent defaults in context dependent axioms and a translation of extended CKRs to datalog programs with negation under answer sets semantics. The translation generates datalog programs which are sound and complete w.r.t. instance checking in CKRs. Exploiting this result, we have developed as a second contribution a prototype implementation that compiles a CKR based on OWL2RL to a datalog program. Finally, we compare our approach with major non-monotonic formalisms for description logics and contextual knowledge representation.

[1]  Szymon Klarman.  Reasoning with Contexts in Description Logics , 2013 .

[2]  Laura Giordano,et al.  A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..

[3]  Oleksiy Khriyenko,et al.  A framework for context-sensitive metadata description , 2006, Int. J. Metadata Semant. Ontologies.

[4]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[5]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[6]  Wolfgang Faber,et al.  Disjunctive Logic Programs with Inheritance , 1999, ICLP.

[7]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[8]  Stijn Heymans,et al.  DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs , 2010 .

[9]  Letizia Tanca.  Context-Based Data Tailoring for Mobile Users , 2007, BTW Workshops.

[10]  Grigoris Antoniou,et al.  Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , 2010, IEEE Transactions on Knowledge and Data Engineering.

[11]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[12]  Luciano Serafini,et al.  Materialization Calculus for Contexts in the Semantic Web , 2013, Description Logics.

[13]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[14]  Thomas Eiter,et al.  Defeasibility in Contextual Reasoning with CKR , 2014, CILC.

[15]  Umberto Straccia,et al.  A General Framework for Representing and Reasoning with Annotated Semantic Web Data , 2010, AAAI.

[16]  Luciano Serafini,et al.  Towards More Effective Tableaux Reasoning for CKR , 2012, Description Logics.

[17]  Grigoris Antoniou,et al.  Local and Distributed Defeasible Reasoning in Multi-Context Systems , 2008, RuleML.

[18]  Luciano Serafini,et al.  Contextualized knowledge repositories for the Semantic Web , 2012, J. Web Semant..

[19]  Diego Reforgiato Recupero,et al.  Annotated RDF , 2006, ESWC.

[20]  Luciano Serafini,et al.  Comparing contextual and flat representations ofknowledge: a concrete case about football data , 2013, K-CAP.

[21]  Markus Krötzsch.  Efficient Inferencing for OWL EL , 2010, JELIA.