Re: ANSI standards and knowledge representationGio Wiederhold <firstname.lastname@example.org>
Date: Sat, 20 Aug 94 22:36:09 EDT
From: Gio Wiederhold <email@example.com>
To: Erik Sandewall <firstname.lastname@example.org>
Cc: email@example.com, firstname.lastname@example.org (gio direct)
Subject: Re: ANSI standards and knowledge representation
In-reply-to: Your message of Thu, 18 Aug 94 17:41:10 +0200
Sorry forthe incomplete message, my communication (from Idaho ...) went n the
Any practical language needs extension over FOL.
The variety of possible extensions is not enumerable
A language that would aloow principled extensions would be attractive.
To handle extensions would of course require a commonly agrre way for
The extensions should be labelled, so that receiver can determine if
it/he/she cab handle the extesion (like KQML ontologies)
An interesting resarch issue is the determination which extensions are
complementary, redundant, conflicting ...