Institute for Informatics
Georg-August-Universität Göttingen

Databases and Information Systems

Uni Göttingen

DL+Florid: Hybrid Reasoning with Description Logics and F-Logic (2006-2008)

DL+Florid combines OWL/Description Logics Reasoning with F-Logic rules. It consists of a Jena-based core with a plugged-in DL Reasoner (Pellet) and uses the Florid (FR)/(GOE) system originally developed and maintained by the DBIS group at Freiburg University.

The work is described in the Diploma Thesis by Heiko Kattenstroth: Knowledge Management with OWL and F-Logic: A Combination of Description Logic Reasoning with F-Logic Rules.