2 - Relationship with OWL

Dear Jim,

everybody that is not foolish wants to have maximal interoperability
of the rule language with OWL. Unfortunately there are some laws of
computation in place that prevent us from including more than a slight
subset of OWL-Lite [1] in a rule language without loosing all the reasons
for using a rule language at all. Rule languages have evolved because
of their efficiency in instance reasoning over large instance population.
Injecting too heavy language constructs stemming from Description
Logic will kill this and therefore any justification in using rules at all.
Indeed, than you can use directly FOL with equality instead since you
are no longer staying a computational interesting subset of FOL.

More pragmatic, do you really try to enforce all vendors of rule engines
to reimplement their rule inference engines on top of a Description
Logic reasoner. Whereas one company may like this idea all other
vendors may be a bit skeptical about this?

	-- dieter

[1] Basically Deductive Logic Programming
----------------------------------------------------------------
Dieter Fensel, http://www.deri.org/
Tel.: +43-512-5076485/8

Received on Tuesday, 23 August 2005 15:18:41 UTC