Using Model-Theoretic Invariants for Semantic Integration

Abstract

The meaning of terms in the ontology is characterized by models for first-order logic. The PSL Ontology has a first-order axiomatization of the class of models. Identify variants of the models. By axiomatizing these invariants, translation definitions can be shown to preserve semantics between software applications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2004
Accession Number
ADA515698

Entities

People

  • Michael Gruninger

Organizations

  • National Institute of Standards and Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Birds
  • Engineering
  • Inference Engines
  • Information Operations
  • Intelligent Systems
  • Interoperability
  • Models
  • Ontologies
  • Semantics
  • Standards
  • Translations
  • Workshops

Readers

  • Artificial Intelligence
  • Calculus or Mathematical Analysis
  • Software Engineering.