Updating inconsistent Description Logic knowledge bases

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 516-521

  Lenzerini, Maurizio ^a   Savo, Domenico Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; POLYNOMIAL APPROXIMATION;

DESCRIPTION LOGIC; EXPRESSIVE POWER; INSERTIONS AND DELETIONS; POLYNOMIAL-TIME;

SEMANTICS;

EID: 84878794195     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-516     Document Type: Conference Paper

References (17)

1. Inconsistency Tolerance, eds., Leopoldo E. Bertossi, Anthony Hunter, and Torsten Schaub, volume 3300 of LNCS, Springer, 2005.
2. Meghyn Bienvenu, 'First-order expressibility results for queries over inconsistent DL-Lite knowledge bases', in Proc. of DL 2011, volume 745 of CEUR, ceur-ws.org, (2011).
3. Andrea Calí and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini, 'Accessing Data Integration Systems through Conceptual Schemas', in Proc. of ER 2011, volume 2224 of LNCS, 270-284. Springer, 2001.
4. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maur-izio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo, 'The Mastro system for ontology-based data access', Semantic Web J., 2(1), 43-53, (2011).
5. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati, 'Tractable reasoning and efficient query answering in description logics: The DL-Lite family', J. of Automated Reasoning, 39(3), 385-429, (2007).
6. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati, 'Path-based identification constraints in description logics', in Proc. of KR 2008, 231-241, (2008).
7. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov, 'Evolution of DL-Lite knowledge bases', in Proc. of ISWC 2010, volume 6496 of LNCS, 112-128. Springer, (2010).
8. De Giacomo, Giuseppe and Maurizio Lenzerini and Antonella Poggi and Riccardo Rosati, 'On the Update of Description Logic Ontologies at the Instance Level', in Proc. of AAAI 2006, 1271-1276, 2006.
9. Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi, 'On the semantics of updates in databases', in Proc. of PODS'83, 352-365, (1983).
10. Hirofumi Katsuno and Alberto Mendelzon, 'On the difference between updating a knowledge base and revising it', in Proc. of KR'91, 387-394, (1991).
11. Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo, 'Inconsistency-tolerant semantics for description logics', in Proc. of RR 2010, (2010).
12. Maurizio Lenzerini and Domenico Fabio Savo, 'On the evolution of the instance level of DL-Lite knowledge bases', in Proc. of DL 2011, volume 745 of CEUR, ceur-ws.org, (2011).
13. H. Liu and C. Lutz and M. Milicic and F. Wolter, 'Updating Description Logic ABoxes', in Proc. of KR 2006, 46-56, (2006).
14. Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati, 'Linking data to ontologies', J. on Data Semantics, X, 133-173, (2008).
15. Riccardo Rosati, 'On the complexity of dealing with inconsistency in description logic ontologies', in Proc. of IJCAI 2011, 1057-1062, (2011).
16. Zhe Wang, Kewen Wang, and Rodney W. Topor, 'A new approach to knowledge base revision in DL-Lite', in Proc. of AAAI 2010, (2010).
17. Marianne Winslett, Updating Logical Databases, Cambridge University Press, 1990.