On Tue, Jan 13, 2015 at 2:56 PM, Sergio Fernández <wik...@apache.org> wrote: ᐧ
> On 13/01/15 16:40, Dilvan Moreira wrote: > >> The marmotta documentation states that its rule engine can implement >> RDFS and a subset of OWL semantics. Is there a rule file with rules for >> OWL >> 2 RL or RDFS+? >> > > That's right. You have some example programs at the wiki: > > http://wiki.apache.org/marmotta/Reasoner/ExamplePrograms I had seen these examples before. I used them as a start point for my rule set. But didn't anyone before tried to write rules for a RDFS+ reasoner? Dilvan > > I tried to write one myself, but the marmotta db began to grow to >> gigabytes (for a small triple set). >> > > Probably there is any wrong rule or loop. Unfortunately we have no > debugging tool besides the justifications created by the reasoner. > > I'd recommend you to to start trying with a basic subset of axioms and add > more until you find the wrong one > > Cheers, > > -- > Sergio Fernández > Partner Technology Manager > Redlink GmbH > m: +43 660 2747 925 > e: sergio.fernan...@redlink.co > w: http://redlink.co >
