For appeals, questions and feedback about Oracle Forums, please email oracle-forums-moderators_us@oracle.com. Technical questions should be asked in the appropriate category. Thank you!
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