syntactic sugar on OWL 1.1

The overview document, http://www.webont.org/owl/1.1/overview.html,
(remember your homework!), has a section on syntactic sugar:

*****************************

2.1. Syntactic Sugar

OWL 1.1 provides two constructs that are simply syntactic sugar, to make
some common idioms easier to write.

The first syntactic sugar construct, DisjointUnion, defines one
description as the disjoint union of a set of descriptions. It is simply
a combination of a DisjointClasses axiom and an EquivalentClasses axiom
of the first description as the union of the rest.

The second syntactic sugar construct is negative property membership
assertions NegativeObjectPropertyAssertion and
NegativeDataPropertyAssertion.

*****************************

It probably would be a good idea to revise the abstracts of the
documents.  Right now they are quite similar.   I note that the overview
version of 23 May 2007 needs a bit of work to be up-to-date.

	There will be an OWL 1.1 semantics document that formally
	defines the semantics of all of OWL 1.1, but the general intent
	is that the semantics of OWL 1.1 is the same as that of
	[SROIQ]. with a simple datatype theory.

The semantics document already exists.

peter

Received on Tuesday, 23 October 2007 16:07:52 UTC