GitHub repository: julianmendez/uel
Primary language: Java
Created: 2015-07-28T14:38:43Z
Description: Tool for finding unifiers in the description logic EL