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: <>
To: www-rdf-logic@w3.org
Cc: jim@spatial.maine.edu

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.

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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:34 UTC