Inconsistency handling in Datalog+/- ontologies
作者： Thomas Lukasiewicz , Gerardo I. Simari , Maria Vanina Martinez
DOI: 10.3233/978-1-61499-098-7-558
关键词:
摘要: The advent of the Semantic Web has made problem inconsistency management especially relevant. Datalog+/- is a family ontology languages that in particular useful for representing and reasoning over lightweight ontologies Web. In this paper, we study different semantics query answering inconsistent ontologies. We develop general framework based on incision functions from belief revision, which can characterize several as special cases: (i) consistent answers, originally developed relational databases recently adopted some classes description logics (DLs), (ii) intersection semantics, sound approximation (iii) lazy novel alternative offers good compromise between quality answers computation time. also provide complexity results under including data tractability results.
sci-hub.st 参考文章(13)
Guilin Qi, Jianfeng Du, Model-based revision operators for terminologies in description logics international joint conference on artificial intelligence. pp. 891- 897 ,(2009)
Riccardo Rosati, On the complexity of dealing with inconsistency in description logic ontologies international joint conference on artificial intelligence. pp. 1057- 1062 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-181
Frank Van Harmelen, Zhisheng Huang, Annette Ten Teije, Reasoning with inconsistent ontologies international joint conference on artificial intelligence. pp. 454- 459 ,(2005)
Jan Chomicki, Consistent Query Answering: Five Easy Pieces Lecture Notes in Computer Science. pp. 1- 17 ,(2006) , 10.1007/11965893_1
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Inconsistency-tolerant semantics for description logics web reasoning and rule systems. pp. 103- 117 ,(2010) , 10.1007/978-3-642-15918-3_9
C. Beeri, M. Y. Vardi, The Implication Problem for Data Dependencies international colloquium on automata, languages and programming. pp. 73- 85 ,(1981) , 10.1007/3-540-10843-2_7
Yue Ma, Pascal Hitzler, Paraconsistent Reasoning for OWL 2 web reasoning and rule systems. ,vol. 5837, pp. 197- 211 ,(2009) , 10.1007/978-3-642-05082-4_14
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Query rewriting for inconsistent DL-lite ontologies web reasoning and rule systems. pp. 155- 169 ,(2011) , 10.1007/978-3-642-23580-1_12
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, A general Datalog-based framework for tractable query answering over ontologies Journal of Web Semantics. ,vol. 14, pp. 57- 83 ,(2012) , 10.1016/J.WEBSEM.2012.03.001
Alin Deutsch, Alan Nash, Jeff Remmel, The chase revisited Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '08. pp. 149- 158 ,(2008) , 10.1145/1376916.1376938