On Fri, 2011-06-24 at 23:11 +0200, Mauro Bieg wrote: > @Dave, i currently have only the following ontologies in my datastore: > rdf: > rdfs: > <http://xmlns.com/foaf/0.1/> > <http://www.w3.org/2003/06/sw-vocab-status/ns#> > <http://www.w3.org/2002/07/owl#> > <http://purl.org/dc/elements/1.1/> > <http://www.w3.org/2002/12/cal#>
Interesting, a lot of those are OWL/full (meta) ontologies, not OWL/DL. In particular the OWL ontology ontology itself. Interesting that Pellet is happy with those. > and pellet is definitely faster than OWLMicroFBRuleReasoner. but what's > bothering me now is that pellet says everything is a owl:Thing but not infers > that it's also an rdf:Resource... i'll see.. That's because that's an RDFS/OWL-full entailment not OWL/DL. Dave
