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

notes from semantics document breakout session

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 10 Jan 2003 05:51:44 -0500 (EST)
Message-Id: <20030110.055144.31211004.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org



		Semantics Breakout


- review of important parts
  - owl/dl in triples - Peter Crowther
  - proofs - Ian Horrocks?
     - Full vs DL entailment
- lots of recent changes -
  - new reviewers - 

- semantic points
  - OWL/Full semantics - rdfs:Class=owl:Class
    - Jos - why is this needed?
    - Peter - needed to allow OWL/Full to work without tagging
  - what about the set idea?
    - doesn't work because of recombinant restriction problem

- restrictions on class annotations
  - fix to allow owl individuals as objects

- imports and DL/Lite characterization
  - fix this

- audience - sections 2,4 - parser writers
	   - sections 3,5 - reasoner writers

- suggestions - comprehension principle is not defined
	      - links from use of transformations to their definition

- missing piece - characterization of OWL/Lite in triples

- clearly identified base set of features
  - to help tool developers
    - probably won't be done
    - either is easy - then what is the point
    - or hard - then not required, and no time

- suggestion
  - split OWL/Full documents
    - OWL/DL part
    - other stuff
Received on Friday, 10 January 2003 05:51:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT