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

Hello,

 

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?

 

 

Thanks,

--Suman

 

 

 

=============================================================

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
E-mail 
[hidden email] <[hidden email]> 
            [hidden email]

 


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user