Datatype definitions implemented

Hello,

I've just implemented datatype definitions. Some figures and styles have changed
in the style sheet, and Wiki doesn't always correctly notify clients of these
changes. Therefore, make sure you refresh your browser properly when viewing the
view versions of the documents. Here are the diffs:

Syntax:
http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=19672&oldid=19622
The changes are in Section 3 (pointer to 9.4 for one more restriction), Section
9.4 (the actual definition), and Section 11.2 (the acyclicity restriction on
datatype definitions). 

Direct Semantics:
http://www.w3.org/2007/OWL/wiki/index.php?title=Direct_Semantics&diff=19687&oldi
d=19562

RDF Mapping:
http://www.w3.org/2007/OWL/wiki/index.php?title=Mapping_to_RDF_Graphs&diff=19681
&oldid=19209
The new axiom is mapped into owl:equivalentClass.

Profiles:
http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=19676&oldid=19586
All profiles can support datatype definitions. Furthermore, note that, since we
map datatype definitions to owl:equivalentClass, no additional rules are needed
in OWL 2 RL/RDF -- that is, this features comes for free. (Who said that there
is no such thing as a free lunch? :-)

XML Schema:
http://www.w3.org/2007/OWL/wiki/index.php?title=OWL_XML_Schema&diff=19700&oldid=
16320

Please let me know should you have further comments.

Regards,

	Boris

Received on Friday, 13 March 2009 19:07:51 UTC