XML Schema from Thorsten Liebig on 2009-10-18 (public-owl-comments@w3.org from October 2009)

From: Thorsten Liebig <thorsten.liebig@uni-ulm.de>
Date: Sun, 18 Oct 2009 10:49:19 +0200
To: public-owl-comments@w3.org
Message-ID: <4ADAD68F.4080409@uni-ulm.de>

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 08:49:53 UTC