Subject: [LC response] To Daniel Barclay
Thank you for your comment
on the OWL 2 Web Ontology Language last call drafts.
We appreciate your careful reading of the document, and have made the necessary corrections.
Please acknowledge receipt of this email to <mailto:email@example.com> (replying to this email should suffice). In your acknowledgment please let us know whether or not you are satisfied with the working group's response to your comment.
on behalf of the W3C OWL Working Group
CUT AND PASTE THE BODY OF THE MESSAGE (I.E. FROM "Dear" TO "Group") INTO THE BODY OF AN EMAIL MESSAGE. SET THE To:, CC:, AND Subject: LINES ACCORDINGLY.
PLEASE TRY TO REPLY IN A WAY THAT WILL ALLOW THREADING TO WORK APPROPRIATELY, I.E., SO THAT YOUR REPLY CONTINUES THE THREAD STARTED BY THE ORIGINAL COMMENT EMAIL
Here is some editorial feedback on the OWL 2 New Features working draft currently at http://www.w3.org/TR/owl2-new-features/ (http://www.w3.org/TR/2009/WD-owl2-new-features-20090611/) : * Section 2.1.1 says: A :Lobe is exclusively either a :FrontalLobe, :ParietalLobe, :TemporalLobe, :OccipitalLobe or a :LimbicLobe and cannot be both of them. - "Both" doesn't make sense for more than two things. Should be something like "... cannot be more than one of them." - This list is not parallel: two items have "a" and three do not. * Section 2.1.2 says: ... it does not provide a construct for directly asserting values of a property that an individual does not have (negative facts). - Is ambiguous or at least hard to understand--sounds like referring to a _property_ that an individual does not have (vs. to property _values_ that the individual does not have). * Section 2.1.2 says: NegativeObjectPropertyAssertion (resp. NegativeDataPropertyAssertion) states that a given property does not hold for the given individuals. - "Respectively" doesn't apply. Should be something like NegativeObjectPropertyAssertion and NegativeDataPropertyAssertion) state ..." * Section 2.1.2 says: ... (e.g. Left lung vs Right lung) - The "e.g." should have a comma after it. - * There are another 11 occurrences of that problem. (Try searching for the stringfor "e.g. ".) - The "vs" should have a period (full stop) after it. * Section 2.2.1 says: ... processes that auto-:regulate themselves. - Should be "... auto-:regulate ..." * Section 2.2.2 says: ObjectMinCardinality, ObjectMaxCardinality, and ObjectExactCardinality (DataMinCardinality, DataMaxCardinality, and DataExactCardinality) allow ... - The parentheses don't make sense. Should be something like: ObjectMinCardinality, ObjectMaxCardinality, ObjectExactCardinality, DataMinCardinality, DataMaxCardinality, and DataExactCardinality .. or: ObjectMinCardinality, ObjectMaxCardinality, and ObjectExactCardinality, and DataMinCardinality, DataMaxCardinality, and DataExactCardinality ... * Section 2.2.2 says: ... non negative ... - That should be "... non-negative ..." ("non" is a prefix, not a word). - * There are five other occurrences of that problem. * Section 2.2.2 says: ... where n is a non negative integer, OPE an object property expression, and [ CE ] 0 or one class expression. - That would be clearer, especially around the "and [ CE ] 0 or one" part, if the verb "is" were retained, as in: ... where n is a non negative integer, OPE is an object property expression, and [ CE ] is 0 or one class expression. - There roughly two dozen other occurrences of that pattern. - It would also be clearer if the zero were written as the word zero (as it is in, e.g., section 2.1.3) - * There about about 15 other occurrences of that pattern. * Section 2.2.2 says: ... it has exactly one direct part of each specific type frontal, parietal, temporal, occipital, limbic lobe ... - Some punctuation (or words) seem to be missing). * Section 2.2.3 says: While OWL 1 allows to assert that ... - Should be "While OWL 1 allows assert that ..." or "While OWL 1 allows one to assert that ..." Section 2.2.3 says: ... - that is the property holds for all the individuals. - The "that is" should have a comma after it. - * There are four other occurrences of that problem. * Section 2.2.3 says: Everything has the same blood group as himself. That should be either: Everything has the same blood group as itself. or: Everyone has the same blood group as himself. * Section 2.2.3 says: Note: there are ... - The word after "Note: " should probably be capitalized (as it is in other notes in the document). - * There is another occurrence in the same section. * Section 2.2.3 says: ... asymmetry e.g., for ... - The abbreviation "e.g." needs to have a comma before it (or be after other appropriate punctuation). - * There are many other occurrence of that pattern. If you can perform a regular expression search, the regular expression "[a-z] e\.g\." (or "^, e\.g\.") should find them. I'm going to have to abbreviate the rest of these comments. Here's the key to the format below: - top-level items: - "**" indicates something that seems to be an error (typo, grammar problem, usage error, etc.) - "*" indicates something that probably could be significantly clearer (but is not an error) - "*?" indicates something that looks wrong, but which might be correct - the following text is (well should be) what the document text says - nested items: - "-" gives a brief hint at what the (or a) problem is - when it is just quoted text, it points out the problem or gives replacement text ** "Many applications, which dscribe complex structures" - "dscribe" ** "(e.g., [OBO] [RO])." - should say something in the text, not just in the brackets; for example, elsewhere the document says "in UML [UML]" ** "reasoning (see for example [FMA])." - same type of problem as previous item ** the theory of [EL++] [EL++ Update]. - same type of problem as previous items ** "interpretations: for example it should be" - "... for example, it ..." ** "allowing to state" - should be "allowing one to state" or "allowing stating" ** "by both two different properties of the set" - "both two" * "contiguousTo" - If that is a made-up example, "contiguousWith" would probably be better. (I've only heard "contiguous with" in English, not "contiguous to.") ** "like uncle could be defined" - "as uncle could be defined" ** "defined, hence, it is" - "defined; hence, ..." ** (e.g.; is:locatedIn) along another property (e.g.; partOf) - "e.g.;" should be "e.g.," - "is:locatedIn" should be "isLocatedIn", right? ** "Each registered patient [...], is uniquely" - "Each registered patient [...] is uniquely" (Commas don't belong subject and the verb (unless they are part of subject phrase or part of the verb phrase).) ** "For example, one could state that every person has an age which is an integer but not to restrain the range of that datatype to say that adults have an age greater than 18." - "one could states ... but not to restrain" should be "one could states ... but restrain" - "an age which is an integer ..." should be "an age that is an integer ..." or "an age, which is an integer, ..." ** <bullet> Extra datatypes - The "Extra datatypes" seems to be intended to be a section heading effectively "over" the following paragraph, but it is actually formatted as a bullet, making in nested under the previous paragraph. ** <bullet> Datatype Restrictions - ditto * "DatatypeRestriction makes it also possible to ... " - probably "DatatypeRestriction also makes it possible to ... " ** "In OWL 1 it is not possible to represent relationships between values for one object, e.g., a square is a rectangle whose length equals its width." - probably " to represent relationships between values for one object, e.g., to represent that a square is a rectangle whose length equals its width." ** "The Data Range Extension: Linear Equations Note proposes ..." - probably "The Data Range Extension: Linear Equations note proposes ..." ** "allows to define" - "allows defining" or "allows on to define" - two occurrences ** "to define a new class by a class description" - "to define a new class with a class description" ** "explicitely" - "explicitly" - two occurrences ** "For ease of writing, reading, maintaining ontologies, OWL 2 provides" - "For ease of writing, reading, and maintaining ontologies, ..." * "datatypes that occur a couple of times in an ontology" - better, something like "datatypes that are used multiple times in an ontology" ** "However OWL 2 DL still imposes certain restrictions: " - "However, OWL 2 DL still imposes ..." (Without the comma, is sounds like the meaning of "however" in "However you represent it, I'll read it.) * In the HTML tables in the examples (especially see SubAnnotationPropertyOf), the cell contents are not top-aligned, letting the text sometime be rendered like this (view this message in a fixed-width font): * HCLS The property :narrow synonym is a subproperty of :synonym. OBO ontologies, in SubAnnotationPropertyOf (:narrow_synonym particular Gene Ontology, :synonym ) (UC#5) distinguish different kinds of synonyms: exact_synonym, narrow_synonym, broad_synonym. - That alignment is confusing. Use "vertical-align: top" (I think) - "distinguish different kinds" should probably be "distinguish between different kinds" ** "allows extralogical information, such as a label or a comment, to each ontology entity" - something missing ("add"?) ** "OWL 2 allows to annotate ... " - "... allows annotating ..." (or "... allows one to annotate ...") * "provides the construct AnnotationAssertion for annotations of ontology entities" - probably should be "annotation of ontology entities" or "annotations on ontology entities" ** "The IRI ... is annotated with the rdfs:label annotation property by the human-readable label ..." - something around "by" is wrong; as written, it says that the label annotated the IRI with the property. - should be something like: "The IRI ... is annotated with the human-readable label ... using the rdfs:label annotation property" ** "The IRI FMA:Heart of the FMA is annotated with the annotation property FMA:UWDAID by the integer 7088 (its FMA Id)." - similar *? "Middle lobe of lungs are necessary right lobe since left lung do not have middle lobe." - What that supposed to be this?: Middle lobes of lungs are necessarily right lungs since left lungs do not have middle lobes. *? "These special axioms have no semantic meaning in the OWL 2 Direct Semantics, but carry the standard RDF semantics in the RDF-based Semantics (via their mapping to RDF vocabulary)." - "their mapping" or "the mapping"? ** "OBO ontologies, in particular Gene Ontology, distinguish" - "... in particular the Gene Ontology, ..." ** "associates an entity category (class, datatype, object property, data property, annotation property, or individual) to" - "associates an entity category ... with" * "OWL 2 provides in addition top and bottom object and data properties" - probably clearer as: OWL 2 aso provides top and bottom object and data properties ... or: In addition, OWL 2 provides top and bottom object and data properties ... ** "ASCII only included" - "ASCII only includes" (ASCII still exists, so present tense would seem to be better) ** "This axiom does not contain an individual name for the address, so the introduced individual is an anonymous individual." - there is no address (e.g., street name and number) ** "This ease of writing ontologies spares from having to name an inverse." - "spares" doesn't seem to make sense; "ease ... comes from" would work * "this expression represents the inverse property of :partOf" - probably clear as "represents :hasPart" ** "concerned by" - should be "concerned with" ("concerned by" can be correct, but has a different meaning) - three occurrences * "Other applications feel concerned ..." - probably better as "Other applications are concerned ..." ** "e.g.; the FMA, NCI Thesaurus, SNOMED CT, Gene Ontology or some OBO ontologies" - probably the "or" should be "and" * The last paragraph in section 3.1 seems out of place. It introduces OWL 2 profiles, but they were already introduced in the preceding paragraphs. * "syntactical" - could be simply "syntactic" - several occurrences *? "existential quantification to a class expression or a data range" - Is it really "quantification to" or is it "quantification of"? - several occurrences ** "Missing features include ... class negation and many other features, see the precise list of missing features." - "... features; see ..." ** "... too much expressive power OWL 2 EL is a language ... " - needs period: "... power. OWL ..." ** "OWL 2 EL enables efficient implementations , E.g., CEL [CEL] is the first reasoner for ..." - space before comma - "E.g." -> "e.g." ** "and (most of) expressive power of" - "and (most of) the expressive power of" ** "etc.; Missing features are" - "etc. Missing features are" ** "asymmetric properties, keys, see" - "asymmetric properties, keys; see" ** "OWL 2 QL supports the same class axioms as in the structural specification [OWL 2 Specification], except DisjointUnion which is disallowed;" - "disallowed." - "except DisjointUnion, which is disallowed ** "This profile his suited" - "... is suited" ** "on top of standard relational database" - "on top of standard relational databases" ** "the NCI thesaurus;" - "the NCI thesaurus." ** "existential quantification to a class, which often occurs in Life Sciences ontologies (e.g., SNOMED) or union of class expressions (ObjectUnionOf) are not allowed" - needs comma before "are not allowed" (to pair with comma before "which" ** "These restrictions prevent from infering the existence of non named individuals which makes it possible to implement reasoners using rule-based inference engines...." - "prevent inferring" - "non-named" - probably "... individuals, which ..." ** rule extended DBMS e.g., SQL - "rule-extended DBMS" - "... DBMS, e.g., ..." - multiple occurrences ** "triples, E.g., Oracle" - "e.g.," ** "the priority to reasoning on classes or data" - "... priority of reasoning ... " (or "... priority given to reasoning ... "_ ** "scalability etc" - "scalability, etc.," ** "For instance, those who look for: ... reasoning, may prefer ...; ... task, may prefer ...; ... task, may prefer ..." - shouldn't have commas between subject and verb ** "is the RDF/XML Syntax [RDF/XML] which is the only syntax ..." - "... Syntax [RDF/XML], which ..." ** "the Functional Syntax main purpose" - "the Functional Syntax's main purpose" ** "motivated by the desire of better interoperability" - "desire for" ** "all the syntaxes of OWL 2, normative and non normative." - "non-normative" ** "first order logic" - "first-order logic" ** "Manchestersyntax" - "Manchester syntax" ** "Concerning the usability of the abstract syntax in OWL 2, if used as an exchange syntax then, OWL 1 ontologies written in AS may be input ..." - ontologies are not used as an exchange syntax (which is what "if used as an exchange syntax then, OWL 1 ontologies ... may be input" says); should say something like "... if it is used ..." *? "called XML_Serialization OWL/XML" - doesn't look right, but I can't tell what was meant ** "schema aware editors" - "schema-aware editors" ** "the XML savvy user" - "the XML-savvy user" ** "blocks of OWL 2 were already present in OWL 1, albeit possibly under a different name." - should be "... under different names" ** "the set of inferences are the same." - "the set ... is ..." ** "... numbers F1 to F15. (the choice done aims at conciliating an easy understandable illustration - "... (The ..." - "the choice done" doesn't make sense; perhap something like "the chosen arrangement"? - "easily" - "conciliating" doesn't seem right (It _sounds_ like a mistranslation of a thought into English, but it could be that I'm not familar with that use of the word.) ** ":ParietalLob " - ":ParietalLobe " ** A few phrases are quoted with single quotes, although most are quoted with double quotes. ** "Anatomy, together with Gene and Disease reference ontologies constitute ..." - needs be either pattern "A, together with B, is ..." or "A and B are ..." (or something equivalent); "together with" doesn't make a plural subject, and there needs to be either zero or two commas (not just one) - "Anatomy" probably should be "The anatomy ontology" or "FMA" ** "upper level ontology" - "upper-level ontology" ** "A new OWL language feature such as qualified cardinality restriction, would be" - Commas don't belong subject and the verb (unless they are part of subject phrase or part of the verb phrase). ** "reflexixe" - "reflexive" ** "The Association Class, e.g., the association between classes Person and Company allows" - needs comma: "Company, allows" * "The document is not expected to change significantly, going forward." - the comma seems unnecessary ** "Readers may selectively Show or Hide the Examples and the Functional Syntax (FSS) or the RDF Syntax in the Examples" - "Readers may selectively show or hide ..." (at that point, "show" and "hide" are plain old words, not button/link labels (where capitalization is normal)) * "Since all these constructs are simply shorthands they do not ... " - probably better with comma: "... shorthands, they ..." *(?) ":boundedTo :Hydrogen ... Class of objects bounded to ..." - "bounded to" doesn't make sense; is ":boundedTo" correct, or should it be ":bound" or ":bondedTo"? (Please excuse any uncorrected errors in my error corrections.) Daniel -- (Plain text sometimes corrupted to HTML "courtesy" of Microsoft Exchange.) [F]