LANG: compliance levels

The following is a transcript of some exchanges of between some members
charged with proposing compliance levels. Jim has asked me to repost
this to the full WebOnt list, and continue the discussion there.

I will also repost the replies that followed this original msg. 

Apologies for thinking that it would be legitimate for a group charged
with an action item to do this off-line.

Please post further replies to the full group. 

Frank.
   ----

-----------------------------------------------------------------------------

A small group met at KR'02 (ter Horst, Patel-Schneider, Horrocks, 
Welty, McGuinness, van Harmelen), discussing the contents of 
compliance level 1 for OWL. We solicit reactions from those 
volunteered for this task. Please do this by immediate response, so 
that we can report back to the WG next Thursday.

We propose to use for level 1 RDF Schema on Steroids,
(using the terminology from Frank's Thursday 18 April message)
with additionally:
- properties can be declared functional
- datatypes (details depending on resolution by RDF Core).

The main motivation for this choice is aimed at tool developers:
this level gives tool developers a useful language to aim at that is 
significantly smaller than DAML+OIL, while imposing as few 
restrictions as possible on toolbuilders that want to extend beyond 
this compliance level. Putting in any additional features (such as 
universal local range restrictions) into level 1 will make it much 
harder to go beyond this basic level (for example the interaction 
with existential restrictions).

Written out in full, this amounts to:

RDF Schema stuff
     primitiveclass  
     subClassOf
     subpropertyof   
     domain
     range
     Property
     named & unnamed Individual

(In)equality
     sameClassAs
     samePropertyAs
     sameIndividualAs
     differentIndividualAs
    
Property characteristics
     inversOf
     transitive
     symmetric

Plus: functionality of properties (= at most one value for a property)
       (with the usual side condition that this cannot be applied to
        transitive properties, same side condition as in DAML+OIL)
plus: datatypes (unclear at this moment what this means precisely,
       pending on RDF Core decisions.


Frank,
Deborah.
    ----

Received on Thursday, 25 April 2002 07:16:34 UTC