[Pellet-users] Non-Termination problem with SelfRestrictionS

[Michael Schneider]

Hi!

Yesterday, I reported to the Topbraid Composer List a non-termination
problem with SelfRestrictionS. 

 
http://groups.google.com/group/topbraid-composer-users/browse_thread/thread/
df22f643c9578a51

I wasn't perfectly sure then if this is a Pellet problem or a TBC problem. I
now know that this is a Pellet problem, because I checked it with the Pellet
commandline tool, with the following command line:

  pellet -if selfrestriction.owl -qs "select * where { ?s ?p ?o }"

and it did not come back, as with TBC inference.

Please have a look at the thread in the TBC list for full information and a
testcase (I don't want to repeat this all here :-)).

Important: The non-terminating ontology is the one in my /second/ post (3rd
post in the thread). 

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider at fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

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 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: selfrestriction.owl
Type: application/octet-stream
Size: 1068 bytes
Desc: selfrestriction.owl
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20071001/af79b62f/attachment-0001.obj