RE: XML Schema

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
>
>
>