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

Thomas Russ tar at ISI.EDU
Sun Aug 5 22:07:38 PDT 2007


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.





More information about the protege-owl mailing list