Data type of cardinality in exported approximated OWL files

[Kai Liu]

Currently, EDG generates cardinality in the approximated OWL file as follows:

owl:maxCardinality 2 ;

According to the turtle spec (https://www.w3.org/TR/turtle/#turtle-literals), a number w/o explicit type declaration has a data type xsd:integer.

According to OWL2 spec (https://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Datatype_Restrictions), axioms like cardinalities are defined like this:

owl:maxCardinality rdf:type rdf:Property . 

owl:maxCardinality rdfs:domain owl:Restriction . 

owl:maxCardinality rdfs:range xsd:nonNegativeInteger .

So, I expect to get "owl:maxCardinality "2"^^xsd:nonNegativeInteger" from the generator.

[Holger Knublauch]

Hello Kai Liu,

yes this was slightly incorrect. Fortunately those conversion rules are model-driven and encoded as SHACL rules that you can simply replace yourself. I have attached the fixed version that you can replace in your workspace (TopBraid/SHACL folder). The fix will also go into the final 7.1 release.

Thanks
Holger

--
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/10f18347-3a10-496a-9ae2-54ec84f79a2bn%40googlegroups.com.

[Kai Liu]

Yes, the attached version fixed the problem. Thanks a lot, Holger.