Re: [Fwd: OWL reasoning with rules]

> -------- Original Message --------
> Subject: OWL reasoning with rules
> Resent-Date: Tue, 03 Oct 2006 19:04:02 +0000
> Resent-From:
> Date: Tue, 03 Oct 2006 20:03:25 +0100
> From: Matt Williams <>
> To: undisclosed-recipients:;
> Dear All,
> I have noticed that many of the attempts at OWL reasoning using rules
> run into problems on dealing with OWL-DL.
> As I understand it, this is because OWL reasoning gets complex when we
> include things like nominals and some cardinality.

Yes, rules and OWL DL are not straightforward compatible due to 
decidability issues.

> Does anyone have any references/pointers that explain this in more depth?

As starting references of how to still obtain decibable reasoning, I'd 
suggest e.g. [1,2,3] and the fundamental references therein. [1], [2] 
are summer school lecture notes and schould thus be easier to digest, 
and [3] touches on more fundamental issues which this combination involves.


1. Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, 
and Hans Tompits. Reasoning with rules and ontologies. In Reasoning Web 
2006, volume 4126 of Lecture Notes in Computer Science, pages 93-127. 
Springer, September 2006.

2. Riccardo Rosati. Integrating Ontologies and Rules: Semantic and 
Computational Issues. In Reasoning Web 2006, volume 4126 of Lecture 
Notes in Computer Science, pages 128-151. Springer, September 2006.

3. Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On 
representational issues about combinations of classical theories with 
nonmonotonic rules. In Proceedings of the 1st International Conference 
on Knowledge Science, Engineering and Management (KSEM'06), volume 4092 
of Lecture Notes in Computer Science, pages 1-22, Gullin, China, August 
2006. Springer. Invited paper.

Dr. Axel Polleres
email:  url:

Received on Tuesday, 3 October 2006 19:54:24 UTC