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 yahoo.com
Tue Aug 18 00:04:06 PDT 2009


thank you very much Martin...


 
Babar Shahzad Chaudary, 
+358408532112         
Deptt of Information Processing
Science,
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.

Martin

[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nid9VC
[2] http://www.comlab.ox.ac.uk/people/boris.motik/pubs/mss04dl-safe.pdf

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, 
>+358408532112        
>Deptt of Information Processing
>Science,
>University of Oulu, Finland.
>
>
>
>      
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>
>  
>

_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03



      




More information about the protege-owl mailing list