W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2008

RE: Intersection of properties?

From: Dimitrios Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
Date: Mon, 4 Aug 2008 00:20:24 +0300
To: <public-owl-dev@w3.org>
Message-ID: <002701c8f5ae$be51b6c0$3af52440$@ceid.upatras.gr>


> 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