- From: Daniël Bos <corani@gmail.com>
- Date: Mon, 9 Aug 2010 22:17:05 +0800
- To: Adrian Pohl <uebertext@googlemail.com>
- Cc: semantic-web@w3.org
Hi Adrian, Correct me if I'm wrong (I'm an owl novice), but couldn't you do something like: :p1 owl:subPropertyOf [ a owl:Property; owl:intersectionOf(:p2 :p3) ] . -- Daniël Bos email : corani@gmail.com phone : + 31-318-711063 (Dutch) / +86-18-701330735 (Chinese) weblog : http://blog.loadingdata.nl/ ostatus: corani@status.loadingdata.nl On Aug 9, 2010 5:31 PM, "Adrian Pohl" <uebertext@googlemail.com> wrote: Hello, I got a question about modelling relations between properties in an ontology. Basically, I want to model an equivalence relation between two superproperties and one subproperty. To be more concrete: I got one property p₁ which is subproperty of two different superproperties p₂ and p₃. With this it is said that every relation between A and B where: A p₁ B implies: A p₂ B and A p₃ B. This is easy to state with rdfs:subPropertyOf. But how do I additionally state the other way round that when there are two relations between A and B a third relation necessarily follows out of that? So that when: A p₂ B and A p₃ B it follows: A p₁ B Basically, logically spoken: I want to represent an equivalence relation between the conjunction of two superproperties and one subproperty which in formal logical language would look something like this: R₁ab ∧ R₂ab ⇔ R₃ab (How) can I model this in OWL? Adrian
Received on Monday, 9 August 2010 14:18:00 UTC