Overview of basic BOWiki functionality. (a) The OType statement is used to declare the entity described by a wikipage to be an instance of a certain type. The syntax for using a defined relation is shown in (b). Note that HvSUT2 implicitly fills a third argument role of realizes, since the relation is used on this page. For every relation, this implicit role is called the subject role. The relation realizes is therefore a ternary relation. (c) A relation's arguments are defined using the has argument statement. The example shows the definition for two roles and their restriction to specific OWL categories. All data stored in the BOWiki can be queried for, e.g. using the query form illustrated in part (d).