Re: POWDER formal semantics 4.3 comments

On Dec 1, 2008, at 3:44 AM, Jonathan Rees wrote:

> A test of the correctness and tractability of the extension would be  
> agreement from one of the groups providing DL reasoners to implement  
> it. Has this been pursued?

OWL or RDFS reasoners do not need to be modified or extended, unless  
they choose to implement
POWDER-specific optimizations. The extension is made at the underlying  
RDF layer, which is expected to
make the wdrs:matchesregex triples available to the reasoner to act  
upon, just in the same way that it
makes other triples available to them.

You can find a proof-of-concept implementation at http://transonto.sourceforge.net/
which implements a the extension in the form of a "middle man" between  
perfectly vanilla
versions of Jena and Pellet. A POWDER processor is then simply a  
method describe(u) which
asks all the right SPARQL queries (using vanilla ARQ over the closure  
inferred by Pellet) and
translates the QueryResults object into the form specified by the DR  
doc.

s