docs w/ ptrs to vocab, axioms from Jim Farrugia on 2001-04-05 (www-rdf-logic@w3.org from April 2001)

From: Jim Farrugia <jim@spatial.maine.edu>
Date: Thu, 05 Apr 2001 13:17:12 -0600
To: www-rdf-logic@w3.org
Cc: jim@spatial.maine.edu
Message-Id: <4.3.1.0.20010405130138.00c5b610@mail.spatial.maine.edu>

Hi,

Near the end of the exposition at http://www.w3.org/DesignIssues/Logic.html
the author suggests that one way forward for standards would be to allow

"each document and message on the semantic web to have a pointer to the 
vocabulary [it] uses, including its varieties of logical connectives and 
their [associated] axioms"

Are people actively investigating this approach?

Thank you.

Jim

Received on Thursday, 5 April 2001 12:48:51 UTC