search

opencaesar / owl-adapter

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

implement disjoint union bundle closure option #17

Closed StevenJenkinsJPL closed 4 years ago

StevenJenkinsJPL commented 4 years ago

User Story

As a vocabulary developer, I would like to strongly close a taxonomy such that each non-leaf class (after transformation to a tree by the bundle closure algorithm) is the disjoint union of its subclasses.

Detailed Description

This change does not affect the closure algorithm per se, it merely changes how the resulting tree is transformed into a set of disjointness axioms.

The new behavior will be selectable as a command-line option: --disjoint-union.

For the case in which :B, :C, and :D are subclasses of :A, the current algorithm generates DisjointClasses(:B :C :D). The new algorithm will generate DisjointUnion(:A :B :C :D).

StevenJenkinsJPL commented 4 years ago

Committed in 383ebca335eed8179b33ea134e54bc46f75710a7.