Abstract
We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that takes into account ontology extension and ontology versioning. Since the Web is the product of a diverse community, as opposed to a single agent, this semantics accommodates different viewpoints by having different entailment relations for different ontology perspectives. We discuss how this theory can be practically applied to RDF and OWL and provide a theorem that shows how to compute perspective-based entailment using existing logical reasoners. We illustrate these concepts using examples and conclude with a discussion of future work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Brachman, R.: What IS-A is and isn’t: An analysis of taxonomic links in semantic networks. IEEE Computer 16(10), 30–36 (1983)
Guarino, N.: Formal ontology and information systems. In: Proceedings of Formal Ontology and Information Systems, Trento, Italy, June 1998, IOS Press, Amsterdam (1998)
Hayes, P.: RDF semantics. Proposed Recommendation (December 2003), http://www.w3.org/TR/2003/PR-rdf-schema-20031215/
Heflin, J.: Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment. PhD thesis, University of Maryland (2001)
Heflin, J., Hendler, J.: Dynamic ontologies on the Web. In: Proc. of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), Menlo Park, CA, pp. 443–449. AAAI/MIT Press (2000)
Klein, M., Fensel, D.: Ontology versioning for the semantic web. In: Proc. of the 1st Int’l Semantic Web Working Symposium (SWWS), pp. 75–91 (2001)
Noy, N., Musen, M.: PROMPTDIFF: A fixed-point algorithm for comparing ontology versions. In: Proc. of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002), Menlo Park, CA, AAAI/MIT Press (2002)
Oliver, D.E., Shahar, Y., Musen, M.A., Shortliffe, E.H.: Representation of change in controlled medical terminologies. Artificial Intelligence in Medicine 15(1), 53–76 (1999)
Roddick, J.: A survey of schema versioning issues for database systems. Information and Software Technology 37(7), 383–393 (1995)
Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proc. IJCAI 2003, Acapulco, Mexico (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heflin, J., Pan, Z. (2004). A Model Theoretic Semantics for Ontology Versioning. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-30475-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23798-3
Online ISBN: 978-3-540-30475-3
eBook Packages: Springer Book Archive