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

fraktalek at gmail.com fraktalek at gmail.com
Sun Aug 5 16:03:53 PDT 2007


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.

Thanks,
Jakub
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070806/0466f8fd/attachment.html>


More information about the protege-owl mailing list