Hello Dave, I see. Ok, then I will go with the adapted ruleset.
Thank you. Cheers, Lorenz > Hi Lorenz, > > On 17/10/16 10:48, Lorenz B. wrote: >> Hi, >> >> I'm using Apache Jena 3.1.0 for materialization by applying a reasoner >> and working on an InfModel, i.e. >> >> Reasoner reasoner = ReasonerRegistry.getRDFSSimpleReasoner(); >> InfModel infModel = ModelFactory.createInfModel(reasoner, rawModel); >> >> >> For my use case, the RDFS simple ruleset is fine, but this still >> contains some "trivial" statements for the rdfs:subClassOf closure, i.e. >> it returns >> >> :A rdfs:subClassOf :A (1) >> >> >> I've seen that the RDFS simple ruleset omits the rules for the >> transitivity of rdfs:subClassOf and rdfs:subPropertyOf and there is a >> comment that this is computed somewhere in the TGC. So I guess that (1) >> results from the TCG layer? > > Yes. > >> While beeing correct from an RDFS semantics point of view, is there a >> way to omit this information by some option or the like? > > No, sorry, you would need your own rule set ... > >> If not, I can indeed use my own RDFS simple ruleset, which adds >> not_equals to the corresponding rules. > > Dave > > -- Lorenz Bühmann AKSW group, University of Leipzig Group: http://aksw.org - semantic web research center
