Inge Nordb| <>
Date: Tue, 15 Dec 1992 05:55:46 +0000
X400-Mts-Identifier: [/PRMD=uninett/ADMD= /C=no/;921215125546]
X400-Content-Type: P2-1984 (2)
Content-Identifier: 920
Conversion: Prohibited
From: Inge Nordb| <>
Message-id: <"920*/G=Inge/S=Nordbo/OU=delab/O=sintef/PRMD=uninett/ADMD= /C=no/"@MHS>
To: ontolingua <>
Subject: krss
I am working in a European research project aiming at developing a
support environment for building complex applications characterized
with time dependent data, uncertainty and incompleteness, (UNITE).
The approch is to integrate different reasoning schemes for
handling the different aspects of knowledge both by a common facts
base (weak integration) and integrated reasoning schemes on a
common knowledge representation language (strong integration), and
I find the knowledge sharing effort very interesting.

I have stuff on the KIF, ontolingua and the KQML.
Could anyone tell me where I can get information about the
knowledge representation system specification ?

Inge Nordbo