W3C home > Mailing lists > Public > semantic-web@w3.org > January 2014

Re: Deduced property

From: Richard Cyganiak <richard@cyganiak.de>
Date: Wed, 29 Jan 2014 16:37:03 +0000
Cc: SW-forum Web <semantic-web@w3.org>
Message-Id: <4965FB83-B070-4F99-AAEE-97FAC1684B1F@cyganiak.de>
To: Jean-Claude Moissinac <jean-claude.moissinac@telecom-paristech.fr>
On 29 Jan 2014, at 16:30, Jean-Claude Moissinac <jean-claude.moissinac@telecom-paristech.fr> wrote:
> No, it's not the answer because hasAncestor is transitive and hasParent isn't…

How is that a problem?

This

  :hasParent rdfs:subPropertyOf :hasAncestor.

is exactly the same as that:

> > if
> > ?s :hasParent  ?f
> > Then
> > ?s :hasAncestor ?f

And you can declare :hasAncestor as transitive if you like:

  :hasAncestor a owl:TransitiveProperty.

Richard




> (I've a lot of similar situations)
> 
> --
> Jean-Claude Moissinac
> 
> 
> 
> 2014-01-29 Richard Cyganiak <richard@cyganiak.de>
> Jean-Claude,
> 
> You’re looking for this (in Turtle syntax):
> 
>   :hasParent rdfs:subClassOf :hasAncestor.
> 
> (Don’t try to read or write RDF/XML directly. You’ll go mad. Use the friendly syntaxes such as Turtle, or graphical tools.)
> 
> Best,
> Richard
> 
> 
> On 29 Jan 2014, at 16:18, Jean-Claude Moissinac <jean-claude.moissinac@telecom-paristech.fr> 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
> >
> 
> 
> 
Received on Wednesday, 29 January 2014 16:37:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:47 UTC