RE: Representing quantification in RDF

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 UTC