The offending definition is
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="&lcc-cr;isIndependent"/>
<owl:onDataRange rdf:resource="&xsd;boolean"/>
<owl:qualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
I don't know if this is valid OWL but in any case TopBraid doesn't know what to
do with it and issues this error (which really is a warning) when trying to
display that restriction. I don't think this is any cause of alarm as TopBraid
will (I believe) just ignore this anyway. More generally, TopBraid does not
handle all of OWL, especially not some of the rarely used OWL 2 constructs.
Holger
> On 27 Mar 2023, at 2:16 pm, 'Luis Enrique Ramos García' via TopBraid Suite
> Users <[email protected]> wrote:
>
> Dear All,
>
> I imported the Country Representation Ontolog
> <https://www.omg.org/spec/LCC/Countries/CountryRepresentation/>y (OMG) into
> TopBraid with no error reported during the process.
> However, after reviewing in details I found the error indicated in the first
> attached slide.
>
> In this case the restriction of "is independent" is indicated as Malformed
> owl restriction.
>
> I also checked the code (second slide), and found not clear reason for such
> an error.
>
> Moreover, in protégé no issue was indicated when running the reasoner on the
> same file, thus I wonder which could be the problem?.
>
> The country representation ontology was uploaded "as is" from OMG website,
> with no changes from my side.
>
>
> Best regards
>
>
> Luis Ramos
>
>
>
>
>
>
>
>
>
> --
> The topics of this mailing list include TopBraid EDG and related technologies
> such as SHACL.
> To post to this group, send email to [email protected]
> ---
> 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]
> <mailto:[email protected]>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/topbraid-users/f2978936-3456-4acf-950c-f467e823fe4dn%40googlegroups.com
>
> <https://groups.google.com/d/msgid/topbraid-users/f2978936-3456-4acf-950c-f467e823fe4dn%40googlegroups.com?utm_medium=email&utm_source=footer>.
> <Malformed OWL.pptx>
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to [email protected]
---
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/2EF779DA-9A0F-4ABD-B0A4-FDA644956AEA%40topquadrant.com.
