[seek-kr-sms] OWL Inference APIs (was Re: SMS stuff)

Serguei Krivov Serguei.Krivov at uvm.edu
Thu Apr 1 09:31:02 PST 2004


>I generally agree here: it would be really useful to know what exact 
>expressibility is needed in a DL for SEEK (or for ecological
>... but I think that at this point it isn't clear.  It might be nice to

It seems we are all agree that we need to explore the expressive power
of existing DL constructs and see what we need and what we may omit. To
contribute to this end I am attaching the summary of all useful DL
constructs I came across ever! (BTW: do you know any tool that convert
math expression from pdf to any editable format? )

>Actually, here is an interesting paper (that I haven't read yet) that 
>introduces S-Box reasoning for spatial relationships:


My understanding is that this paper presents earlier efforts of Haarslev
and Mo:ller which they abandoned now. In the page 5 they talk about role
forming predicate operator as alternative to what they call S-Boxes. It
delivers about the same expressive power. In a later paper :

they presented decidable DL ALCRP(D) that uses this construct to do
spatial reasoning.

BTW- these are just the same guys who develop RACER. Haarslev is running
project on DL and spatial reasoning:

 May be we should just ask them what they are planning to do with RACER
in this regard???? Though it is unfortunate that RACER is not free

Best Regards,
-------------- next part --------------
A non-text attachment was scrubbed...
Name: On Expressive power.doc
Type: application/msword
Size: 467456 bytes
Desc: not available
Url : http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20040401/add25c94/OnExpressivepower.doc

More information about the Seek-kr-sms mailing list