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.
Malformed OWL.pptx
Description: MS-Powerpoint 2007 presentation
