- From: Dimitrios Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
- Date: Mon, 4 Aug 2008 00:20:24 +0300
- To: <public-owl-dev@w3.org>
> 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). Cheers, Dimitrios [1] Gasse, F., Sattler, U., & Haarslev, V. (2008). Rewriting Rules into SROIQ Axioms. Proceedings of the 2008 International Workshop on Description Logics (DL-2008). [2] Krötzsch, M., Rudolph, S., & Hitzler, P. (2008). Description Logic Rules. Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08).
Received on Sunday, 3 August 2008 21:21:24 UTC