D3.3 Complexity and Optimization of Combinations of Rules and Ontologies

Deliverable D3.3 Complexity and optimization of combinations of rules and ontologies. Will include the selection of promising combinations, and the complexity analysis of these selected combinations, as well as theoretical optimizations for processing. Keyword list: combinations of rules and ontologies, Datalog rewritable DL,LDL + , Forest Logic Programs, Production Rules, fixpoint logics, OWL, XPRhOWLi

[1]  Jos de Bruijn,et al.  A Logic Based Approach to the Static Analysis of Production Systems , 2009, RR.

[2]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[3]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

[4]  I. Horrocks.  Implementation and Optimisation Techniques , .

[5]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[6]  Moshe Y. Vardi.  Reasoning about The Past with Two-Way Automata , 1998, ICALP.

[7]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

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

[9]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[10]  Zhe Wu,et al.  Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System , 2010, SEMWEB.

[11]  Jeff Heflin,et al.  An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[12]  Maurizio Lenzerini,et al.  On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.

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

[14]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[15]  Stijn Heymans,et al.  Open answer set programming with guarded programs , 2006, TOCL.

[16]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[17]  Carsten Lutz,et al.  Updating Description Logic ABoxes , 2006, KR.

[18]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[19]  Hans Tompits,et al.  Well-Founded Semantics for Description Logic Programs in the Semantic Web , 2004, RuleML.

[20]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[21]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[22]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[23]  Stijn Heymans,et al.  Open answer set programming for the semantic web , 2007, J. Appl. Log..

[24]  V. S. Subrahmanian,et al.  Dualities between alternative semantics for logic programming and nonmonotonic reasoning , 2004, Journal of Automated Reasoning.

[25]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[26]  Theresa Swift,et al.  Deduction in Ontologies via ASP , 2004, LPNMR.

[27]  Maurizio Lenzerini,et al.  On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.

[28]  David Maier,et al.  Optimizing object queries using an effective calculus , 2000, TODS.

[29]  Stijn Heymans,et al.  Conceptual logic programs , 2006, Annals of Mathematics and Artificial Intelligence.

[30]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[31]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.

[32]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[33]  Hans Tompits,et al.  Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning , 2006, ESWC.

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

[35]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[36]  Boris Motik,et al.  Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

[37]  Boris Motik,et al.  Reasoning in description logics using resolution and deductive databases , 2006 .

[38]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[39]  Patrick J. Hayes,et al.  When owl: sameAs isn't the Same: An Analysis of Identity Links on the Semantic Web , 2010, LDOW.

[40]  Georg Lausen,et al.  Ontologies in F-logic , 2004, Handbook on Ontologies.

[41]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[42]  Ulrich Furbach,et al.  A Knowledge Compilation Technique for ALC Tboxes , 2009, FLAIRS Conference.