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
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:
Management with OWL and F-Logic: A Combination of Description Logic Reasoning
with F-Logic Rules.