Logical Theory
Thesaurus
Has
Narrower Meaning Than
Taxonomy
Is Sub-Classification of
Conceptual Model
Is
Subclass of
Is Disjoint Subclass of with transitivity property
weak semantics
strong semantics
DB
Schemas, XML Schema
UML
Modal
Logic
First
Order Logic
ER
Extended
ER
Description
Logic
DAML+OIL,
OWL
RDF/S
XTM
Ontology Spectrum: One View
Problem: Very General
Semantic Expressivity: Very High
Problem: Local
Semantic Expressivity: Low
Problem: General
Semantic Expressivity: Medium
Problem: Local
Semantic Expressivity: High
Syntactic Interoperability
Structural Interoperability
Semantic Interoperability