Proposed response to LC call 12 (Theorem PR1)

Hello,

Here is the response to Theorem PR1:


> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On
> Behalf Of Peter F. Patel-Schneider
> Sent: 12 March 2009 13:31
> To: public-owl-wg@w3.org
> Subject: FYI - unresolved LC Comments
> 
> LC Comments with complete draft responses, and their status
> 
> ##  Topic			Last Event
> 
>  8  Facet Values		12 Mar Incorporated new wording for Syntax
> 20  OWL-2 RL DTs (& editorial)	 3 Mar Draft Response
> 21  Various editorial and DTs	12 Mar PNG graphics for publication
> 22  OWL/RIF datatypes		11 Mar Draft Response
> 24  RIF WG on datatypes		11 Mar Draft Response
> 28  Use of OWL2 DL/OWL2 Full	11 Mar Remove paragraph on Full (TODO)
> 29  Opposing OWL/XML format	10 Mar Minor addition to reply
> 34a TopQuadrant general		 6 Mar Draft Response
> 34b TopQuadrant specific	12 Mar Updated for datatype changes
> 45  OWLlink			24 Feb Fix wording
> 48  SWD comments		11 Mar (refers to 28)
> 51b Naming data ranges, ed.	11 Mar Reflect naming data ranges
> 52b OWL naming issues		11 Mar Draft Response
> 54  Triples and OWL		10 Mar Discussion on XML
> 58  Strong typing of FS		11 Mar Remove paragraph on Full (TODO)
> 60  Syntactic Conformance	 5 Mar Draft Response
> 62  Naming of datatypes		11 Mar Change for naming data ranges
> 63  XML syntax			 6 Mar Wording changes to XML doc
> 64  Syntactic Conformance	11 Mar Tiny wording change
> 65  Datatype declarations	11 Mar Add third point
> 66  Other XML datatypes		12 Mar DISCUSSION
> 
> NB: DISCUSSION means unresolved internal discussion on what to do,
>     otherwise there is a proposed response that has no objections (yet).
> 
> 
> LC Comments without complete draft responses, and some status
> 
> ##  Topic			Last Event
> 
>  9  Examples for GRs in Syntax
> 12  RL Theorem PR1
> 17  Issue 97			23 Feb Issue resolved
> 18  OWL QL
> 19  OWL QL
> 33  SS&FS Editorial Comments
> 40  New XML Schema		11 Mar Schema ready, needs document work
> 47  Keys 1:1			 9 Mar Active DISCUSSION
> 51a Data Properties Functional	 6 Mar Negative ACK
> 52a Editorial - RDF Semantics
> 59  OWL QL sameAs

Received on Thursday, 12 March 2009 14:10:37 UTC