W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2008

Capitalization changes for top/bottom properties

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Sun, 19 Oct 2008 16:35:12 +0100
To: <public-owl-wg@w3.org>
Message-ID: <3CD047E5164647F5AA6A2EBDF28F59ED@wolf>

Hello,

I've just changed the capitalization of top/bottom properties. Here are the diffs:

Syntax:
http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=14031&oldid=14019

Direct Semantics:
http://www.w3.org/2007/OWL/wiki/index.php?title=Direct_Semantics&diff=14032&oldid=13789

RDF-Based Semantics:
http://www.w3.org/2007/OWL/wiki/index.php?title=RDF-Based_Semantics&diff=14033&oldid=13895

Profiles:
http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=14034&oldid=13931

Regards,

	Boris
Received on Sunday, 19 October 2008 15:35:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 19 October 2008 15:35:51 GMT