FW: XML Schema

[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

Received on Sunday, 18 October 2009 11:59:09 UTC