phillord / hermit-reasoner

53 stars 25 forks source link

HermiT updates for OWLAPI 4.0.2-SNAPSHOT #2

Closed ignazio1977 closed 9 years ago

ignazio1977 commented 9 years ago

This pull request fixes minor issues in HermiT code and relies on bug fixes made to OWLAPI

https://github.com/owlcs/owlapi/commit/af283fced701014e2e94f5e2b3f14eea17bbd161 Drop optimization in OWLLiteralImplInteger equals: padded integers must not be equal to unpadded integers.

https://github.com/owlcs/owlapi/issues/377 Functional parser parses cardinalities with more than one digit incorrectly

https://github.com/owlcs/owlapi/issues/378 Data property with xsd:integer range parsed as Object property (RDF/XML source)