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

Re: docs w/ ptrs to vocab, axioms

From: Jim Hendler <jhendler@darpa.mil>
Date: Thu, 5 Apr 2001 13:04:18 -0400
Message-Id: <v0422081eb6f255684f1b@[158.63.202.99]>
To: Jim Farrugia <jim@spatial.maine.edu>, www-rdf-logic@w3.org
Cc: jim@spatial.maine.edu
At 1:17 PM -0600 4/5/01, Jim Farrugia wrote:
>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

For what it's worth - I've been trying to show that idea on my home 
page, as part of the Sem Web evangelism I've been doing -- try the 
icons on top right
http://www.cs.umd.edu/users/hendler -- demos how to do that for 
documents in both the SHOE and DAML+OIL langauges.  (HotDAML logos 
avaiable from daml.org)
  -JH



Dr. James Hendler		jhendler@darpa.mil
Chief Scientist, DARPA/ISO	703-696-2238 (phone)
3701 N. Fairfax Dr.		703-696-2201 (Fax)
Arlington, VA 22203		http://www.cs.umd.edu/~hendler
Received on Thursday, 5 April 2001 13:04:14 GMT

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