Proposed response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0049.html

Comments from Lacy Lee on OWL Reference:
http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0049.html

 > OWL Language Reference Comments
 >
 > Minor editorial suggestions:
 >
 > Section 1.1, change "This document" to "That document" or fully qualified
 > name to reduce confusion.
 > Section 1.1, change "uses cases" to "use cases".
 > Section 3, "Note" first sentence appears to be combination of two 
separate
 > sentences?
 > Section 3.1.1, example would be easier to understand if it was a 
named class
 > "Continent".
 > Section 4.2, change "with as both" to "with both".
 > Section 4.3, change "the a range" to "the range".
 > Section 5.2, change "where class" to "where a class".
 > Section 7.1, change "property is OWL DL" to "property in OWL DL".
 > Section 8.3, the tabs in the example should be lined up differently 
to show
 > indentation at the same levels.

Thanks very much for spotting these. We will make the appropriate
changes in our editor's draft.

 > More substantive comments/questions:
 >
 > Section Numbering: I'm not sure what the W3C format restrictions are, 
but it
 > would be easier to "reference" sections of this reference document if
 > headings were numbered below the 3rd level.

We will number all heading levels.

 > The examples in section 3.1.3 for the intersectionOf and unionOf 
properties
 > don't seem like they represent typical uses of the properties 
(manipulating
 > explicit enumerations).

The enumeration examples were used to make clear to the user what the
difference is between union and intersection, but it is true that these
are not typical. We will consider replacing these with more typical
examples.

 >
 > The text in section 3.2.2 appears to suggest that the equivalentClass
 > statement is required to define an enumerated class, rather than just 
naming
 > a type 2 enumeration like the one described in section 3.1.1.

I assume you mean Sec. 3.2.3 instead of 3.1.1, where there is indeed
a named enumeration. We will add a link to the enumeration example in
3.2.2, pointing to the alternative representation in 3.2.3.

 >
 > Section 4.1's NOTE: says in OWL DL the domain and range of the 
subPropertyOf
 > property must be either both datatype properties or object 
properties, but I
 > would think the note would also apply to OWL Lite?

By default, all OWL DL notes also apply to OWL Lite. OWL Lite is
specified in Reference in terms of explicit restriction on OWL DL (see
Sec. 8.3). We will make this clearer in the text.

 >
 > Section 4.2 states that owl:inverseOf is a symmetric property.  Does it
 > really mean that defining one direction is sufficient to infer that the
 > inverse property has the described property as its inverse property? 
  That's
 > a different notion than the owl:SymmetricProperty construct.
 >

owl:SymmetricProperty is normally used for user-defined
properties. The remark in Sec. 4.2 is meant to day that in a metamodel 
of OWL
the built-in owl:inverseOf property carries the semantics of
owl:SymmetricProperty.

 > Section 5.2 describes owl:AllDifferent as a "special OWL class" . 
 From the
 > NOTE, it's not clear whether the domain of the owl:distinctMembers 
property
 > is restricted to the owl:AllDifferent class.

Yes, this restriction applies. See Appendix B:

[[
<rdf:Property rdf:ID="distinctMembers">
   <rdfs:label>distinctMembers</rdfs:label>
   <rdfs:domain rdf:resource="#AllDifferent"/>
   <rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>
]]

 >
 > Section 6.2, it isn't clear whether "owl:DataRange" is a "special OWL 
class"
 > like "owl:AllDifferent".

owl:DataRange is a special class in the sense that it is introduced to
provide a type for these OWL datatypes.

 >
 > Section 7.1 introduces the concept of annotations.  I don't recall them
 > being described in the overview or guide, so a one sentence
 > definition/introduction would be helpful.  Also, it's confusing why "an
 > explicit typing triple" with a particular form is specified rather than
 > providing example owl syntax.

We will add an explanatory sentence to the start of this section.

I'm not sure what  you mean with the last sentence. The document
contains the following example:

[[
Here is an example of legal use of an annotation property is OWL DL:

<owl:AnnotationProperty rdf:about="&dc;creator"/>

<owl:Class rdf:about="MusicalWork">
   <rdfs:label>Musical work</rdf:label>
   <dc:creator>N.N.</dc:creator>
</owl:Class>
]]

This is OWL RDF/XML syntax and produces the explicit type triple
(dc:creator rdf:type owl:AnnotationProperty.)

 >
 > Section 7.4 has an example of DeprecatedProperty whose comment references
 > its inverse property "drives".   However, the inverseProperty still
 > references the deprecated class.  I would expect the inverseOf 
property to
 > be specified as part of the dying hasDriver property.
 >

As it is right now, once the "hasDriver" property went away, you
would have to remove the inverseOf property from "drives", but until
then the reference is perfectly legal. With your suggestion, one could
just delete the deprecated property and not need to update anything
else. For this reason, your suggestion may be be better from a stylistic
point of view.

We propose to change the example to:

<owl:Ontology rdf:about="">
   <rdfs:comment>Vehicle Ontology, v. 1.1</rdfs:comment>
   <owl:backwardCompatibleWith
           rdf:resource="http://www.example.org/vehicle-1.0"/>
   <owl:priorVersion rdf:resource="http://www.example.org/vehicle-1.0"/>
</owl:Ontology>

<owl:DeprecatedClass rdf:ID="Car">
   <rdfs:comment>Automobile is now preferred</rdfs:comment>
   <owl:equivalentClass rdf:resource="#Automobile"/>
   <!-- note that equivalentClass only means that the classes have the same
        extension, so this DOES NOT lead to the entailment that
        Automobile is of type DeprecatedClass too -->
</owl:DeprecatedClass>

<owl:Class rdf:ID="Automobile" />

<owl:DeprecatedProperty rdf:ID="hasDriver">
   <rdfs:comment>inverse property drives is now preferred</rdfs:comment>
   <owl:inverseOf rdf:resource="#drives" />
</owl:DeprecatedProperty>

<owl:ObjectProperty rdf:ID="drives" />

 > Section 8 describes the differences in OWL species, however I have 
not seen
 > whether the intended species is ever formally specified in documents. 
  For
 > example, the OWL namespaces referenced by OWL Lite ontologies appear 
to be
 > the same ones for OWL Full.

The formal specification of the OWL species is defined in the OWL
Semantics & Abstract Syntax document. The WG has opted for sticking to
one namespace the three species, as there is a strict sublanguage
relation between these.


Thanks again for your review.
Please let us know whether these answers are satisfactory.

Thanks again for your comments,
Guus Schreiber

-- 
NOTE: new affiliation per April 1, 2003

Free University Amsterdam, Computer Science
De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Tel: +31 20 444 7739/7718
E-mail: schreiber@cs.vu.nl
Home page: http://www.cs.vu.nl/~guus/ [under construction]

Received on Thursday, 24 April 2003 07:41:51 UTC