A Model Theoretic Semantics for Ontology Versioning

Abstract

We show that the SemanticWeb 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2004
Accession Number
ADA451850

Entities

People

  • Jeff Heflin
  • Zhengxiang Pan

Organizations

  • Lehigh University

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Automobiles
  • Computer Science
  • Electronic Commerce
  • Embedded Systems
  • Information Operations
  • Language
  • Linguistics
  • Mammals
  • Models
  • Motorcycles
  • Ontologies
  • Reasoning
  • Semantics
  • Standards
  • Vocabulary

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Database Systems and Applications
  • Systems Analysis and Design