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.
