W3C home > Mailing lists > Public > public-semweb-lifesci@w3.org > August 2006

Re: OWL Lite or DL?

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Tue, 22 Aug 2006 22:11:16 -0400
Message-Id: <A69DDB2D-25FD-469A-BC8F-8CE06E31E231@gmail.com>
Cc: Internet Business Logic <ibl@snet.net>, Larry.Hunter@uchsc.edu, jbarkley@nist.gov, public-semweb-lifesci@w3.org
To: Chimezie Ogbuji <ogbujic@bio.ri.ccf.org>

This isn't quite right. Suppose that there is a constraint that  
consistsOf's domain is business units/organization, and worksFor's  
domain is Person. Then what  you suggest would infer that

:Mikhail Khlopotov :consistsOf :Semantic Web Inference

which probably not what is intended.

OWL 1.1 has a feature that makes this sort of thing possible in a  
more general: "role inclusions". See e.g. http://www.cs.man.ac.uk/ 
~okutz/SROIQ.pdf

-Alan

On Aug 22, 2006, at 1:00 PM, Chimezie Ogbuji wrote:

>
> Actually, I believe by virtue of being of the SHOIN family of  
> Description Logics [1] that OWL-DL & RDFS can express this through  
> role hierachies and transivite roles (both of which are part of [2]  
> SHOIN: S - Role transitivity, H - Role hierarchy)
>
> [1] http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/ 
> HoPH03a.pdf
> [2] http://www.cs.man.ac.uk/~ezolin/logic/complexity.html
>
> I.e., instead of
>
> :worksFor :transitiveOver :consistsOf.
>
> you would have
>
> :consistsOf rdf:type owl:TransitiveProperty
> :worksFor rdfs:subPropertyOf :consistsOf
>
> Which would result in the same conclusions via a reasoner following  
> the axiomatic semantics of owl:TransitiveProperty and  
> rdfs:subPropertyOf (in N3):
>
> {?P a owl:TransitiveProperty. ?X ?P ?O. ?S ?P ?X} => {?S ?P ?O}.
> {?P rdfs:subPropertyOf ?R. ?S ?P ?O} => {?S ?R ?O}.
>
> Chimezie Ogbuji
> Lead Systems Analyst
> Thoracic and Cardiovascular Surgery
> Cleveland Clinic Foundation
> 9500 Euclid Avenue/ W26
> Cleveland, Ohio 44195
> Office: (216)444-8593
> ogbujic@ccf.org
>
> On Tue, 22 Aug 2006, Internet Business Logic wrote:
>
>>
>> Larry --
>>
>> On the other hand... There are really simple problems that cannot  
>> be computed in *any* version of OWL.
>>
>> I believe that "transitive over" [1] is one such.
>>
>> HTH,  -- Adrian
>>
>> [1]   http://www.reengineeringllc.com/demo_agents/ 
>> TransitiveOver1.agent
>>
>> -- 
>>
>> Internet Business Logic (R)
>> Executable open vocabulary English
>> Online at www.reengineeringllc.com
>> Shared use is free
>>
>> Reengineering,  PO Box 1412,  Bristol,  CT 06011-1412,  USA
>>
>> Phone 860 583 9677     Mobile 860 830 2085     Fax 860 314 1029
>>
>>
>>
>
Received on Wednesday, 23 August 2006 02:11:33 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 18:00:44 GMT