- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Tue, 6 May 2003 21:55:38 +0200
- To: "pat hayes <phayes" <phayes@ai.uwf.edu>
- Cc: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
I believe you and Tim are right and I tested with my http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0025.html [[ An experience that we implemented is that we create a _:x rdf:type rdf:List. triple when we load a _:x rdf:rest _:y. triple. ]] dropped and it all worked out quite well (at that time I hadn't thought about domain and range) So I also think we should accept it. -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ pat hayes <phayes@ai.uwf.edu> To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com> Sent by: cc: <w3c-rdfcore-wg@w3.org> w3c-rdfcore-wg-requ Subject: RE: timbl-03 est@w3.org 2003-05-06 06:56 PM > > I personally agree >> with Tim that these (type List) triples are redundant, and I would >> bet that the OWL stuff, even if it does need them, could be trivially >> rewritten so that it did not. I was hoping that we could get back to >> Peter and find out whether he thought the problem was serious. > > >Peter punts the problem back to me - since I am the most recent person on >record as arguing for type triples in general (in OWL DL). > >Here are my thoughts: > >1: this is merely aesthetic either way > People who don't/do want the type triples can have what they want simply >by not using the rdf:parseType="Collection" syntax (whichever way we >decide). > >2: the triples *are* redundant > It is easy to automatically add them; or for that matter, automatically >remove them. Adding them is a valid entailment. Removing them is not. There would be no reason to remove them if they had not been gratuitously added in the first place by special fiat from the syntax rules. > >3: the construct was added for OWL, and so the aesthetic judgement as to >whether they should be there or not in the convenience >rdf:parseType="Collection" syntax, should be made by WebOnt. > >4: Given that in OWL DL and OWL Lite many type triples are needed, it is, in >my opinion, more aesthetic, to have these type triples also for Lists. That seems like a VERY weak argument; it is purely aesthetic, and it is predicated on a reduction of List to a form of typing, which itself is highly arguable in OWL in any case (try selling that line to Ian and watch his face carefully). And the disadvantage for many other uses of RDF is considerable: the collection syntax - already rather overkill for many purposes but likely to be widely used because of the incredibly bad job we have done with containers - now is obliged to generate 50% more triples than it did formerly, none of which provide the slightest extra information. Given that lists are likely to be ubiquitous in many 'layerings' on top of RDF, this seems to me like a very bad decision for RDF to make on dubious aesthetic grounds in OWL. Seems to me that timbl-03 is a reasonable request which it would be trivial for us to comply with and which identifies an error we made, or maybe copied from DAML. The only reason to reject it was because, we were told, Webont needed us to reject it; and apparently Webont does not need us to reject it. So I think we should accept it. >The >need for type triples is principally to distinguish the various types of >user defined in Property in OWL Lite and OWL DL. But these triples, notably, provide absolutely no functionality of that kind. 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 Tuesday, 6 May 2003 15:57:43 UTC