Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies
暂无分享,去创建一个
[1] Diego Calvanese,et al. Reasoning about Explanations for Negative Query Answers in DL-Lite , 2013, J. Artif. Intell. Res..
[2] Jeff Heflin,et al. LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..
[3] Diego Calvanese,et al. Explanation in the DL-LiteFamily of Description Logics , 2008, OTM Conferences.
[4] Jianfeng Du,et al. Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases , 2012, Knowledge and Information Systems.
[5] Stefan Schlobach,et al. ABox Abduction in the Description Logic ALC , 2011, J. Autom. Reason..
[6] Andrea Calì,et al. A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..
[7] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[8] Ulrike Sattler,et al. A Case for Abductive Reasoning over Ontologies , 2006, OWLED.
[9] Boris Motik,et al. Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..
[10] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[11] Thomas Lukasiewicz,et al. Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs , 2019, SEBD.
[12] Lawrence Hunter,et al. A Call for an Abductive Reasoning Feature in OWL-Reasoning Tools toward Ontology Quality Control , 2008, OWLED.
[13] Stefan Schlobach,et al. ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$ , 2010, Journal of Automated Reasoning.
[14] Andrea Calì,et al. Towards more expressive ontology languages: The query answering problem , 2012, Artif. Intell..
[15] Maurizio Lenzerini,et al. Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.
[16] Jianfeng Du,et al. A New Matchmaking Approach Based on Abductive Conjunctive Query Answering , 2011, JIST.
[17] Georg Gottlob,et al. The complexity of logic-based abduction , 1993, JACM.
[18] Jianfeng Du,et al. Towards Practical ABox Abduction in Large OWL DL Ontologies , 2011, AAAI.
[19] Jianfeng Du,et al. Towards Practical ABox Abduction in Large Description Logic Ontologies , 2012, Int. J. Semantic Web Inf. Syst..
[20] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[21] Jianfeng Du,et al. A Tractable Approach to ABox Abduction over Description Logic Ontologies , 2014, AAAI.
[22] Jianfeng Du,et al. Weight-based consistent query answering over inconsistent SHIQ knowledge bases , .