W3C home > Mailing lists > Public > www-rdf-interest@w3.org > May 2001

RE: Representing quantification in RDF

From: Danny Ayers <danny@panlanka.net>
Date: Fri, 4 May 2001 22:33:32 +0600
To: "Seth Russell" <seth@robustai.net>, "RDF-IG" <www-rdf-interest@w3.org>
Message-ID: <EBEPLGMHCDOJJJPCFHEFAEPHDEAA.danny@panlanka.net>
coincidentally I had TimBL's N3 logic page [1] on screen when I read your
mail - includes forAll & forSome

also toClass and hasClass do the same jobs in DAML+OIL [2]

that's a brilliant page you've found, BTW.

---
Danny Ayers
http://www.isacat.net

[1] http://www.w3.org/2000/10/swap/logic.n3
[2] http://www.daml.org/2000/12/reference.html#toClass-def


<- -----Original Message-----
<- From: www-rdf-interest-request@w3.org
<- [mailto:www-rdf-interest-request@w3.org]On Behalf Of Seth Russell
<- Sent: 04 May 2001 22:08
<- To: RDF-IG
<- Cc: cg@cs.uah.edu
<- Subject: Representing quantification in RDF
<-
<-
<- Does anyone have any trouble with representing quantification in the RDF
<- data model the way John Sowa represents quantification in
<- Conceptual Graphs
<- ?
<-
<- [1] http://www.bestweb.net/~sowa/cg/tut.htm
<-
<- Seth
<-
Received on Friday, 4 May 2001 12:38:50 GMT

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