Prioritized assertional-based removed sets revision of DL-Lite belief bases
暂无分享,去创建一个
Odile Papini | Eric Würbel | Salem Benferhat | Zied Bouraoui | S. Benferhat | Zied Bouraoui | Odile Papini | Éric Würbel
[1] Sven Ove Hansson. Kernel Contraction , 1994, J. Symb. Log..
[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[3] Grigoris Antoniou,et al. On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.
[4] Maurizio Lenzerini,et al. Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.
[5] Julien Hué,et al. Removed Sets Fusion: Performing Off The Shelf , 2008, ECAI.
[6] Sven Ove Hansson,et al. Revision of Belief Sets and Belief Bases , 1998 .
[7] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[8] Kewen Wang,et al. A New Approach to Knowledge Base Revision in DL-Lite , 2010, AAAI.
[9] Guilin Qi,et al. Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice , 2015, AAAI.
[10] Kevin Lee,et al. A Classification of Ontology Modification , 2004, Australian Conference on Artificial Intelligence.
[11] Yarden Katz,et al. Belief Base Revision for Expressive Description Logics , 2006, OWLED.
[12] Sven Ove Hansson,et al. Specified Meet Contraction , 2008 .
[13] Odile Papini,et al. A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases , 2014, JELIA.
[14] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[15] Russell Greiner,et al. A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..
[16] Riccardo Rosati,et al. New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access , 2013, Description Logics.
[17] Grigoris Antoniou,et al. On Generalizing the AGM Postulates , 2006, STAIRS.
[18] Guilin Qi,et al. Knowledge Base Revision in Description Logics , 2006, JELIA.
[19] Meghyn Bienvenu,et al. Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies , 2012, Description Logics.
[20] André Fuhrmann. An Essay on Contraction , 1996 .
[21] M. M. Ribeiro,et al. Base Revision in Description Logics-Preliminary Results , 2007 .
[22] Guilin Qi,et al. Contraction and Revision over DL-Lite TBoxes , 2014, AAAI.
[23] Peter Gärdenfors,et al. Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.
[24] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[25] Salem Benferhat,et al. How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? , 2015, IJCAI.
[26] Zhisheng Huang,et al. Conflict Resolution in Partially Ordered OWL DL Ontologies , 2014, ECAI.
[27] Jeff Z. Pan,et al. Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.
[28] Diego Calvanese,et al. Evolution of DL-Lite Knowledge Bases , 2010, SEMWEB.
[29] Johanna Völker,et al. A Kernel Revision Operator for Terminologies - Algorithms and Evaluation , 2008, International Semantic Web Conference.
[30] Grigoris Antoniou,et al. Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.
[31] Guilin Qi,et al. A Stratification-based Approach for Inconsistency Handling in Description Logics , 2007 .
[32] Henri Prade,et al. A Practical Approach to Revising Prioritized Knowledge Bases , 2002, Stud Logica.
[33] Guilin Qi,et al. A New Operator for ABox Revision in DL-Lite , 2012, AAAI.
[34] Diego Calvanese,et al. Linking Data to Ontologies , 2008, J. Data Semant..
[35] Franz Baader,et al. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic , 1995, Journal of Automated Reasoning.
[36] Alessandro Saffiotti,et al. A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases , 1998, KR.
[37] André Fuhrmann,et al. A survey of multiple contractions , 1994, J. Log. Lang. Inf..
[38] Henrik Legind Larsen,et al. Detection of potential inconsistencies in knowledge bases , 1992, Int. J. Intell. Syst..
[39] Sven Ove Hansson. Belief Revision: A dyadic representation of belief , 1992 .
[40] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[41] Odile Papini. A Complete Revision Function in Propositional Calculus , 1992, ECAI.
[42] François Goasdoué,et al. Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics , 2014, Description Logics.
[43] Guilin Qi,et al. A Survey of Revision Approaches in Description Logics , 2008, Description Logics.
[44] Bernhard Nebel,et al. Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.
[45] Guilin Qi,et al. A revision-based approach to handling inconsistency in description logics , 2006, Artificial Intelligence Review.
[46] Odile Papini,et al. An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS , 2008, Applied Intelligence.
[47] Didier Dubois,et al. How to Infer from Inconsisent Beliefs without Revising? , 1995, IJCAI.
[48] Maurizio Lenzerini,et al. On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.
[49] Diego Calvanese,et al. DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.
[50] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[51] Didier Dubois,et al. A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule , 2010, Fundam. Informaticae.
[52] Diego Calvanese,et al. Capturing model-based ontology evolution at the instance level: The case of DL-Lite , 2013, J. Comput. Syst. Sci..
[53] Odile Papini,et al. Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases , 2014, ECAI.
[54] Diego Calvanese,et al. The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..
[55] Salem Benferhat,et al. On the Revision of Prioritized DL-Lite Knowledge Bases , 2014, SUM.
[56] Evgeny Kharlamov,et al. Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite , 2011, AMW.
[57] Didier Dubois,et al. Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.
[58] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..