Subject: [LC response] To Daniel Barclay
Thank you for your comment
on the OWL 2 Web Ontology Language last call drafts.
In the relevant UML definition an enumeration of individuals is associated with a set of individuals. The definition of structural equivalence is based on the equivalence of these sets. As discussed in Section 2.1 , sets written in a concrete syntax (such as the functional syntax) are not necessarily expected to be duplicate free, but duplicates should (in the RFC 2119 sense) be eliminated when ontology documents written in such syntaxes are converted into instances of the UML classes of the structural specification, i.e., during parsing.
The wording you mention is not part of the formal definition of enumerations of individuals but is intended to provide an informal and intuitive explanation of the meaning of this piece of syntax. We were aware of the possible confusion between UML classes/instances and ontology classes/instances and were careful to ensure that we explicitly say "UML Class" or "instance of UML Class" whenever we are referring to the former. We now explicitly mention this, as well as clarifying some other issues related to the use of UML, in Section 2.1 . To review these changes please refer to the relevant diff .
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
Section 8.1.4, Enumeration of Individuals, says: An enumeration of individuals ObjectOneOf( a1 ... an ) contains exactly the individuals ai with 1 ≤ i ≤ n. Is that wording sufficient to specify whether a ObjectOneOf construct that lists N Individual constructs (strings matching the Individual non-terminal) implies that the enumerated set contains N individuals or just implies that the set contains the N or fewer individuals denoted by the N Individual constructs (e.g., if the same IRI is specified twice (either with the exact same IRI non-terminal or two different IRI non-terminals that represent the same IRI))? (I can't quite tell. I don't yet know the structural equivalence rules, to know whether they resolve that apparent ambiguity. Also, it's not always clear when words like "individual" and "class" refer to the structural objects (those given in UML) that represent descriptions of individuals and classes, etc., vs. when they refer to the described individuals and classes themselves (which I would think would at least partly be left for the semantic specifications (thinking of owl:sameAs)).)