HIKE (HPKB integrated knowledge environment)- a query interface and integrated knowledge environment for HPKB

Authors:
Barbara H. Starr;Vinay K. Chaudhri;Boris Katz;Benjamin Good;Jérôme Thoméré
Affiliations:
-;-;-;-;-
Venue:
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Year:
1999

Citing 5
Cited 0

The Ontolingua Server: a tool for collaborative ontology construction

International Journal of Human-Computer Studies - Special issue: innovative applications of the World Wide Web
Learning to extract symbolic knowledge from the World Wide Web

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
OKBC: a programmatic foundation for knowledge base interoperability

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Collaborative Environment for Authoring Large Knowledge Bases

Journal of Intelligent Information Systems
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

This demonstration is based upon the results of a research project sponsored by the Defense Advance Research Projects Agency (DARPA), called High Performance Knowledge Bases (HPKB). The demonstrated portion of HPKB follows a question-answering paradigm. The integrated architecture developed at Science Applications International Corporation (SAIC), called the HPKB Integrated Knowledge Environment (HIKE) is introduced. Following this, the components involved in the demonstration, which include a natural language understanding system, a first order theorem prover, and a knowledge server are briefly described. The demonstration effectively illustrates the use of both a graphical user interface and a natural language interface to query a first order theorem prover with similar results.