Updating description logics using the AGM theory

7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Volumn , Issue , 2005, Pages

  Flouris, Giorgos ^a   Plexousakis, Dimitris ^a   Antoniou, Grigoris ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

AGM THEORY; BELIEF CHANGE; DESCRIPTION LOGIC; KNOWLEDGE BASIS (KBS);

FORMAL LANGUAGES;

DATA DESCRIPTION;

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

References (13)

1. Carlos Alchourron, Peter Gärdenfors, and D avid Makinson. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. Franz Baader and Ulrike Sattler. An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5-40, 2001.
3. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
4. Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics as Ontology Languages for the Seman tic Web. In Dieter Hutter and Werner Stephan, eds., Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence, Springer-Verlag, 2003.
5. Mike Dean, Guus Schreiber, Sean Bechh ofer, Frank Van Harmelen, Jim Hendler, Ian Horrocks, Deborah McGuiness, Peter Patel-Schneider, and Lynn Andrea Stein. OWL Web Ontology Language Reference. W3C Recommendation, 2004. Available at: Http://www.w3.org/TR/owl-ref/.
6. Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. Generalizing the AGM Postulates: Preliminary Results and Applications. In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pp. 17 1-179, Whistler BC, Canada, 2004.
7. Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. AGM Postulates in Arbitrary Logics: Initial Results and Applications. Technical Report FORTH-ICS/TR-336, April 2004.
8. Peter Gärdenfors. Belief Revision: An Introduction. In Gärdenfors, P. ed. Belief Revision, pp. 1-20, Cambridge University Press, 1992.
9. Ian Horrocks and Peter Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics, 1(4):345-357, 2004.
10. Seung Hwan Kang and Sim Ki m Lau. Ontology Revision Using the Concept of Belief Revision. In Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems, pp. 8-15, Wellington, New Zealand, 2004.
11. Hirofumi Katsuno and Alberto Mendelzon. On the Difference Between Updating a Logical Database and Revising it. In Peter Gärdenfors, ed., Belief Revision, Cambridge University Press, 1992.
12. Kevin Lee and Thomas Meyer. A Classification of Ontology Modification. In Proceedings of the 17th Australian Joint Conference on Artificial Intelligence, pp. 248-258, Cairns, Australia, 2004.
13. Carsten Lutz and Ulrike Sattler. Mary Likes All Cats. In Proceedings of the 2000 International Workshop in Description Logics, pp. 213-226, Aachen, Germany, 2000.