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
