BSc Project: Database support for case studies in the field of KR-systems

Nowadays, numerous implemented systems supporting different knowledge representation and reasoning formalisms are available. Examples are the languages DAML and DAML+OIL which are employed for machine readable annotation of web pages (semantic web) and are based on description logics. A system that can cope with reasoning in DAML is FaCT, the corresponding ontology editor being OilEd.

To test and compare systems it is necessary to carry out case studies and run benchmark formulas. As there are many knowledge bases and benchmark formulas around it would be convenient to have a tool supporting the management of local copies of knowledge bases and benchmark formulas.

The objective of this project is to implement such a tool (in Java). This involves the design of a database schema, the implementation of a command line interface, and a graphical front end. The system should allow to deal with sets of formulas, syntax translations and transformations, scheduling and logging of reasoning tasks as well as the generation of visualizations of the results of test runs (e.g. performance graphs).