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#>
PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX : <http://example.org/>
PREFIX xsd: <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#>
prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX : <http://example.org/>
PREFIX xsd: <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#>
prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX : <http://example.org/>
PREFIX xsd: <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.

Reply via email to