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

Deduced property

From: Jean-Claude Moissinac <jean-claude.moissinac@telecom-paristech.fr>
Date: Wed, 29 Jan 2014 17:18:40 +0100
Message-ID: <CAP8HVi0D57TeiAvfcngaz5SGi4OHj3px42uiQEQ9VJMLFJ1NKA@mail.gmail.com>
To: semantic-web@w3.org
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:19:28 UTC

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