10
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
Relational
Model, XML
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