W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2009

RE: Simple modelling of a temporal sequence

From: Michael Schneider <schneid@fzi.de>
Date: Tue, 1 Sep 2009 08:14:39 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A00165E77A@judith.fzi.de>
To: "Matthew Graham" <mjg@cacr.caltech.edu>
Cc: <public-owl-dev@w3.org>

Existential restrictions are NOT disallowed to be placed on transitive
properties. Only cardinality restrictions are disallowed. 

I must have confused existential restrictions with min-1 cardinality
restrictions in my earlier mail. 


>-----Original Message-----
>From: Michael Schneider
>Sent: Tuesday, September 01, 2009 7:48 AM
>To: 'Matthew Graham'
>Cc: public-owl-dev@w3.org
>Subject: RE: Simple modelling of a temporal sequence
>Hi Matthew!
>It sounds to me that you want to put an existential restriction on a
>transitive property ("after"). Since you refer to OWL DL below, let
>me say that doing so is not allowed in OWL DL, i.e. your ontology
>is not a syntactic valid OWL DL ontology. See
>So you should not expect any OWL DL reasoner to do any reasoning
>at all on your ontology, but rather expect it to signal a syntax
>Now, you did not tell us which reasoner you are using. For example,
>if you are using Pellet, then note that this reasoner actually
>performs reasoning in this situation, but only after first dropping
>the transitivity axiom from "after". See
>OWL-DL Restriction: OWL DL requires that no cardinality constraints
>(local nor global) can be placed on transitive properties or their
>inverses or any of their superproperties.
>Pellet Restriction: Pellet requires this restriction. Any
>transitivity axiom violating these restrictions are ignored
>(cardinality restrictions are not ignored).
>Matthew Graham wrote:
>>I'm trying to model a simple temporal sequence with a class called
>>Stage which has 5 subclasses: 2-cell, 4-cell, 8-cell, 16-cell and 32-
>>There are also four object properties: startStage, endStage, before
>>and after. before and after are defined to be transitive and inverse
>>to each other and with domain Stage and range Stage.
>>32-cell is then defined to be: after some 16-cell; 16-cell is defined
>>as: after 8-cell; etc.
>>Finally I declare an individual called ptype1 with startStage some 4-
>>I then run the reasoner on the ontology and try the DL Query:
>>startStage some (before 8-cell)
>>This does not return ptype1. Why not? Do I have to explicitly state
>>the inverse relationships, e.g. 16-cell before some 32-cell, as well -
>>why are these not inferred during reasoning?
>>	Cheers,
>>	Matthew
>Dipl.-Inform. Michael Schneider
>Research Scientist, Dept. Information Process Engineering (IPE)
>Tel  : +49-721-9654-726
>Fax  : +49-721-9654-727
>Email: michael.schneider@fzi.de
>WWW  : http://www.fzi.de/michael.schneider
>FZI Forschungszentrum Informatik an der Universität Karlsruhe
>Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
>Tel.: +49-721-9654-0, Fax: +49-721-9654-959
>Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
>Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
>Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
>Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Tuesday, 1 September 2009 06:15:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:18 UTC