Christoph; An addendum to Irene's post. One can probably work really
hard to close the world and make the right reasoning in Pellet, etc.
An alternative is to use simple SPARQL queries to make the inferences:
CONSTRUCT {?x a :ValidCert .}
WHERE {?x a :Certificate .
OPTIONAL {?x
Yes, I agree with everything you state Atanas. I am aware that OWLIM
covers a different subset of OWL than Pellet. I was calling it a DL
engine since it covers a (significant) subset of OWL DL including
owl:someValuesFrom. But right, formally OWL DL is more and OWLIM and
other rule-based
Hi Christoph,
yes we will publish more background material on SPIN in the next few
weeks or months. A good place to monitor is the Composing the Semantic
Web blog [1] in which I will post use cases and other background on
SPIN in the next few days.
However, I believe SPIN is very easy to
This is getting into topics of considerable debate. OWLIM and others
(e.g. KAON2) are datalog reasoners. Pellet and Racer use the Tableau
algorithm. OWL-DL is certainly not the only way to do reasoning.
Many tools provide a kind of RDFS+ that includes some of the more
common inferences -