Thank you, I will try Pellet. (Actually, this was already in my plans, but section of Pellet documentation about using with Jena is so short. Though there seems to exist configuration example in http://mail-archives.apache.org/mod_mbox/jena-users/201106.mbox/%[email protected]%3E.)
2013/10/5 Dave Reynolds <[email protected]> > Datatype facets are OWL 2 and Jena only supports OWL 1. > > It may be possible to use third party reasoners like Pellet to provide > some OWL 2 capability. > > Dave > > > On 01/10/13 13:57, Alexei Golovko wrote: > >> Can fuseki infer subclassing between faceted datatypes? >> >> E.g., if I run update >> >> PREFIX rdf: >> <http://www.w3.org/1999/02/22-**rdf-syntax-ns#<http://www.w3.org/1999/02/22-rdf-syntax-ns#> >> > >> PREFIX rdfs: >> <http://www.w3.org/2000/01/**rdf-schema#<http://www.w3.org/2000/01/rdf-schema#> >> > >> PREFIX owl: <http://www.w3.org/2002/07/**owl#<http://www.w3.org/2002/07/owl#> >> > >> PREFIX : <http://example.org/> >> PREFIX xsd: >> <http://www.w3.org/2001/**XMLSchema#<http://www.w3.org/2001/XMLSchema#> >> > >> >> INSERT { >> >> :ev1 a [ >> a rdfs:Datatype ; >> owl:onDatatype xsd:integer ; >> owl:withRestrictions ([xsd:minInclusive 2011] [xsd:maxInclusive >> 2013]) >> ]; >> a :my . >> >> } WHERE {} >> >> ... than only first select finds :ev1, though I expect both should. >> >> The first select: >> >> prefix rdf: >> <http://www.w3.org/1999/02/22-**rdf-syntax-ns#<http://www.w3.org/1999/02/22-rdf-syntax-ns#> >> > >> prefix rdfs: >> <http://www.w3.org/2000/01/**rdf-schema#<http://www.w3.org/2000/01/rdf-schema#> >> > >> PREFIX owl: <http://www.w3.org/2002/07/**owl#<http://www.w3.org/2002/07/owl#> >> > >> PREFIX : <http://example.org/> >> PREFIX xsd: >> <http://www.w3.org/2001/**XMLSchema#<http://www.w3.org/2001/XMLSchema#> >> > >> >> SELECT DISTINCT ?s WHERE { ?s a :my . >> ?s a [ >> a rdfs:Datatype ; >> owl:onDatatype xsd:integer ; >> owl:withRestrictions ([xsd:minInclusive 2011] [xsd:maxInclusive >> 2013]) >> ] . >> } >> >> The second select: >> >> prefix rdf: >> <http://www.w3.org/1999/02/22-**rdf-syntax-ns#<http://www.w3.org/1999/02/22-rdf-syntax-ns#> >> > >> prefix rdfs: >> <http://www.w3.org/2000/01/**rdf-schema#<http://www.w3.org/2000/01/rdf-schema#> >> > >> PREFIX owl: <http://www.w3.org/2002/07/**owl#<http://www.w3.org/2002/07/owl#> >> > >> PREFIX : <http://example.org/> >> PREFIX xsd: >> <http://www.w3.org/2001/**XMLSchema#<http://www.w3.org/2001/XMLSchema#> >> > >> >> SELECT DISTINCT ?s WHERE { ?s a :my . >> ?s a [ >> a rdfs:Datatype ; >> owl:onDatatype xsd:integer ; >> owl:withRestrictions ([xsd:minInclusive 2011] [xsd:maxInclusive >> 2014]) >> ] . >> } >> >> I am running jena-fuseki-1.0.0 with config config-inf-tdb.ttl. >> >> >
