1. Component Theories

• A coherent, encapsulated system of concepts and relations

• Contains:

  • ontology (vocabulary of concepts and relations)
  • axioms (rules) relating these

• Provides semantics for these concepts in the KB

• Can define specific theories using general ones

Previous slide

Next slide

Back to first slide

View graphic version