RE: rdf as a base for other languages from Ziv Hellman on 2001-06-07 (www-rdf-logic@w3.org from June 2001)

From: Ziv Hellman <ziv@unicorn.com>
Date: Thu, 7 Jun 2001 12:10:29 +0200
To: "pat hayes" <phayes@ai.uwf.edu>
Cc: <www-rdf-logic@w3.org>
Message-ID: <6194CD944604E94EB76F9A1A6D0EDD2310D782@calvin.unicorn.co.il>

>I agree that would be a desirable goal. BTW, the 'A-/T-box' 
>terminology was originally used to distinguish assertions from 
>definitions (of concept vocabulary) , which isnt quite exactly the 
>same as the ground-fact/rule distinction. 
>

Could you elucidate the distinction between definitions and assertions,
and explain how this differs from ground-fact/rule?

Received on Thursday, 7 June 2001 05:11:35 UTC