DL+Florid: Hybrid Reasoning with Description Logics and F-Logic

• DL+Florid homepage at the Institute for Informatics: Publications, documents,
• Web frontend to the DL+Florid demonstrator prototype.