W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

docs w/ ptrs to vocab, axioms

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT