DL+Florid: Hybrid Reasoning with Description Logics and F-Logic
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 system
originally developed and maintained by the DBIS
group at Freiburg University.
An online interface to the prototype can be found at
http://www.semwebtech.org/DLFlorid/demo.
Note that it may sometimes be down.
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.
Publications
|
