[Pellet-users] dateTime reasoning

[sjtirtha]

Hi,

Can I reason this syntax using Pellet ?

<rdfs:subClassOf>
            <rdf:Description>
                <rdf:type rdf:resource="&owl;Restriction"/>
                <owl:onProperty rdf:resource="&base;validDate"/>
                <owl:allValuesFrom>
                    <rdf:Description>
                        <rdf:type rdf:resource="&owl;DataRange"/>
                        <owl11:minInclusive
rdf:datatype="&xsd;dateTime">2006-01-01T12:00:00</owl11:minInclusive>
                        <owl11:maxInclusive
rdf:datatype="&xsd;dateTime">2007-05-31T12:00:00</owl11:maxInclusive>
                        <owl11:onDataRange rdf:resource="&xsd;dateTime"/>
                    </rdf:Description>
                </owl:allValuesFrom>
            </rdf:Description>
        </rdfs:subClassOf>

and

<rdfs:subClassOf>
            <rdf:Description>
                <rdf:type rdf:resource="&owl;Restriction"/>
                <owl:onProperty rdf:resource="&base;validDate"/>
                <owl:allValuesFrom>
                    <rdf:Description>
                        <rdf:type rdf:resource="&owl;DataRange"/>
                        <owl11:minInclusive
rdf:datatype="&xsd;dateTime">2005-01-01T12:00:00</owl11:minInclusive>
                        <owl11:maxInclusive
rdf:datatype="&xsd;dateTime">2005-05-31T12:00:00</owl11:maxInclusive>
                        <owl11:onDataRange rdf:resource="&xsd;dateTime"/>
                    </rdf:Description>
                </owl:allValuesFrom>
            </rdf:Description>
        </rdfs:subClassOf>

should not have intersection.
But Pellet doesn't identify, that there is no intersection.


Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070510/1bc4f5d6/attachment.htm