Consistency checking with OWL and SWRL rules

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Consistency checking with OWL and SWRL rules

Suman Roy



We are converting business processes to OWL ontology in one of our projects. This ontology consists of OWL-DL concepts and SWRL rules.

On business processes having more than 100 nodes consistency checking on Protégé (using Pellet or Hermit reasoners) become a little erratic. Sometime it returns the answer, sometimes it gets stuck (saying that “initializing reasoner”).


Our questions are the following.


1.       Does it happen because consistency checking in OWL-DL is NEXPTIME-complete? Also is there any approximate reasoning technique (or reseaoner) that can solve this consistency checking of OWL-DL more efficiently?

2.       We know that consistency checking of OWL-DL concepts, in general, is NEXPTIME-complete. What is the complexity of checking the consistency of OWL-DL concepts with SWRL rules?









Suman RoyPh.D.
Principal Research Scientist,

CORPTECH, Infosys Ltd., 
Bldg.-19, # 44 Electronics City, Hosur Road,
Bangalore 560 100, India.
Tel. <a href="tel:%2B91%2080%202852%200261%20x%2050180" target="_blank">+91 80 2852 0261 x 59180
    <a href="tel:%2B91%2080%2041059108" target="_blank">+91 80 41059108 (D)    <a href="tel:%2B91%2080%2039136675" target="_blank">+91 80 39136675 (VOIP)
    <a href="tel:%2B91%2080%202308%209420" target="_blank">+91 80 2308 9420 (R)
    <a href="tel:%2B91%2098860%2023203" target="_blank">+91 98860 23203 (M)
Fax. <a href="tel:%2B91%2080%202852%200362" target="_blank">+91 80 2852 0362
[hidden email] <[hidden email]> 
            [hidden email]


protege-user mailing list
[hidden email]