Re: Deduced property

am I wrong when I think that a subProperty inherit transitivity from is
super-property so
if :hasAncestor is transitive
and I say
  :hasParent rdfs:subPropertyOf :hasAncestor .
then :hasParent will be transitive
and clearly on that example, it's wrong

--
Jean-Claude Moissinac



2014-01-29 Aidan Hogan <aidan.hogan@deri.org>

> You need rdfs:subPropertyOf.
>
>         :hasParent rdfs:subPropertyOf :hasAncestor .
>
> You'll find the relevant example here (in the most recent version of the
> OWL 2 primer you've been looking at):
>
> http://www.w3.org/TR/owl2-primer/#Property_Hierarchies
>
> Best,
> Aidan
>
>
> On 29/01/2014 13:18, Jean-Claude Moissinac wrote:
>
>> Sorry if my question is very naive, but I'm stuck on this for a while
>> if I go to examples in the document
>> http://www.w3.org/TR/2009/WD-owl2-primer-20090421/
>> I just want to add the following axiom (expressed here in my syntax)
>> if
>> ?s :hasParent  ?f
>> Then
>> ?s :hasAncestor ?f
>>
>> I've checked a lot of documents and I don't figure how to do it
>> (directly in XML/RDF or interactively with Protégé)
>>
>> Thank you in adavnace for your help
>>
>> --
>> Jean-Claude
>>
>>
>