Check these ontologies. Import returns timeout

iamcrowd / metamodel-api-OWL2import

Fork for coding OWL 2 to KF importing and CNL specs of KF instances

Other

0 stars 1 forks source link

Check these ontologies. Import returns timeout #24

Open iamcrowd opened 2 years ago

iamcrowd commented 2 years ago

dogont, dul, ifc, iol, lmm1, lmm2, obo, ontopic, saws, semiotics, sio, tb, tddial, tddm, tddom, todo, topo, traffic, transit

iamcrowd commented 2 years ago

I loaded dogont owl file and got the following error:

Exception during ontology loading (load), with Path: /home/gbraun/Documentos/crowd-tool/metamodel-api-OWL2import/target/test-classes/ontologies/timeout/dogont.n3 => org.semanticweb.owlapi.model.UnloadableImportException: Could not load imported ontology: http://purl.oclc.org/NET/muo/ucum/ Cause: OWLOntologyCreationIOException: java.io.FileNotFoundException: https://purl.oclc.org/NET/muo/ucum/ at OWLOntologyManagerImpl.java (1685)

org.semanticweb.owlapi.model.UnloadableImportException: Could not load imported ontology: http://purl.oclc.org/NET/muo/ucum/ Cause: OWLOntologyCreationIOException: java.io.FileNotFoundException: https://purl.oclc.org/NET/muo/ucum/

iamcrowd commented 2 years ago

iol (IOLite) is not loaded because it imports DUL ontology ( which is not loaded either)

iamcrowd commented 2 years ago

saws I could import this ontology by using RACER. With PELLET I got an exception. Anyway, RACER logged this error:

org.semanticweb.owlapi.owllink.builtin.response.OWLlinkSemanticErrorResponseException: Reasoning error While considering role |http://erlangen-crm.org/current/P72_has_language|: Cycle detected in role axioms. occured

iamcrowd commented 2 years ago

semiotics also works with RACER. Now the error logged is:

15:11:25.241 [main] WARN org.semanticweb.owlapi.util.InferredOntologyGenerator - Error generating Equivalent data properties axioms using Racer, version 2.0.0 org.semanticweb.owlapi.owllink.builtin.response.OWLlinkSemanticErrorResponseException: Found strange DataProperty in |http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasComponent|

iamcrowd commented 2 years ago

traffic

Could not parse ontology. Either a suitable parser could not be found, or parsing failed. See parser logs below for explanation.

iamcrowd commented 2 years ago

iol (IOLite) is not loaded because it imports DUL ontology ( which is not loaded either)

DUL is imported by the OWL API, but fails maybe when we try to reason over it