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#>
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