SPOOK: A System for Probabilistic Object-Oriented Knowledge Representation
OKBC: A Programmatic Foundation for Knowledge Base Interoperability