摘要: We consider the problem of reasoning from inconsistent hybrid theories, i.e., combinations a structural part given by classical first order theory (e.g., an ontology) and rules as set declarative logic program (under answer-set semantics). Paraconsistent is achieved defining appropriate semantics, so-called paraconsistent semi-equilibrium model semantics for such theories. Appropriateness established with respect to desirable properties attesting design objectives, us generalize underlying in case consistency, well existing individual parts. A complexity analysis corresponding tasks complements these results.
参考文章(34)
Michael Gelfond, Marcello Balduccini, Logic Programs with Consistency-Restoring Rules ,(2003)
Shasha Huang, Qingguo Li, Pascal Hitzler, Paraconsistent semantics for hybrid MKNF knowledge bases web reasoning and rule systems. ,vol. 6902, pp. 93- 107 ,(2011) , 10.1007/978-3-642-23580-1_8
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
Joao Alcântara, Luís Moniz Pereira, Carlos Viegas Damásio, A declarative characterisation of disjunctive paraconsistent answer sets european conference on artificial intelligence. pp. 953- 954 ,(2004)
Ofer Arieli, Arnon Avron, Anna Zamansky, What is an ideal logic for reasoning with inconsistency international joint conference on artificial intelligence. pp. 706- 711 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-125
Riccardo Rosati, DL + log : tight integration of description logics and disjunctive datalog principles of knowledge representation and reasoning. pp. 68- 78 ,(2006)
Pedro Cabalar, David Pearce, Agustín Valverde, A Revised Concept of Safety for General Answer Set Programs Logic Programming and Nonmonotonic Reasoning. pp. 58- 70 ,(2009) , 10.1007/978-3-642-04238-6_8
Riccardo Rosati, Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules Principles and Practice of Semantic Web Reasoning. pp. 50- 64 ,(2005) , 10.1007/11552222_6
Pascal Hitzler, Yue Ma, Zuoquan Lin, Paraconsistent Reasoning for Expressive and Tractable Description Logics Description Logics. ,vol. 353, ,(2008)
Vladimir Lifschitz, David Pearce, Agustín Valverde, A characterization of strong equivalence for logic programs with variables international conference on logic programming. pp. 188- 200 ,(2007) , 10.1007/978-3-540-72200-7_17