julianmendez / uel

Tool for finding unifiers in the description logic EL

https://julianmendez.github.io/uel/

Geek Repo

Github PK Tool