opencaesar / owl-adapter

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

[BUG] - search for multi-parent vertex should occur depth-first #29

Closed StevenJenkinsJPL closed 3 years ago

StevenJenkinsJPL commented 4 years ago

Description

The isolate step in bundle closure relies on the assumption that siblings of a multi-parent have no common subclasses (and are therefore disjoint by policy). Searching depth-first ensures this condition is true.

StevenJenkinsJPL commented 3 years ago

Fixed in 0.7.0.