- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Mon, 30 Mar 2009 16:59:18 -0400 (EDT)
- To: public-owl-wg@w3.org
General comments:
The document is very close to being acceptable for LC.
The remaining uses of "OWL 2 Full" can stay.
Terminology change:
"IRI reference" -> "absolute IRI"
Wording changes:
1:
"is based on a particular description logic" ->
"is a description logic style semantics"
2.1:
"namespace prefix and a local part" -> "prefix name and a local part"
2.2:
I suggest removing the paragraph starting "Be informed that", as it does
not add anything to the document.
3.1:
3.1: Standard Prefixes
Table 3.1 lists the standard prefix names and their prefix IRIs
used in this document.
Table 3.1: Standard Prefixes
<blank> Prefix Name Prefix IRI
3.3:
[Optional] Might be able to refer directly to XSD instead of S4 of
SS&FS.
7:
"is based on a particular description logic" ->
"is a description logic style semantics"
7.1:
"Problem" -> "Reason" multiple times
"Solution for" -> "Resolution of" multiple times
"Complete Solution" -> "Complete Resolution"
7.3:
Format the list so that doesn't have both bullets and numbers.
Reword the list element "a subgraph g of G2"
to something like "any subgraph g of G2 that is the RDF encoding ...".
Technical Changes:
1/ Align keys with treatment in direct semantics:
5.2:
owl:NamedIndividual \in IC \subseteq IR
5.2:
Remove the "Informative Note".
5.14:
Add x,y \in NamedIndividual after the "if" in the RHS of Table 5.14
2/ Still thinking about n-ary datatypes.
Received on Monday, 30 March 2009 20:57:39 UTC