new editor's draft of S&AS

There is a new editor's draft of S&AS in the usual place (follow the link
on the WebOnt home page) that has many of the changes discussed at the
informal meeting last week.

peter

PS:  Here are some somewhat idiosyncratic notes on the changes and how S&AS
     has changed to accommodate them.  These notes should only be used as a
     guide to what has recently changed in S&AS.


		Notes on Recent Changes to OWL S&AS


CHANGES from informal meeting - DONE

- OWL Lite restrictions must have exactly one component
  - to reduce complexity in recognizing OWL Lite graphs
  - changed Abstract Syntax

- OWL DL restrictions must have at least one component
  - to fix bug in mapping rules
  - changed Abstract Syntax

- wording change to transitivity vs cardinality side condition
  - changed Abstract Syntax

- required axiom for annotation properties
  - allows annotations
  - changed Abstract Syntax
  - changed Direct Semantics

- allow anonymous individuals as objects of annotations
  - changed Abstract Syntax
  - changed Direct Semantics

- type all URI references and blank nodes
  - including annotation properties and ontologies
  - changed Abstract Syntax

- list excluded vocabulary
  - don't disallow RDF container vocabulary and RDF reification vocabulary
    - need to use the vocabulary consistently
  - changed Mapping
  - *need to change RDFS semantics*

- non-recommended datatypes
  - allow other datatypes as uninterpreted datatypes
  - changed Abstract Syntax
  - changed Direct Semantics

CHANGES for other reasons

- fixes to the proofs
  - added annotations and imports
  - needed some changes to definitions

- cleanup
  - 



CHANGES - TODO

Typing (Mapping rules)
  - add owl:DataRange as well
  - even if only used the object of triple

Orphans
- allowed in DL via n=1 equivalentclasses hack
- add text on this issue in abstract syntax

OntologyProperties *UNRESOLVED*
- resolution - allow them !!

rdf:XMLLiteral *UNRESOLVED*
- proposal 1 - allow rdf:XMLLiteral as uninterpreted datatype
- proposal 2 - allow rdf:XMLLiteral as in RDF

reverse mapping
- wording from Jeremy


Issues

* Bugs in secondary description of OWL DL ontology in triples
  - e.g. - n-ary equivalence and disjointness


POTENTIAL CHANGES

Descriptions
- allow descriptions to share structure
- allows for arbitrary equivalent/different patterns
- investigate whether this can work

Questions
- can we allow arbitrary graphs of unnamed individuals? 
  - NO! - messes up direct semantics

To do
- look into naming data ranges

Received on Tuesday, 11 March 2003 09:40:10 UTC