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

Re: intersectionOf in OWL Lite

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 02 Jan 2003 18:34:05 -0500 (EST)
Message-Id: <20030102.183405.70996854.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: intersectionOf in OWL Lite
Date: Thu, 2 Jan 2003 23:31:10 +0100

> 
> 
> The mapping rules from OWL Lite in the abstract syntax to triples incldue the 
> single following rule using intersectionOf:
> 
> Class(<classID> complete 
>       <annotation1> … <annotationn> 
>       <description1> … <descriptionn>) 
> 
> ==>
> 
> <classID> rdf:type owl:Class . 
> <classID> T(<annotation1>) . … 
> <classID> T(<annotationn>) . 
> <classID> owl:sameClassAs _:x . 
> _:x owl:intersectionOf T(SEQ <description1>…<descriptionn>) . 
> 
> 
> I suggest a change to the semanticly equivalent rule:
> 
> Class(<classID> complete 
>       <annotation1> … <annotationn> 
>       <description1> … <descriptionn>) 
> 
> ==>
> 
> <classID> rdf:type owl:Class . 
> <classID> T(<annotation1>) . … 
> <classID> T(<annotationn>) . 
> <classID>  owl:intersectionOf T(SEQ <description1>…<descriptionn>) . 
> 
> This can then be more easily articulated (in for example features, guide, 
> reference) as:
> 
> [[
> In OWL Lite a class can be declared as the intersectionOf other classes and/or 
> restrictions. 
> ]]
> 
> 
> (Contrasting with the less restricted use in OWL DL).
> 
> Jeremy

Good idea, except that the mapping rules are not specific to OWL Lite.

So what I did was change the mapping rules for complete definitions and for
enumerated classes from 

<classID> owl:sameClassAs _:x .
_:x foo bar .

to 

<classID> foo bar .

I also had to fiddle with the definition of an OWL/DL ontology in RDF graph
form.

peter
Received on Thursday, 2 January 2003 18:34:16 GMT

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