[Pellet-users] Support for gMonth?

[Evren Sirin]

This looks like a bug in the Pellet datatype reasoner and affects some 
other datatypes (e.g. xsd:gYear, xsd:gDay, etc.) I've recorded the issue 
in the tracker [1]. Thanks a lot for the test case.

Cheers,
Evren

[1] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/108

On 3/10/08 4:35 PM, Hannes Gräuler wrote:
> Hi,
>
> below you can find a simple test ontology.
>
> Asking pellet for XCollection's instances, I get X returned.
> If I try to get Y by asking for YCollection's instances,
> I get no results.
>
> Any hints?
>
> Hannes
>
>
> @prefix xsd:        <http://www.w3.org/2001/XMLSchema#> .
> @prefix spec:       <http://www.w3.org/2002/12/cal/icalSpec#> .
> @prefix rdfs:       <http://www.w3.org/2000/01/rdf-schema#> .
> @prefix owl:        <http://www.w3.org/2002/07/owl#> .
> @prefix cal:        <http://www.w3.org/2002/12/cal/ical#> .
> @prefix owl11:      <http://www.w3.org/2006/12/owl11#> .
> @prefix owl11xml:   <http://www.w3.org/2006/12/owl11-xml#> .
> @prefix dc:         <http://purl.org/dc/elements/1.1/> .
> @prefix dt:         <http://www.w3.org/2001/XMLSchema#> .
> @prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
> @prefix daml:       <http://www.daml.org/2001/03/daml+oil#> .
> @prefix :           <http://localhost/test#> .
>
> :number a owl:DatatypeProperty .
> :month a owl:DatatypeProperty .
>
> :X a owl:Thing;
>      :number 2 .
>
> :Y a owl:Thing;
>      :month "--01"^^xsd:gMonth .
>
> :XCollection
>      a owl:Class;
>      owl:equivalentClass
>      [
>          a owl:Restriction ;
>          owl:onProperty :number ;
>          owl:hasValue 2
>      ] .
>
> :YCollection
>      a owl:Class;
>      owl:equivalentClass
>      [
>          a owl:Restriction ;
>          owl:onProperty :month ;
>          owl:hasValue "--01"^^xsd:gMonth
>      ] .
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>