search

INCATools / ubergraph

Integrated OBO ontology store
BSD 3-Clause "New" or "Revised" License
43 stars 3 forks source link

Add unmerge step to take out problem axioms. #151

Closed balhoff closed 6 months ago