On Tue, Oct 4, 2011 at 10:30 PM, Richard Cyganiak <richard@cyganiak.de>wrote:
>
>
> Inference is defined over RDF graphs, not over collections of unasserted
> RDF graphs.
>
>
While I agree with this statement, isn't it the case that most graph stores
do inference over the collection of graphs in a dataset?
Given these two graphs in a single graph store and a schema that says
ex:ancestor is transitive then I'm sure many inference enabled systems will
answer true if asked whether :c is an ancestor of :a
:G1 { :a ex:ancestor :b }
:G2 { :b ex:ancestor :c }
I'm pretty sure BigOWLIM does this, possibly others too.
> Best,
> Richard
>
Ian
--
Ian Davis, Chief Technology Officer, Talis Group Ltd.
http://www.talis.com/ | Registered in England and Wales as 5382297