Interlinguas for Reusable KBs
Knowledge Interchange Format (KIF)
- First order predicate logic with set theory
- Logically comprehensive
- Model-theoretic semantics
OKBC Knowledge Model – An interlingua for ontologies
- Augments KIF with a frame language ontology
- Enables object-oriented structuring of ontologies