[Owlim-discussion] Does OWLIM supports data type reasoning?

[Alexander Pospishniy]

Dear OWLIM community,

I am experiencing some difficulties with my research project as we ended up
with quite large A-box and OWL-Lite ontology that relies heavily on data
type reasoning.
We use a lot of someValuesFrom restrictions  on variuos datatypes for
example:

<owl:Class>
  <owl:intersectionOf rdf:parseType="Collection">
        <rdf:Description rdf:about="
http://localhost/ontologies/GLUE/GLUE.owl#CEState"/>
        <owl:Restriction>
            <owl:onProperty rdf:resource="
http://localhost/ontologies/GLUE/GLUE.owl#hasFreeJobSlots"/>
                <owl:someValuesFrom>
                    <rdfs:Datatype>
                        <owl:onDatatype rdf:resource="&xsd;integer"/>
                        <owl:withRestrictions rdf:parseType="Collection">
                            <rdf:Description>
                                <xsd:minInclusive
rdf:datatype="&xsd;integer">100</xsd:minInclusive>
                            </rdf:Description>
                        </owl:withRestrictions>
                    </rdfs:Datatype>
                </owl:someValuesFrom>
        </owl:Restriction>
  </owl:intersectionOf>
</owl:Class>

Is there support for such constructs in OWLIM or any design patterns or
workaround for such cases?

_______________________________________________
OWLIM-discussion mailing list
OWLIM-discussion@ontotext.com
http://ontotext.com/mailman/listinfo/owlim-discussion