On applying the AGM theory to DLs and OWL

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

Volumn 3729 LNCS, Issue , 2005, Pages 216-231

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

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; INFORMATION RETRIEVAL; PROBLEM SOLVING; SEMANTICS; WORLD WIDE WEB;

AGM THEORY; DESCRIPTION LOGICS (DLS); KNOWLEDGE BASE (KB);

KNOWLEDGE BASED SYSTEMS;

EID: 33646394310     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11574620_18     Document Type: Conference Paper

References (17)

1. Alchourron, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (1985) 510-530
2. Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69 (2001)5-40
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2002)
4. Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In Hutter, D., Stephan, W. (eds.): Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence, Springer-Verlag (2003)
5. Dean, D., Schreiber, G., Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuiness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference. W3C Recommendation (2004). Available at URL: http://www.w3.org/TR/owl-ref/
6. Flouris, G., Plexousakis, D., Antoniou, G.: AGM Postulates in Arbitrary Logics: Initial Results and Applications. Technical Report FORTH-ICS/TR-336, April 2004
7. th International Workshop on NonMonotonic Reasoning (2004) 171-179
8. Gärdenfors, P.: Belief Revision: An Introduction. In Gärdenfors, P., (ed.) Belief Revision, Cambridge University Press (1992) 1-20
9. Hansson, S. O.: Knowledge-level Analysis of Belief Base Operations. Artificial Intelligence 82 (1996) 215-235
10. Horrocks, I., Patel-Schneider, P.: Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics, 1(4) (2004) 345-357
11. Hustadt, U., Schmidt, R.A.: Issues of Decidability for Description Logics in the Framework of Resolution. In Automated Deduction in Classical and Non-Classical Logics, vol. 1761, LNAI, Springer, (2000) 191-205
12. th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (2004) 8-15
13. th Australian Joint Conference on Artificial Intelligence (2004) 248-258, Cairns, Australia
14. Lutz, C., Sattler, U.: Mary Likes All Cats. In Proceedings of the 2000 International Workshop in Description Logics (2000) 213-226
15. Makinson, D.: On the Status of the Postulate of Recovery in the Logic of Theory Change. Journal of Philosophical Logic 16(1987) 383-394
16. th International Symposium on Logical Formalizations of Commonsense Reasoning (2005)
17. th International Conference on Knowledge Engineering and Knowledge Management, vol. 2473, LNCS, Springer-Verlag, (2002) 285-300