Support for KB-Algebra
Support for KB-Algebra
- Ontolingua [Gruber, Fikes @ Stanford KSL]:
Repository for Domain Terminologies
Used for mechanical design, bibliographies, catalogs
- LOOM [MacGregor@ USC ISI]:
Classification-based Expert System
Helps in structuring and processing ontologies
- PROTÉGÉ [Musen@ Stanford MIS] Reuse
- Penguin [Barsalou, Keller@ Stanford MIS, CIFE]:
Object manipulation based on Relational Algebra
Used for genetics laboratory, building design