Updating tboxes in DL-lite

CEUR Workshop Proceedings

Volumn 573, Issue , 2010, Pages 102-113

  Zheleznyakov, Dmitriy ^a   Calvanese, Diego ^a   Kharlamov, Evgeny ^a   Nutt, Werner ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; HORN CLAUSE; LOGICAL THEORIES; MODEL BASED APPROACH; ONTOLOGY LANGUAGE; POLYNOMIAL-TIME ALGORITHMS; PROPOSITIONAL LOGIC; SATISFIABILITY;

FORMAL LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING; POLYNOMIAL APPROXIMATION;

DATA DESCRIPTION;

EID: 78650891683     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. [18] chapter 10 349-372
2. 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) (2007) 385-429
3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36 (2009) 1-69
4. Moller, R., Haarslev, V.: Description logic systems. [18] chapter 8 282-305
5. Haarslev, V., Moller, R.: On the scalability of description logic instance retrieval. J. of Automated Reasoning 41(2) (2008) 99-142
6. Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic 9(3) (2008) 22.1-22.31
7. Flouris, G., Manakanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology change: Classification and survey. Knowledge Engineering Review 23(2) (2008) 117-152
8. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'91). (1991) 387-394
9. Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009). (2009) 891-897
10. Flouris, G.: On belief change in ontology evolution. AI Communications-The Eur. J. on Artificial Intelligence 19(4) (2006)
11. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57 (1992) 227-270
12. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. of Logic and Computation, Special Issue on Ontology Dynamics 19(5) (2009) 745-770
13. Liu, H., Lutz, C., Milicic, M.,Wolter, F.: Updating description logic ABoxes. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006). (2006) 46-56
14. Abiteboul, S., Grahne, G.: Update semantics for incomplete databases. In: Proc. of the 11th Int. Conf. on Very Large Data Bases (VLDB'85). (1985)
15. Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A possible worlds approach. Technical Report KSL-86-65, Knowledge Systems, AI Laboratory (1987)
16. Winslett, M.: A model-based approach to updating databases with incomplete information. ACM Trans. on Database Systems 13(2) (1988) 167-196
17. Winslett, M.: Updating Logical Databases. Cambridge University Press (1990)
18. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)
19. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006). (2006) 1271-1276