Extending NoHR for OWL 2 QL

Partially supported by Fundacao para a Ciencia e a Tecnologia under project PTDC/EIA-CCO/121823/2010 and strategic project PEst/UID/CEC/04516/2013. M. Knorr was also supported by grant SFRH/BPD/86970/2012.

[1]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[2]  Matthias Knorr,et al.  A Query Tool for EL with Non-monotonic Rules , 2013, International Semantic Web Conference.

[3]  José Júlio Alferes,et al.  Querying OWL 2 QL and Non-monotonic Rules , 2011, SEMWEB.

[4]  K. A. Ross,et al.  Tabled Evaluation with Delaying for General Logic Programs , 1996 .

[5]  Matthias Knorr,et al.  Reconciling OWL and Non-monotonic Rules for the Semantic Web , 2012, ECAI.

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

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

[8]  Domenico Lembo,et al.  Graph-Based Ontology Classification in OWL 2 QL , 2013, ESWC.

[9]  Matthias Knorr,et al.  Normative systems require hybrid knowledge bases , 2012, AAMAS.

[10]  Stijn Heymans,et al.  The DReW System for Nonmonotonic DL-Programs , 2012, CSWS.

[11]  Yavor Nenov,et al.  Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning , 2014, AAAI.

[12]  Matthias Knorr,et al.  What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems , 2014, J. Log. Comput..

[13]  Matthias Knorr.  Nonmonotonic Nominal Schemas Revisited , 2015, Description Logics.

[14]  Edith Schonberg,et al.  Matching Patient Records to Clinical Trials Using Ontologies , 2007, ISWC/ASWC.

[15]  José Júlio Alferes,et al.  Local closed world reasoning with description logics under the well-founded semantics , 2011, Artif. Intell..

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

[17]  Vladimir Lifschitz,et al.  Nonmonotonic Databases and Epistemic Queries , 1991, IJCAI.

[18]  João Leite,et al.  Splitting and updating hybrid knowledge bases , 2011, Theory Pract. Log. Program..

[19]  Boris Motik,et al.  Reconciling description logics and rules , 2010, JACM.

[20]  José Júlio Alferes,et al.  Parametrized Logic Programming , 2010, JELIA.

[21]  Carsten Lutz,et al.  The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.

[22]  José Júlio Alferes,et al.  Query-Driven Procedures for Hybrid MKNF Knowledge Bases , 2013, TOCL.

[23]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

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

[25]  Yevgeny Kazakov,et al.  From Polynomial Procedures to Efficient Reasoning with EL Ontologies , 2013 .

[26]  Birte Glimm,et al.  Konclude: System description , 2014, J. Web Semant..

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

[28]  Maurizio Lenzerini,et al.  Mastro at Work: Experiences on Ontology-Based Data Access , 2010, Description Logics.

[29]  Matthias Knorr,et al.  Evolving Multi-Context Systems , 2014, ECAI.

[30]  Michael Zakharyaschev,et al.  Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime , 2014, SEMWEB.

[31]  José Júlio Alferes,et al.  Implementing Query Answering for Hybrid MKNF Knowledge Bases , 2010, PADL.

[32]  Matthias Knorr,et al.  Efficient Paraconsistent Reasoning with Ontologies and Rules , 2015, IJCAI.

[33]  Wlodzimierz Drabent,et al.  HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners , 2007, ALPSWS.

[34]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..