Ontolingua - Basic Principles
Presentation versus representation
- Object-Oriented presentation, full logical representation
Creating a new object is different from saying new things about existing objects
Include existing ontologies from the library
Augment, but do not edit included definitions