- From: Pierre-Antoine Champin <swlists-040405@champin.net>
- Date: Wed, 21 Apr 2010 14:21:26 +0100
- To: Simon Reinhardt <simon.reinhardt@koeln.de>
- CC: Katasonov Artem <Artem.Katasonov@vtt.fi>, "semantic-web@w3.org" <semantic-web@w3.org>
Hi Simon,
with OWL property chains, you can express the 'ONLY IF' part of the rule
below, but not the 'IF' part, because a single property be a subprop of
a property chain, but not the other way around.
pa
On 20/04/2010 20:38, Simon Reinhardt wrote:
> Pierre-Antoine Champin wrote:
>> The good thing with english is that you can easily swap from the
>> 'relation' view ("dates") to the 'reified' view ("couple"). In an
>> ontology, you have to *commit* (as in "ontological commitment") to a
>> particular representation, which really depends on the needs of your
>> application. You can also accept both representations, and add inference
>> rules that would state the equivalence between them :
>>
>> there is a ?couple involving ?john and ?mary
>> IF AND ONLY IF
>> ?john dates ?mary
>>
>> but not all ontology languages would be able to express it (I don't
>> think OWL is).
>
> In OWL 2 you can do that using property chains.
>
> Suppose you have a class ex:Couple representing your reified couple concept and a relation ex:coupleMember linking an ex:Couple to a foaf:Person (with the cardinality restricted to two if you want, although that might be problematic in combination with property chains, I'm not sure). Then you can declare that for the path going from a foaf:Person to an ex:Couple (using the inverse of ex:coupleMember) and then going from that ex:Couple to another foaf:Person (this time using ex:coupleMember itself) there exists a shortcut, namely ex:dates.
>
> In Turtle syntax:
>
> ex:dates a owl:ObjectProperty ;
> owl:propertyChainAxiom ([a owl:ObjectProperty ; owl:inverseOf ex:coupleMember] ex:coupleMember) .
>
>
> Regards,
> Simon
Received on Wednesday, 21 April 2010 13:22:37 UTC