Search Mailing List Archives
[protege-owl] SWRL status
babarathotmail at yahoo.com
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 stanford.edu>
To: User support for the Protege-OWL editor <protege-owl at lists.stanford.edu>
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:
>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 lists.stanford.edu
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
protege-owl mailing list
protege-owl at lists.stanford.edu
Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl