> 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 GMT
This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT