- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 28 Apr 2003 15:56:15 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: w3c-rdfcore-wg@w3.org
>On Fri, 2003-04-25 at 14:41, pat hayes wrote: >> >Dan, >> > >> >Could you explain in a bit more detail what you're asking for? >> >I'm having trouble understanding how an 'rdfs:triviallyTrue' >> >predicate might work. > >You're thinking too hard, Danbri. It's just a predicate >where every possible statement using this predicate is true. > IEXT(I(rdfs:fyi)) = IRxIR Entailment rule (no antecedent): add aaa rdfs:fyi xxx . > > >http://lists.w3.org/Archives/Public/www-rdf-comments/2003AprJun/0085.html >> > >> >>Consider adding to RDFS a triviallyTrue predicate; >> >>specification: >> >> >> >> ?S rdfs:triviallyTrue ?O. >> >> >> >>is true for all ?S and ?O. >> >> >> >>Rationale: >> >> >> >>(1) jeremy's digital signature application needs >> >>to number bnodes > >He seems to be content working with existing mechanisms. > >> >>(2) folks are asking for all uses of rdfs:comment >> >>to be vacuously true. This would provide that >> >>functionality. >> > >> >In particular, I don't yet understand how this would relate to >> >the rdfs:comment concern. Is the idea that it should be >> >impossible to assert something false with an rdfs:comment >> >in the predicate role of a statement? > >No, but to the folks who want that to be the case, we >tell them "don't use comment for that; use triviallyTrue". > >perhaps rdfs:note would be a good name for it. >or rdfs:fyi. I like rdfs:fyi, hard to confuse with anything else, no baggage. > >> >(in which case, trivially true seems to be a class of >> >properties...?) >> >> Good point. How about having TriviallyTrue be a class of properties? > >That's more complicated than what I'm asking for. OK, I withdraw the suggestion. I agree it would be trivial to add rdfs:fyi. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Monday, 28 April 2003 16:56:21 UTC