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

new editor's draft of S&AS

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 11 Mar 2003 09:39:56 -0500 (EST)
Message-Id: <20030311.093956.123563539.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

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.


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


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

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

OntologyProperties *UNRESOLVED*
- resolution - allow them !!

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

reverse mapping
- wording from Jeremy


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


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

- 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

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