A model theoretic semantics for ontology versioning

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

Volumn 3298, Issue , 2004, Pages 62-76

  Heflin, Jeff ^a   Pan, Zhengxiang ^a  

^a Lehigh University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SEMANTICS;

DIVERSE COMMUNITY; FORMAL SEMANTICS; MODEL-THEORETIC SEMANTICS; ONTOLOGY VERSIONING; REASONERS; SINGLE-AGENT;

SEMANTIC WEB;

EID: 35048847038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30475-3_6     Document Type: Article

References (12)

1. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
2. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. C-OWL: Contextualizing ontologies. In Proc, of the 2003 Int'l Semantic Web Conf. (ISWC 2003), LNCS 2870, pages 164-179. Springer, 2003.
3. R. Brachman. What IS-A is and isn't: An analysis of taxonomic links in semantic networks. IEEE Computer, 16(10):30-36, October 1983.
4. N. Guarino. Formal ontology and information systems. In Proceedings of Formal Ontology and Information Systems, Trento, Italy, June 1998. IOS Press.
5. P. Hayes. RDF semantics. Proposed Recommendation, December 2003. http://www.w3.org/TR/2003/PR-rdf-schema-20031215/.
6. J. Heflin. Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment. PhD thesis, University of Maryland, 2001.
7. Jeff Heflin and James Hendler. Dynamic ontologies on the Web. In Proc. of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), pages 443-449, Menlo Park, CA, 2000. AAAI/MIT Press.
8. M. Klein and D. Fensel. Ontology versioning for the semantic web. In Proc. of the 1st Int'l Semantic Web Working Symposium (SWWS), pages 75-91, 2001.
9. N. Noy and M. Musen. PROMPTDIFF: A fixed-point algorithm for comparing ontology versions. In Proc. of the Eighteenth National Conference on Artificial Intelligence (AAAI2002), Menlo Park, CA, 2002. AAAI/MIT Press.
10. D. E. Oliver, Y. Shahar, M. A. Musen, and E. H. Shortliffe. Representation of change in controlled medical terminologies. Artificial Intelligence in Medicine, 15(l):53-76, 1999.
11. J. Roddick. A survey of schema versioning issues for database systems. Information and Software Technology, 37(7):383-393, 1995.
12. H. Stuckenschmidt and M. Klein. Integrity and change in modular ontologies. In Proc. IJCAI'03, Acapulco, Mexico, 2003.