Hi Peter, On Wed, Feb 10, 2016 at 8:50 PM, Peter Bruhn Andersen < [email protected]> wrote:
> On the Apache Marmotta home page it is said that the KIWI Reasoner ‘can be > used for expressing RDFS subclass and domain inference, as well as a subset > of OWL semantics (the one that is most interesting’. > > Is the KIWI reasoned the only reasoner used in Marmotta or are there other > options? > I guess you can use any of the Sesame-compatible reasoners there are out there; but that's the default one in KiWi, yes. > Where can I find a description of the subset of OWL that is implemented? > There is quite some bibliography about the sKWRL (its former name) reasoner: https://scholar.google.at/scholar?hl=en&q=sKWRL In the end the KiWi reasoner is a rule-based reasoner that evaluates the rules over triples. The evaluation strategy is an incremental forward chaining reasoning with truth maintenance, so it's reasonably efficient even for large data sets. The truth maintenance can be used to provide explanations for inferred triples as well as for efficient updating of the reasoning information. So in the end the subset of OWL implemented depends on the rules you implement, but I guess OWL Full can't be really implemented. The language is very simple; at the wiki we have some examples: https://wiki.apache.org/marmotta/Reasoner/ExamplePrograms Hope that helps. If you may need further details, I guess only Sebastian would be able to answer them. Cheers, -- Sergio Fernández Partner Technology Manager Redlink GmbH m: +43 6602747925 e: [email protected] w: http://redlink.co
