uel

Brought to you by: bmorawska, julianmendez

Add a Review

Downloads: 0 This Week

Last Update: 2024-01-06

Download

Get an email when there's a new version of uel

Unifier for Description Logic EL

Project Activity

See All Activity >

License

Apache License V2.0, GNU Library or Lesser General Public License version 3.0 (LGPLv3)

Follow uel

uel Web Site

Other Useful Business Software

Your monitoring isn't a stack. It's a pile. Fix that.

Errors, performance, logs, uptime. One install, one invoice, one UI.

Replace Datadog, New Relic, and Sentry without adding three more dashboards.

Free 30 days.

Rate This Project

User Reviews

Be the first to post a review of uel!

Additional Project Details

Registered

2011-04-18

Report inappropriate content

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

SPINdle
SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic.
uBowl - Reservation Organizer
Description Coming soon.
Classic game PCB Diagnoser
App which controls a logic analyzer to test and diagnose logic boards from arcade games.
Quine-McCluskey Logic Simplifier
The Quine-McCluskey Logic Simplifier is a utility written to simplify digital logic. You feed it a canonical decimal list and it does the rest.
CEDAR Logic Simulator
CEDAR LS is an interactive digital logic simulator to be used for teaching of logic design or testing simple digital designs. It features both low-level logic gates as well as high-level components, including registers and a Z80 microprocessor emulat