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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:30 UTC