On the update of description logic ontologies at the instance level

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2006, Pages 1271-1276

  De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a   Poggi, Antonella ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; SEMANTICS;

DESCRIPTION LOGICS; KNOWLEDGE BASE UPDATE; POLYNOMIAL TIME; UPDATE FORMULA;

FORMAL LOGIC;

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

References (20)

1. Acciarri, A.; Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Palmieri, M.; and Rosati, R. 2005. QUONTO: Querying ONTOlogies. In Proc. of AAAI 2005, 1670-1671.
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
3. Baader, F.; Lutz, C.; Milicic, M.; Sattler, U.; and Wolter, F. 2005. Integrating description logics and action formalisms: First results. In Proc. of AAAI 2005, 572-577.
4. Baader, F.; Horrocks, I.; and Sattler, U. 2005. Description logics as ontology languages for the semantic web. In Mechanizing Mathematical Reasoning: Essays in Honor of Jrg Siekmann on the Occasion of His 60th Birthday, number 2605 in LNAI. Springer. 228-248.
5. Berners Lee, T.; Hendler, J.; and Lassila, O. 2001. The Semantic Web. Scientific American.
6. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, 602-607.
7. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006. Data complexity of query answering in description logics. In Proc. of KR 2006. To appear.
8. Eiter, T., and Gottlob, G. 1992. On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57:227-270.
9. Flouris, G.; Plexousakis, D.; and Antoniou, G. 2005. On applying the AGM theory to DLs and OWL. In Proc. of ISWC 2005.
10. Haarslev, V., and Möller, R. 2001. RACER system description. In Proc. of IJCAR 2001, volume 2083 of LNAI, 701-705. Springer.
11. Haase, P., and Stojanovic, L. 2005. Consistent evolution of owl ontologies. In Proc. of ESWC, 182-197.
12. Horrocks, I. 1998. The FaCT system. In de Swart, H., ed., Proc. of TABLEAUX'98, volume 1397 of LNAI, 307-312. Springer.
13. Levesque, H. J., and Lakemeyer, G. 2001. The Logic of Knowledge Bases. The MIT Press.
14. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2006. Updating description logic aboxes. In Proc. of KR 2006. To appear.
15. Meyer, T.; Lee, K.; and Booth, R. 2005. Knowledge integration for description logics. In Proc. of AAAI 2005, 645-650.
16. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
17. Scherl, R. B., and Levesque, H. J. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2):1-39.
18. Sirin, E., and Parsia, B. 2004. Pellet: An owl dl reasoner. In Proc. of DL 2004.
19. Winslett, M. 1988. Reasoning about action using a possible models approach. In Proc. of AAAI'98.
20. Winslett, M. 1990. Updating Logical Databases. Cambridge University Press.