Fact++ not recognizing numeric type inclusions
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.
Comments (2)
-
-
reporter 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
- Log in to comment
Dear @Robert Goldman please, could you upload a test example? I’ll have a look into it.