Inconsistency-tolerant semantics for description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6333 LNCS, Issue , 2010, Pages 103-117

  Lembo, Domenico ^a   Lenzerini, Maurizio ^a   Rosati, Riccardo ^a   Ruzzi, Marco ^a   Savo, Domenico Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; CONSISTENT QUERY ANSWERING; DATABASE REPAIRS; DESCRIPTION LOGIC; EXPRESSIVE POWER; KNOWLEDGE BASIS; QUERY ANSWERING;

COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; REPAIR;

DATABASE SYSTEMS;

EID: 78049368413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15918-3_9     Document Type: Conference Paper

References (15)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
3. Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS 2003, pp. 260-271 (2003)
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385-429 (2007)
5. Chomicki, J.: Consistent query answering: Five easy pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1-17. Springer, Heidelberg (2006)
6. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57, 227-270 (1992) (Pubitemid 23586698)
7. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proc. of IJCAI 2007, pp. 399-404 (2007)
8. Haasa, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V. R., Musen, M. A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353-367. Springer, Heidelberg (2005)
9. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, pp. 454-459 (2003)
10. Lembo, D., Ruzzi, M.: Consistent query answering over description logic ontologies. In: Proc. of RR 2007 (2007)
11. Ma, Y., Hitzler, P.: Paraconsistent reasoning for owl 2. In: Proc. of RR 2009, pp. 197-211 (2009)
12. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633-640 (2005)
13. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics X, 133-173 (2008)
14. Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI 2009, pp. 891-897 (2009)
15. Winslett, M.: Updating Logical Databases. Cambridge University Press, Cambridge (1990)