Inconsistencies, negations and changes in ontologies

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2006, Pages 1295-1300

  Flouris, Giorgos ^a   Huang, Zhisheng ^b,c   Pan, Jeff Z ^d   Plexousakis, Dimitris ^a   Wache, Holger ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c CWI   (Netherlands)

^d UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Inconsistency; Negation; Ontology change; Semantic Web

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS;

INCONSISTENCY; NEGATION; ONTOLOGY CHANGE; SEMANTIC WEB;

WORLD WIDE WEB;

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

References (12)

1. Alchourrón, C.; Gärdenfors, P.; and Makinson, D. 1985. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic 50(4):510-530.
2. Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
3. th International Workshop on Non-Monotonic Reasoning, 171-179.
4. Fuhrmann, A. 1991. Theory contraction through base contraction. Journal of Philosophical Logic 20:175-203.
5. Gärdenfors, P. 1992. Belief revision. In Gärdenfors, P., ed., Belief Revision: An Introduction. Cambridge University Press. 1-20.
6. Haase, P.; van Harmelen, F.; Huang, Z.; Stuckenschmidt, H.; and Sure, Y. 2005. A framework for handling inconsistency in changing ontologies. In Proceedings of the 2005 International Semantic Web Conference (ISWC05).
7. Horrocks, I., and Patel-Schneider, P. F. 2003. Reducing OWL entailment to description logic satisfiability. In Proc. of the 2003 International Semantic Web Conference (ISWC 2003), 17-29.
8. Horrocks, I.; Sattler, U.; and Tobies, S. 2000. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3):239-263.
9. Huang, Z.; van Harmelen, F.; and ten Teije, A. 2005. Reasoning with inconsistent ontologies. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005).
10. Patel-Schneider, P. F.; Hayes, P.; and Horrocks, I. 2004. OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C. W3C Recommendation.
11. Schlobach, S., and Cornet, R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI2003. Acapulco, Mexico: Morgan Kaufmann.
12. Uschold, M., and Gruninger, M. 1996. Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review.