- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Tue, 20 Jan 2009 15:42:07 +0000
- To: OWL 2 <public-owl-wg@w3.org>
I fulfilled an action a long time ago to show how I would prefer the annotated bibilography to be presented. Is there feedback? I don't find section 3 or 5 to be good to include. Btw, at least one of the use cases isn't a use case: http://www.w3.org/2007/OWL/wiki/New_Features_and_Rationale#Use_Case_. 2312_.E2.80.93_Prot.C3.A9g.C3.A9_report_on_the_experiences_of_OWL_users_ .5BTool.5D There's no use case in there, just feature requirements. Furthermore, I'm unclear why various productions are repeated. I don't like seemingly normative text in more than one place. Also, we have Yet Another Set of Examples. I'm not against examples, per se, but I'm unclear what the role of these examples are. They aren't part of a whole ontology. They seem to exist for every feature but often not in an illuminating way. For example: """The following examples are some examples of Object Property Cardinality Restrictions from Use Cases among many in HCLS. ExactCardinality( 1 hasDirectPart FrontalLobe ) (UC#1) Class of objects having exactly one direct part of type frontal lobe. MinCardinality( 5 hasDirectPart owl:Thing ) Class of objects having at least 5 direct part. While in OWL 1 it was only possible to express that a Brain Hemisphere has at least 5 direct part but not that it has exactly one direct part of each type: frontal, parietal, temporal, occipital, limbic lobe, as needed in UC#1), both statements are possible in OWL 2 (see above).""" This is pretty good because it illustrates the difference. I could imagine more text here and a pointer to the work around drafts. But: """ * Automotive industry MaxCardinality( 5 hasPart Door ) (UC#4) Class of objects having atmost 5 Door ExactCardinality( 2 hasPart RearDoor ) (UC#4) Class of objects having exactly 2 RearDoor""" This is just silly. It's not remotely Auto specific. It's not interesting and it's not convincing. And having the english transliteration seems patronizing. Then consider: """ * HCLS MaxCardinality( 1 hasSSN )""" Some errors: """ OWL 2 EL is the maximal language for which reasoning, including query answering, is known to be worst-case polynomial. It is related to the theory of [EL++] [EL++ Update]. OWL 2 QL is the maximal language for which reasoning, including query answering, is known to be worst case logspace (same as DB). """ Anything which says "THE maximal" followed by such general terms is almost always wrong. It's extra wrong for OWL QL because, with the removal of, e.g., sameAs it's not even maximal. (Sorry for the hit or miss, but most of these are "large flavor" comments.) Cheers, Bijan "Feeling guilty but back in the saddle" Parsia..
Received on Tuesday, 20 January 2009 15:39:10 UTC