Yes, the attached version fixed the problem. Thanks a lot, Holger. On Thursday, 18 November 2021 at 00:27:25 UTC+1 Holger Knublauch wrote:
> 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 > > > On 2021-11-17 11:57 pm, Kai Liu wrote: > > 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. > > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/10f18347-3a10-496a-9ae2-54ec84f79a2bn%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/10f18347-3a10-496a-9ae2-54ec84f79a2bn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/588c5fc8-dad5-434f-a70e-20b191ef3dd3n%40googlegroups.com.
