Re: OWL reasoning with rules

Hi,

On Tuesday 03 October 2006 21:03, Matt Williams wrote:
> 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.
>
> Does anyone have any references/pointers that explain this in more
> depth?

Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules 
language.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04a.pdf

might be a good starting point (see section 6 on undecidability 
issues).

best,
Stijn



-- 
http://members.deri.at/~stijnh/contact.html

++
ALF: Name's ALF. I carry a bat.