Description Logic System and Propositional Modal Logic Satisfiability Checker

Tags: Description Logics, Knowledge Representation, Modal Logic, OWL, bell-labs

Project Members


If you have any feedback, suggestions, ideas, feel free to use our forums and trackers to contact us and share your thoughts.

Latest File Releases

Package Version Date Notes Monitor Download
dlp4.1 March 30, 2001 Release NotesMonitor this package Download


Open Innovation Resources

Open Innovation Search

Project Overview

Registered: 2009-12-08 22:28