decidability issue of oralce user defined rules

user571093 Jul 17, 2014 12:54 PM

Hi,

Accoring to some online posts (http://weblog.clarkparsia.com/2007/08/27/understanding-swrl-part-2-dl-safety/, http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ), SWRL in general is undecidable.However, we can add some restrictions to SWRL to regain decidability: Variables in DL Safe rules bind only to explicitly named individuals in ontology. Adding this restriction is sufficient to make SWRL rules decidable. So, I'm wondering how Oracle user defined rules achieve the decidability. Does it adpot the way simliar to SWRL? Thanks a lot in advance.

Hong

1. Re: decidability issue of oralce user defined rules

alwu-Oracle Jul 17, 2014 10:11 PM (in response to user571093)

Hi Hong,

This is a good question. Yes we have adopted a similar idea. The forward chaining based inference engine in Oracle Database will only bind existing known RDF resources to variables in rules. We will not generate a new RDF resource that does not previously exist in the ontologies. This is very important because it ensures the inference process will finish in a finite amount of time.

The above does not apply to user defined inferencing (a 12.1 new feature) though.

Thanks,

Zhe
Like Show 0 Likes(0)

Actions
2. Re: decidability issue of oralce user defined rules

user571093 Jul 17, 2014 11:54 PM (in response to alwu-Oracle)

Hi Zhe,

Thanks a lot for the answer.

Hong
Like Show 0 Likes(0)

Actions

Go to original post

Join the world’s largest interactive community dedicated to Oracle technologies.