W3C home > Mailing lists > Public > semantic-web@w3.org > June 2013

Re: Property chain axioms and cyclic dependencies

From: Michael F Uschold <uschold@gmail.com>
Date: Sun, 2 Jun 2013 12:31:26 -0700
Message-ID: <CADfiEMO2jri16wCavJeZ4gJfHJnPDsxZWVsj9HNLcpokGP2Xsg@mail.gmail.com>
To: Matías Parodi <mparodilabs@gmail.com>
Cc: "semantic-web@w3.org" <semantic-web@w3.org>
This is tricky, read very carefully the OWL spec.  There are obscure and
bizare (from a common sense user perspective) restrictions that result from
the inference needs.  Good luck.

On Wednesday, May 29, 2013, Matías Parodi wrote:

> Hello,
>
> I'm trying to understand in which cases it's allowed to use
> owl:propertyChainAxiom and when it's not.
>
> I've written a small ontology to understand it (I pasted it at the end),
> but I still couldn't figure out why HermiT (using Protege) says "The given
> property hierarchy is not regular" and "There is a cyclic dependency
> involving property :isRelative".
>
> I know there's a loop there but what is the real problem? After all, how
> is that different from a owl:TransitiveProperty? Any way to intuitively
> understand what is wrong with it?
>
> Any idea?
>
> Thank you,
> Matt
>
> ---
> @prefix : <http://foo/bar#>.
> @prefix owl: <http://www.w3.org/2002/07/owl#>.
> @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
> @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
> @prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
>
> :Person a owl:Class.
>
> :isRelativeOf
>   a owl:TransitiveProperty;
>   rdfs:domain :Person;
>   rdfs:range :Person;
> ..
>
>   :isAncestorOf
>     rdfs:subPropertyOf :isRelativeOf;
>     owl:propertyChainAxiom (:isRelativeOf :isAncestorOf);
>   .
> ---
>


-- 
Sent from an input-challenged device.
Received on Sunday, 2 June 2013 19:31:53 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:33 UTC