W3C home > Mailing lists > Public > public-owl-wg@w3.org > September 2008

Restrictions on property chains

From: Evren Sirin <evren@clarkparsia.com>
Date: Wed, 24 Sep 2008 10:30:18 -0400
Message-ID: <cbf390380809240730x15a7dd7bt8c6ffe59072f00c3@mail.gmail.com>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

I'm comparing the restrictions defined in the syntax document
regarding property chains [1] and the conditions defined in the SROIQ
paper [2]. I'm having problems verifying they enforce actually the
same conditions.

In [2], it is said that there should be a regular order on the set of
properties which is defined to be a strict partial order with the
additional restriction that

S < R iff INV(S) < R

In [1], the strict partial order requirement is there but I don't see
anything that would enforce this additional constraint. As a result,
an axiom like

SubPropertyOf( PropertyChain( P P ) InverseOf( P ) )

is disallowed by [2] but allowed by [1].

Is this difference in the definitions because regularity was more
strict than necessary? Or is this a bug in [2]?


PS: A very minor issue is that the citation [3] is for [2] but link
points to the technical report [4].

[1] http://www.w3.org/2007/OWL/wiki/Syntax#The_Restrictions_on_the_Axiom_Closure
[2] http://www.cs.man.ac.uk/~sattler/publications/KR-06-SROIQ.pdf
[3] http://www.w3.org/2007/OWL/wiki/Syntax#ref-sroiq
[4] http://www.cs.man.ac.uk/~sattler/publications/sroiq-TR.pdf
Received on Wednesday, 24 September 2008 14:30:56 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:52 UTC