- From: Hans Teijgeler <hans.teijgeler@quicknet.nl>
- Date: Fri, 29 Jun 2007 09:52:48 +0200
- To: "'Denny Vrandecic'" <dvr@aifb.uni-karlsruhe.de>, "'Alan Ruttenberg'" <alanruttenberg@gmail.com>
- Cc: "'OWL list'" <public-owl-dev@w3.org>
Hi Denny, Small correction: it is rdfs:label, one of the five predefined OWL annotation properties. Regards, Hans PS Nothing wrong with in-depth reading :-) , but granted, the Recommendations aren't easy to read. -----Original Message----- From: public-owl-dev-request@w3.org [mailto:public-owl-dev-request@w3.org] On Behalf Of Denny Vrandecic Sent: Thursday, June 28, 2007 23:43 To: Alan Ruttenberg Cc: OWL list Subject: Annotation entailment! OK, I checked the specs, and Alan is correct. OK, I can't derive it from the specs (this would require some in-depth reading), but actually there are normative test cases that answer the question pretty clearly (referenced below). So, owl:sameAs does indeed carry annotation property entailments, i.e. ex:A rdf:label "Grue". ex:A owl:sameAs ex:B. -------------------- ex:B rdf:label "Grue". *does* hold. Furthermore, ex:A rdf:label "Grue". ex:A owl:equivalentClass ex:B. ---------------------------- ex:B rdf:label "Grue". does *not* hold, but ex:A rdf:type owl:Class. ex:B rdf:type owl:Class. ex:A rdf:label "Grue". ex:A owl:sameAs ex:B. ----------------------- ex:B rdf:label "Grue". *does* indeed hold, but only in OWL Full (it's not a valid OWL DL ontology). I guess ex:A rdf:label "Grue". ex:A owl:equivalentProperty ex:B. ---------------------------- ex:B rdf:label "Grue". does not hold as well. I find the fact that sameAs and equivalentClass are treated differently with this respect unintuitive, but at least it is well specified :) A well defined spec is the next best thing to an intuitive spec. Thanks for your help, denny Here are the test cases I derived this from: <http://www.w3.org/TR/owl-test/byFunction#function-sameAs> <http://www.w3.org/TR/owl-test/byFunction#function-equivalentClass> Zitat von Alan Ruttenberg <alanruttenberg@gmail.com>: > > I have recently understood it to be the case that this *is* entailed. > However, I don't think that it is desirable, and it seems to be the > case that there is no OWL-DL reasoner that attempts to be sound and > (otherwise) complete that implements this behavior, at least that I'm > aware of. > > What do you think of this behavior? Is it is what you expected or > wanted? If so, I'd be interested hearing about your use case. > > Until recently it was my (flawed) understanding that statements > involving annotation properties were to be ignored by a reasoner. > > -Alan > > > On Jun 27, 2007, at 6:06 PM, Denny Vrandecic wrote: > >> >> Does >> ex:A rdf:label "Groo". >> ex:A owl:sameAs ex:B. >> entail >> ex:B rdf:label "Groo"? >> >> i.e. are annotation property instances connected to the URI or the >> underlying individual? >> (And respectively for classes and properties) >> >> Wondering, >> denny >> >> > > > No virus found in this incoming message. Checked by AVG Free Edition. Version: 7.5.476 / Virus Database: 269.9.12/878 - Release Date: 28-Jun-07 17:57 No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.5.476 / Virus Database: 269.9.12/878 - Release Date: 28-Jun-07 17:57
Received on Friday, 29 June 2007 07:53:11 UTC