This seems to be an issue with the OpenRDF Workbench: when using the API, this works correctly, but the checkbox in the workbench does not seem to have any effect.
On 2011-10-13 15:59, Johann Petrak wrote: > Is the 'Include inferred statements' option supposed to work > for OWLIM (ruleset owl-max) and if yes, how? > > For example when > :inst1 a :MySubClass > is asserted and SubClass is a subclass of :MyClass, > the query > ?i a :MyClass > will always return :inst1, no matter if that option is checked. > But should not :inst a :MyClass be an inferred triple that > should only be returned when the 'include inferred' option is > set? > > What am I missing here? > > Cheers, > johann > _______________________________________________ > OWLIM-discussion mailing list > [email protected] > http://ontotext.com/mailman/listinfo/owlim-discussion > _______________________________________________ OWLIM-discussion mailing list [email protected] http://ontotext.com/mailman/listinfo/owlim-discussion
