Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] SWRL status

babar shahzad babarathotmail at
Tue Aug 18 00:04:06 PDT 2009

thank you very much Martin...

Babar Shahzad Chaudary, 
Deptt of Information Processing
University of Oulu, Finland.

----- Original Message ----
From: Martin O'Connor <martin.oconnor at>
To: User support for the Protege-OWL editor <protege-owl at>
Sent: Tuesday, August 18, 2009 2:56:24 AM
Subject: Re: [protege-owl] SWRL status

With its default semantics SWRL is undecidable.

However, a restricted form call DL-safe SWRL has been defined [1, 2] 
which is decidable. This is not a sublanguage per se, but rather a 
restriction on the interpretation of rules.



babar shahzad wrote:

>Hi all,
>I need some info about SWRL. I have one source of 2004
>saying bout it that its sure to be undecidable. Developer;s community idea is to
>borrow the idea of OWL and develop multiple sub-languages of SWRL with
>decreasing complexity. Work on this has not formally started...but has already been considered.(2004)
>If I will be very thankful if some one can update me about above info (possibly some reference) as it is 5 years old.
>thanX a lot
>Babar Shahzad Chaudary, 
>Deptt of Information Processing
>University of Oulu, Finland.
>protege-owl mailing list
>protege-owl at
>Instructions for unsubscribing:

protege-owl mailing list
protege-owl at

Instructions for unsubscribing:


More information about the protege-owl mailing list