[BUG] - bundle closure includes aspects

opencaesar / owl-adapter

The OML adapter for OWL

Apache License 2.0

0 stars 2 forks source link

[BUG] - bundle closure includes aspects #18

Closed StevenJenkinsJPL closed 3 years ago

StevenJenkinsJPL commented 4 years ago

Description

Aspects should not be part of the disjointness axioms. The algorithm mistakenly creates vertices for aspects (but no edges). The vertices should not be created.

StevenJenkinsJPL commented 3 years ago

Fixed in 758e45814c29b0a846d26be65359e9330fa86301.