Re: ANSI standards and knowledge representation

Gio Wiederhold <>
Date: Sat, 20 Aug 94 22:36:09 EDT
From: Gio Wiederhold <>
To: Erik Sandewall <>
Cc:, (gio direct)
Subject: Re: ANSI standards and knowledge representation
In-reply-to: Your message of Thu, 18 Aug 94 17:41:10 +0200
Message-id: <CMM.>
Precedence: bulk
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 ...