- From: Graham Klyne <GK-lists@ninebynine.org>
- Date: Fri, 03 Sep 2010 19:45:22 +0100
- To: Cristiano Longo <longo@dmi.unict.it>
- CC: semantic-web@w3.org, Domenico Cantone <cantone@dmi.unict.it>
It might be worth digging around in publications of Ian Horrocks and colleagues (e.g. http://www.comlab.ox.ac.uk/ian.horrocks/Publications/). I seem to recall that around the 2003-2007 timeframe, he was involved in writing a number of papers that explored decidable variants of DL, not all of which were subsets of OWL-DL. Thoigh I think the main restrictions of OWL:-DL vs OWL-full still apply in these cases. #g -- Cristiano Longo wrote: > Dear all, I wonder which if there is some restriction of OWL Full that > have been found to be decidable (obviously excluding OWL-DL). > > Thank you in advances, > Cristiano Longo > >
Received on Friday, 3 September 2010 19:45:31 UTC