Hi Holger,
thanks for your quick answer, but that piece of code is not in top braid
side, in top braid is the following code:
a owl:Restriction ;
owl:onDataRange xsd:boolean ;
owl:onProperty lcc-cr:isIndependent ;
owl:qualifiedCardinality 1 ;
Which I assume is the automatic translation of the definition you mentioned
above.
Then, I wonder what should the code look like in top braid to avoid this
warning?.
best wishes
Luis
El lun, 27 mar 2023 a las 15:22, Holger Knublauch (<[email protected]>)
escribió:
> 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].
> 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
> <https://groups.google.com/d/msgid/topbraid-users/2EF779DA-9A0F-4ABD-B0A4-FDA644956AEA%40topquadrant.com?utm_medium=email&utm_source=footer>
> .
>
--
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/CABy94XkcA2td1xvueAJgHzYwcoBZmd_xROdqPhL8qb6vK7EVcQ%40mail.gmail.com.
