- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 10 Jan 2003 05:51:44 -0500 (EST)
- 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 UTC