opencaesar / owl-adapter

The OML adapter for OWL
Apache License 2.0
0 stars 2 forks source link

[BUG] - oml2owl should guard against and diagnose input taxonomies with loops or cycles #36

Open StevenJenkinsJPL opened 3 years ago

StevenJenkinsJPL commented 3 years ago

Description

Vocabulary bundle closure fails with uncaught exceptions if the constructed taxonomy contains loops (self edges) or cycles. The former can be prevented (self edges are trivially true; every class is a subclass of itself) by disregarding them; they play no role in bundle closure. The latter cannot be prevented but the exception should be caught and some diagnostic output produced.

Steps to Reproduce

Steps to reproduce the behavior:

Expected Behavior

In the case of a loop, no exception thrown. In the case of a cycle, diagnostic emitted showing at least the edge completing the cycle.

melaasar commented 3 years ago

Can you please provide example ontologies to reproduce this?