Malformed OWL restriction

[Luis Enrique Ramos García]

Dear All,

I imported the Country Representation Ontology (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

[Holger Knublauch]

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

--
The topics of this mailing list include TopBraid EDG and related technologies such as SHACL.
To post to this group, send email to topbrai...@googlegroups.com
---
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/f2978936-3456-4acf-950c-f467e823fe4dn%40googlegroups.com.
<Malformed OWL.pptx>

[Luis Enrique Ramos García]

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

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/2EF779DA-9A0F-4ABD-B0A4-FDA644956AEA%40topquadrant.com.

[Holger Knublauch]

On 27 Mar 2023, at 2:35 pm, 'Luis Enrique Ramos García' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:

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 ;

This is the same as below but in Turtle notation. Below was RDF/XML format from the original file.

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?.

Just delete that owl:Restriction. It is not used anyway.

Holger

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CABy94XkcA2td1xvueAJgHzYwcoBZmd_xROdqPhL8qb6vK7EVcQ%40mail.gmail.com.