Adam Farquhar

	Adam Farquhar
	Knowledge Systems Laboratory Gates Building 2A, M/C 9020 Stanford, CA 94305 (directions)	Tel: (415) 723-9770 Fax:(415) 725-5850 Email: Adam_Farquhar@ksl.stanford.edu URL: http://www.ksl.stanford.edu/people/axf

Research Interests

Use, reuse, and sharing of knowledge through formal ontologies.
Information integration from heterogeneous souces, including network-based information brokering (1/27/95 talk in postscript).
Using the web to provide access to full running applications; dynamic document generation (CHI96 paper available as KSL-95-69).
Automated modeling and simulation of physical systems with an emphasis on working with qualitative and incomplete information.

Program committee member for AAAI-98, AAAI-97, AAAI-96, IJCAI-95.
Program committee member for KRDB'98, 5th International Workshop on Knowledge Representation and Databases, held in conjunction with ACM SIGMOD/PODS'98 .
Program committee member for ECAI'98 workshop on Workshop on Applications of Ontologies and Problem-Solving Methods .
Track co-chair for 1998 Knowledge Acquisition Workshop ( KAW98 ) track on Shareable and Reusable Components for Knowledge Systems.
ANSI ad hoc committee on Ontology Standards
Process Interchange Format (PIF) working group
Program committee member for the 1997 Joint Workshop on Metadata Registries.
Program committee member of WebNet-97, the World Conference of the Web Society.
Co-chair for the 1997 Spring Symposium on Ontological Engineering.
Program committee member for The 11th Internaltion Workshop on Qualitative Reasoning (QR97).
Organising committee for the ECAI96 workshop on Ontological Engineering.
Co-chair for the The 10th International Workshop on Qualitative Reasoning (QR96).
Panelist on Knowledge Representation for the Web at the Fourth World Wide Web conference. My position statement outlined ways that the Web might benefit from KR methods and how KR can benefit from the Web environment.

Web resources for research on Ontologies and Knowledge Representation
Ontolingua Tutorial first given at KSL in May, 1997. This tutorial provides a reasonable overview of Ontolingua and gives some hints on ontology design.
KSL Interactive Network Services including

Ontology Editor for distributed, collaborative editing and browsing of Ontolingua ontologies over the WWW.
WWW-based Lisp Inspector
CML Model Fragment Editor

The OKBC protocol was previously known at the Generic Frame Protocol, or GFP. OKBC 2.0 identical to GFP 2.0.

OKBC Protocol Specification
On 17 October 1997, I gave a talk at the KSL Seminar describing how OKBC deals with variations in the capabilities of the underlying knowledge representation systems (Slides in PDF).

ATP Reference Manual for a lisp implementation of a model elimination theorem prover for full first order logic as well as context logic. This is a small, but fairly efficient theorem prover based on Stickel's PTTP (prolog technology theorem prover) method. It should be easy to extend and easy to embed in a larger application. The code is available, but no longer as a single distributed source file.
Prolog to KIF translation including

description of the Ontolingua translation into Prolog
simple Prolog program to translate from Prolog into KIF.
Prolog implementation of a model elimination theorem prover for full first order logic. This is a small, but fairly efficient theorem prover based on Stickel's PTTP (prolog technology theorem prover) method. It should be easy to extend and easy to embed in a larger application.

available through the Fraunhofer Institute IAO in Stuttgart.
AI Magazine Calendar of AI conferences and events.: This is a very useful resource.
ACM SIGART Conference Calendar.: This is a very useful resource.

Last modified: Thursday December 18, 1997