Enablers for Knowledge Sharing
Declarative interlingua for expressing knowledge
- KR system translates KBs into and out of interlingua
API for accessing and manipulating knowledge
- Provide operations for:
- Assertion
- Deductive retrieval
- KB creation and manipulation
- Assumes knowledge is expressed in an interlingua