Re: XML Schema

This is correct. Boris already composed a response to this effect.

Thanks,
Ian


On 18 Oct 2009, at 13:52, Michael Schneider wrote:

> Hi Rinke, all!
>
>> -----Original Message-----
>> From: Rinke Hoekstra [mailto:hoekstra@uva.nl]
>> Sent: Sunday, October 18, 2009 2:14 PM
>> To: Michael Schneider
>> Cc: public-owl-wg@w3.org
>> Subject: Re: XML Schema
>>
>> Hi Michael,
>>
>> My guess is that he refers to the OWL XML serialization, not the
>> owl.owl file.
>>
>> And, he must be confused, because the XML schema for OWL XML has the
>> same restrictions as the FS&SS specification: both anonymous and  
>> named
>> individuals may appear in a SameIndividual assertion.
>
> Yes, I can see that Sec. 3.2 of the XML Serialization [1] makes the  
> same
> distinction between "OWL 2 ontologies" and "OWL 2 DL ontologies" as  
> in Sec.
> 3 of the Structural Specification [2]. Only for OWL 2 /DL/  
> ontologies the
> mentioned restrictions on anonymous individuals, as specified in  
> Sec. 11.2
> of the Structural Specification [3], need to be regarded. There is no
> requirement to regard these restrictions for OWL 2 ontologies in  
> general.
>
> So the bottom line seems to be: The XML Schema does /not/ need to be
> changed.
>
> [1]
> http://www.w3.org/TR/2009/PR-owl2-xml-serialization-20090922/#Imports_and_Gl
> obal_Conditions
> [2] http://www.w3.org/TR/2009/PR-owl2-syntax-20090922/#Ontologies
> [3]
> http://www.w3.org/TR/2009/PR-owl2-syntax-20090922/#The_Restrictions_on_the_A
> xiom_Closure
>
>> -Rinke
>
> Cheers,
> Michael
>
>> On 18 okt 2009, at 13:58, Michael Schneider wrote:
>>
>>> [posting to public-owl-wg, not to the comments list]
>>>
>>> Hi WG!
>>>
>>> Does anybody understand the comment below? By "the normative
>>> specification",
>>> Thorsten is probably referring to the syntactic restrictions of OWL
>>> 2 DL. But
>>> what does he mean by "XML Schema of OWL 2"? Does he mean the owl.owl
>>> file? And
>>> if so, what does he mean by the suggestion "to bring these
>>> constraints into"
>>> it? Let me note that the owl.owl ontology does not contain any
>>> bNodes, let
>>> alone bNodes occurring in axioms built from the mentioned language
>>> features.
>>>
>>> Michael
>>>
>>> -----Original Message-----
>>> From: public-owl-comments-request@w3.org
>>> [mailto:public-owl-comments-request@w3.org] On Behalf Of Thorsten
>>> Liebig
>>> Sent: Sunday, October 18, 2009 10:49 AM
>>> To: public-owl-comments@w3.org
>>> Subject: XML Schema
>>>
>>> According to the normative specification anonymous individuals  
>>> cannot
>>> appear in the following axioms: SameIndividual,  
>>> DifferentIndividuals,
>>> NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion.
>>>
>>> I suggest to bring this constraints into the XML Schema of OWL 2.
>>>
>>> Regards,
>>> Thorsten Liebig
>>>
>>
>>
>> ---
>> Dr Rinke Hoekstra
>>
>> AI Department         |   Leibniz Center for Law
>> Faculty of Sciences   |   Faculty of Law
>> Vrije Universiteit    |   Universiteit van Amsterdam
>> De Boelelaan 1081a    |   Kloveniersburgwal 48
>> 1081 HV Amsterdam     |   1012 CX  Amsterdam
>> +31-(0)20-5987752     |   +31-(0)20-5253499
>> hoekstra@few.vu.nl    |   hoekstra@uva.nl
>>
>> Homepage: http://www.few.vu.nl/~hoekstra
>>
>>
>>
>

Received on Monday, 19 October 2009 12:55:14 UTC