Logical Analysis Results

Analysis

• Large chunks of consistency
• Properties of ontology relationships
  • isa is reflexive, transitive, and exclusive
  • If α isa β and α nota γ then β nota γ
• All pairs of status values for isa
  • Theorem: Relationship is isa
  • Stopped: Test for nevera
    • Theorem: Test for xora
      • Theorem: Relationship is xora
      • Stopped: Relationship is (assumed) nevera
    • Stopped: Test for nota
      • Theorem: Relationship is (assumed) nota
      • Stopped: Relationship is not validated

Results

• All isa relationships proved
• Three new ontology values added
• Three errors in value definitions exposed and corrected
• Four incorrect isa relationships removed
• Several new isa relationships added