Ontology Inclusion
An ontology is described by a –
- Vocabulary of non-logical symbols
- Set of axioms
Including ontology A in ontology B means –
- Adding the axioms of A to the axioms of B
- Adding the vocabulary of A to the vocabulary of B
Naming
- Ontology names are global
- Symbol names are local to an ontology
E.g., S defined in A is a different symbol from S defined in B
Inclusion is simply union of axioms and symbols