[Fwd: AW: LANG: compliance levels]

-------- Original Message --------
Subject: AW: LANG: compliance levels
Date: Tue, 23 Apr 2002 11:17:04 +0200
From: "Raphael Volz" <rvo@aifb.uni-karlsruhe.de>
Reply-To: <volz@aifb.uni-karlsruhe.de>
To: "Ian Horrocks" <horrocks@cs.man.ac.uk>,"Frank van Harmelen" <Frank.van.Harmelen@cs.vu.nl>
CC: "Mike Dean" <mdean@daml.org>, "Enrico Motta" <E.Motta@open.ac.uk>,"Ziv Hellman" <ziv@unicorn.com>, <herman.ter.horst@philips.com>,"Peter Patel-Schneider" <pfps@research.bell-labs.com>,"Christopher Welty" <welty@us.ibm.com>, "Jim Hendler" <hendler@cs.umd.edu>,"Deborah McGuinness" <dlm@ksl.stanford.edu>

The lower layer should also be "compatible" and implementable with rules
engines.

Raphael Volz

-----Ursprungliche Nachricht-----
Von: horrocks@oaklands.net [mailto:horrocks@oaklands.net]Im Auftrag von
Ian Horrocks
Gesendet: Montag, 22. April 2002 22:29
An: Frank van Harmelen
Cc: Mike Dean; Enrico Motta; Ziv Hellman; herman.ter.horst@philips.com;
Peter Patel-Schneider; Christopher Welty; Jim Hendler; Raphel Volz;
Deborah McGuinness
Betreff: Re: LANG: compliance levels


On April 22, Frank van Harmelen writes:
> (Sorry to some of you for resending this, but some people fell of the
original addresslist of this msg). Please reply to this copy to make sure
your reply reaches all.
>
> ----
>
> 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

Shouldn't this be differentIndividualFrom?

> 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.

We also need the same side conditions on datatypes and datatype
properties that DAML+OIL/FOWL has/will have.

Ian

>
>
> Frank,
> Deborah.
>    ----
>

Received on Thursday, 25 April 2002 07:18:15 UTC