A Semantic Wiki System Based on F-Logic

In this paper we present the TaOPis semantic wiki system based on F-Logic that we implemented. The system uses the FLORA-2 reasoning engine and supports the dynamic creation of queries in restricted FLORA-2 syntax. We show how we were able to apply a simple tagging system in order to support the creation of an object oriented ontology. In the end we give a comparison between other semantic wiki systems and the developed system as well as give guidelines for future research.