OKBC: a programmatic foundation for knowledge base interoperability

Published 1 July 1998

Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James P. Rice

Citations301

TL;DR

Technical design issues faced in the development of Open Knowledge Base Connectivity are discussed, how OKBC improves upon GFP is highlighted, and practical experiences in using it are reported on.

Abstract

The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Knowledge components include both pieces of domain knowledge (for example, theories of economics or fault diagnosis) and KB tools (for example, editors and theorem provers). Most of the current KB development tools can only manipulate knowledge residing in the knowledge representation system (KRS) for which the tools were originally developed. Open Knowledge Base Connectivity (OKBC) is an application programming interface for accessing KRSs, and was developed to enable the construction of reusable KB tools. OKBC improves upon its predecessor, the Generic Frame Protocol (GFP), in several significant ways. OKBC can be used with a much larger range of systems because its knowledge model supports an assertional view of a KRS. OKBC provides an explicit treatment of entities that are not frames, and ...

Keywords

Computer Science

Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project

1,281 Citations1990Douglas B. Lenat, Ramanathan V. Guha

This review has been difficult for me to write, because my thoughts about Cyc have changed a great deal since I first read the book in the spring of 1990, and my thoughts about the project today have changed a great deal.

Knowledge Interchange Format Version 3.0 Reference Manual

790 Citations1992Michael Genesereth

Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs that has declarative semantics and logically comprehensive semantics.

The Ontolingua Server : a Tool for Collaborative Ontology Construction

684 Citations1996Adam Farquhar

CERN Document Server (European Organization for Nuclear Research)Practical Planning: Extending the Classical AI Planning Paradigm

517 Citations1988David E. Wilkins

International Journal of Human-Computer StudiesThe Ontolingua Server: a tool for collaborative ontology construction

450 Citations1997Adam Farquhar, Richard Fikes +1 more

This work has developed a set of tools and services to support the process of achieving consensus on commonly shared ontologies by geographically distributed groups, and describes applications using these tools to achieve consensus on ontologies and to integrate information.

View PDF

ComputerKrypton: A Functional Approach to Knowledge Representation

363 Citations1983Brachman, Fikes +1 more

The authors have developed a design strategy for avoiding these types of problems and have implemented a representation system based on it, called Krypton, which clearly distinguishes between definitional and factual information.

Computational IntelligenceExpressiveness and tractability in knowledge representation and reasoning1

319 Citations1987Hector J. Levesque, Ronald J. Brachman

It is shown that a tradeoff between the expressiveness of a representational language and its computational tractability can be seen to underlie the differences among a number of existing representational formalisms, in addition to motivating many of the current research issues in knowledge representation.

The generic frame protocol

80 Citations1995Peter D. Karp, Karen L. Myers +1 more

The Generic Frame Protocol is an application program interface for accessing knowledge bases stored in frame knowledge representation systems (FRSs) that isolates an application from many of the idiosyncrasies of specific FRS software and enables the development of generic tools that operate on many FRSs.

DiMLex

57 Citations1998Manfred Stede, Carla Umbach

The methodology and the kind of information to be represented in DiMLex, a lexicon of discourse markers, are described and its potential applications in both text generation and understanding are discussed.

IEEE ExpertUsing a description classifier to enhance knowledge representation

56 Citations1991Robert M. MacGregor, Mark Burstein

Loom and the Knowledge Representation Editing and Modeling Environment (KREME), which capture this technology in the form of an inference engine, called a classifier, are described.