
  
  
 
  
  
 
  
  
  
 
 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