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

intersectionOf in OWL Lite

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 2 Jan 2003 23:31:10 +0100
To: www-webont-wg@w3.org
Message-Id: <200301022331.10030.jjc@hpl.hp.com>


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
Received on Thursday, 2 January 2003 17:33:05 GMT

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