Search Mailing List Archives
[protege-owl] SWRL status
martin.oconnor at stanford.edu
Mon Aug 17 16:56:24 PDT 2009
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
More information about the protege-owl