Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] "variable sharing" in concept definition in OWL

Martin O'Connor martin.oconnor at stanford.edu
Mon Aug 6 10:25:57 PDT 2007


You can write this is SWRL fairly easily:

Person(?x) ^ owns(?x, ?t) ^ isObsessedBy(?x, ?t) -> ObsessedPerson(?x)

Or more generally:

Person(?x) ^ owns(?x, ?t1) ^ isObsessedBy(?x, ?t2) ^ sameAs(?t1, ?t2) -> 
ObsessedPerson(?x)

Martin

Thomas Russ wrote:

>On Aug 5, 2007, at 4:03 PM, fraktalek at gmail.com wrote:
>
>  
>
>>Hello,
>>
>>is it possible in OWL to create a concept let's say ObsessedPerson  
>>defined as a Person who owns a thing and isObsessedBy *the* thing?
>>So a little more formally it would be: ObsessedPerson(x) == Person 
>>(x) and (ex. t) (Thing(t) and (x owns t) and (x isObsessedBy t))
>>
>>I don't see how to make the two properties (owns and isObsessedBy)  
>>share the same Thing t in OWL.
>>    
>>
>
>You can't.
>It is beyond the expressive power of the OWL 1.0 language.
>
>
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>
>  
>




More information about the protege-owl mailing list