Re: [Owlim-discussion] Owlim-lite Inference

2012-07-06 Thread Marek Ĺ urek
Hi Stefano, its certainly possible and this kind of work relies on TRREE reasoner. There is no default ruleset as long as I know(but in openrdf-workbench the choosen ruleset in selectbox is during creating new repository "Empty" which is not good for you ). I don't know how you've created your

Re: [Owlim-discussion] Owlim-lite Inference

2012-07-06 Thread Stefano Ortona
Hello, sorry I'm new and I'm not very familiar with this concept. I didn't set any ruleset, so I'm using the default one. I have the axiom A owl:equivalentClass B and i want to avoid to write B owl:equivalentClass A, but when I query for the equivalent class of B i want also A to be returned,

Re: [Owlim-discussion] Owlim-lite Inference

2012-07-06 Thread damyan
Hi Steafno, which ruleset you are using because 'rdfs' or 'empty' do not have the necessary rules/axioms to derive such conclusions? If it is other, then you should relate both of your classes with owl:equivalentClass property or alternatively, make them mutually rdfs:subClassOf to each othe

[Owlim-discussion] Owlim-lite Inference

2012-07-06 Thread Stefano Ortona
Hello everybody, I successfully instal the owlim-lite server, load my own ontology and now i'd like to query it via sparql http endpoint using the inference. In particular, i have to class in my ontology A and B and i specified A isEquivalentClass of B. At the moment, if a query: "give me all t