W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

changes to semantics document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 15 Feb 2003 17:06:34 -0500 (EST)
Message-Id: <20030215.170634.78716659.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

I have made a bunch of changes to the Semantics and Abstract Syntax
document as a result of the resolutions at the last teleconference and to
fix some issues.  The current version is, as usual, at



		Recent Changes to the Semantics Document

Per resolutions of the working group

- Title changed to Semantics and Abstract Syntax

- Literal syntax changed to be the same as in RDF, except for not allowing
  language tags on typed literals.

- Annotations changed to use annotation properties, with a special meaning.
  Lots of wording changes; modified translations.

To address issues with respect to the mapping to triples

- Limit number of arguments for some constructs
	SameIndividual		>=2 arguments
	DifferentIndividuals	>=2 arguments
	EquivalentClasses	>=2 arguments
	EquivalentProperties	>=2 arguments
  so that reverse mapping is better behaved

- Change to O(n) transformation for 

- Require that restrictions with only one component not be mapped into
  intersections, to allow a simpler characterisation of OWL Lite triple sets.

- Sharpen the distinction between datatype IDs and class IDs.

- Map from sets of ontologies, not imports closures.

To address issues related to imports

- Allow names for ontologies in the abstract syntax, and mention their
  intended meaning.

- Make imports more semantic.

To fix bugs in the document

- Wording about transitive roles and number restrictions fixed.

- Add deprecated classes and deprecated properties.

To make the direct semantics more like the RDFS semantics

- Require that entailment in the direct semantics not allow the
  introduction of new classes
Received on Saturday, 15 February 2003 17:06:42 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:51 UTC