W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

Re: Issue #danc-04 add a triviallyTrue predicate

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 28 Apr 2003 15:56:15 -0500
Message-Id: <p05210609bad34531bdfd@[10.0.100.12]>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:03 EDT