On Mon, 2008-02-11 at 19:07 -0800, Kunal Patel wrote:
> Hi Ivan,
>
> Just to make sure that I understood you correctly, currently in
> Virtuoso there is no way to define an inference rule that can be used
> for doing say transitive closure.
Yes you're right. There's no such way.
Hugh wrote tha
Hi Kunal,
We support Transitive Closures via SPARQL extensions pragmas. We allow
you to identify the property/predicate of the transitive closure and the
depth.
See: input:grab-seealso / input:grab-follow-predicate, input:grab-limit,
input:grab-depth at:
http://docs.openlinksw.com/virtuoso/rdfiri
Hi Ivan,
Just to make sure that I understood you correctly, currently in Virtuoso
there is no way to define an inference rule that can be used for doing say
transitive closure.
Also what does Virtuoso do with the OWL/RDFS constructs that it doesn't
support. For e.g. if I load an OWL fil
Hi Ivan,
Excellent! You guys are awesome!
Regards
Rajeev J Sebastian
On Feb 12, 2008 12:21 AM, Ivan Mikhailov wrote:
> Rajeev,
>
> BI extensions will be documented as soon as the syntax is stable. It can
> be slightly changed because a) it's our work in progress and b) similar
> extensions of o
Rajeev,
BI extensions will be documented as soon as the syntax is stable. It can
be slightly changed because a) it's our work in progress and b) similar
extensions of other vendors are works in progress, too, and we may
decide to make a SPARQL extension that is common for everybody. So the
syntax
Hi Ivan,
On Feb 11, 2008 6:45 PM, Ivan Mikhailov wrote:
> complete SPARQL BI extensions first, updateable RDF Views after that;
> only after these major extensions we may think about future DATALOG
> implementation.
Could you elaborate a bit on the BI extensions ? I tried searching for
it online
Kunal,
We do not have "universal" inference rules, we have only partial support
for same-as and sub-properties. We're focusing on scalability and using
relational data with all native indexes; this implies that inference is
possible only in DATALOG style. Obviously, optimizing DATALOG compiler
is
