Summary
The Ontolingua System –
- A Web-based ontology development environment
- Supports ontology assembly
Described mechanisms for -
- Including axioms and vocabularies from multiple ontologies
- Preventing name conflicts when combining ontologies
- Renaming symbols from other ontologies
- Augmenting definitions from other ontologies