- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Sun, 3 Aug 2008 22:44:47 +0100
- To: "Dimitrios Koutsomitropoulos" <kotsomit@hpclab.ceid.upatras.gr>
- Cc: <public-owl-dev@w3.org>
On Aug 3, 2008, at 10:20 PM, Dimitrios Koutsomitropoulos wrote: >> And so I'm trying to understand which of the implicit rules >> in the OWL 2 axioms can be used instead of SWRL rules. > > For the DL Safe part, it has been shown that rules can be efficiently > internalized in SROIQ TBoxes: [1], [2] > (So these may be the missing pointers that Bijan seeks). There were, thanks! (I got OWLEDdc and DL08/Dresden mixed up in my head :)) These are both about non-DL Safe rules, I believe. That's the point! Jeff, you might consider the EL++ variant. I should think it's pretty straightforward to implement a sound and complete EL++ with rules reasoner in Javascript a la your current tool. Cheers, Bijan.
Received on Sunday, 3 August 2008 21:45:29 UTC