Fact++ not recognizing numeric type inclusions

[Robert Goldman]

I have an ontology I have built using Protege. In it I have defined a datatype property to be of type

xsd:decimal

Later, I set a particular individual’s property value as

"200"^xsd:int

The result is that Fact++ rejects my ontology as inconsistent:

Looking at the OWL and XSD specs, I am pretty sure that this is wrong – int is a subtype of integer, which is a subtype of decimal. Also, HermiT and Pellet are both OK with this ontology.

If anyone has time to look into this, I will create a minimal ontology and upload it as a test example.

‌

[Evgeny Blokhin]

Dear @Robert Goldman please, could you upload a test example? I’ll have a look into it.

[Robert Goldman]

Here is a minimal example that I created in Protege. It shows the above bad behavior when I invoke FacT++. Note that I don’t have any way to invoke Fact++ on its own, I’m just doing this through Protege, which reports that it has Fact++ 1.6.5 So it is possible that this is a Protege bug.

‌

Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>



Ontology: <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262>


Datatype: xsd:decimal


Datatype: xsd:int


DataProperty: <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#exampleDataProperty>

    Domain: 
        <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#ExampleClass>

    Range: 
        xsd:decimal


Class: <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#ExampleClass>


Individual: <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#exampleIndividual>

    Types: 
        <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#ExampleClass>

    Facts:  
     <http://www.semanticweb.org/rpg/ontologies/2022/1/untitled-ontology-262#exampleDataProperty>  "100"^^xsd:int

‌