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 that "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/rdfiridereferencing.html " but this is about transitive closure of data retrieval, not closure of some specific properties. > Also what does Virtuoso do with the OWL/RDFS constructs that it > doesn't support. For e.g. if I load an OWL file containing a property > P that is transitive, will Virtuoso simply ignore that fact when it > computes the query results on property P. Plain loading of OWL does not configure infererence by itself. rdfs_rule_set() makes the configuration but Virtuoso silently ignore all constructs that are not supported. Best Regards, Ivan Mikhailov, OpenLink Software.
