Advanced Search Tips
Description Logic Editors: Open AI Resources
    2 results in "Description Logic"
    Anzu Code
    http://www.ist.tugraz.at/staff/jobstmann/anzu/
    Anzu synthesizes Verilog designs from specifications written in LTL (Linear Temporal Logic). Softwar...
    650 views
    Submitted by on Dec 04 2014
    jcel Project Code
    http://jcel.sourceforge.net
    jcel is a reasoner for the description logic EL+. It uses the OWL API and can be used as a plug-in f...
    304 views
    Submitted by on Oct 07 2015