BOWiki employs our biological core ontology GFO-Bio to provide biological categories and background knowledge. GFO-Bio is itself based on the top-level ontology General Formal Ontology (GFO), including the Ontology of Functions (OF). BOWiki uses the concepts and relations defined in the OWL version of GFO-Bio in order to verify the consistency of its semantic information. To achieve this, every wikipage is typed (with a category from GFO-Bio), and each argument of a relation is restricted with a category. N-ary relations are also supported, including the definition of new relations. The description logic reasoner Pellet is used to perform queries and verify the consistency of information as it is entered.
System and Documentation
Source code releases are available from http://onto.eva.mpg.de/trac/BoWiki .