changes to semantics document

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

	http://www.bell-labs.com/user/pfps/owl/semantics/

peter



		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 
	SameIndividual
	EquivalentClasses
	EquivalentProperties

- 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