Sciweavers

SEMWEB
2004
Springer
13 years 10 months ago
A Model Theoretic Semantics for Ontology Versioning
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 ...
Jeff Heflin, Zhengxiang Pan