RE: Intersection of properties?

> 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