Skip to main content

Table 1 Syntax and semantics of the BOWiki extensions.

From: BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology

BOWiki syntax

OWL abstract syntax

Generic

 

1 [[OType:C]]

Individual(page type(C))

2 [[R::page2]]

Individual(page value(R page2))

3 [[R::role1 = page1;...;roleN = pageN]]

Individual(R-id type(R))

 

Individual(R-id value(subject page))

 

Individual(R-id value(R-role1 page1))

 

â‹®

 

Individual(R-id value(R-roleN pageN))

4 [[has-argument:: name = roleName;type = OType:C]]

SubClassOf(page gfo:Relator)

 

ObjectProperty(R-roleName domain(page) range(C))

Examples

 

1 on page Apoptosis: [[OType:Category]]

Individual(Apoptosis, type(Category))

2 on page Apoptosis: [[CC-isa::Biological_process]]

Individual(Apoptosis value(CC-isa Biological_process))

3 on page HvSUT2: [[Realizes:: function = Sugar_transporter_activity; process = Glucose_transport]]

Individual(Realizes-0 type(Realizes))

 

Individual(Realizes-0 value(Realizes-subject HvSUT2))

 

Individual(Realizes-0 value(Realizes-process Glucose_transport))

4 on page Realizes: [[has-argument:: name = function; type = OType:Function_category]]

SubClassOf(Realizes gfo:Relator))

 

ObjectProperty(Realizes-function domain(Realizes) range(Function_category))

  1. The table shows the syntax constructs used in the BOWiki for semantic markup. The second column provides a translation into OWL, following [23]. (page refers to the wikipage in which the statement appears; "R-id" is a name for an individual whose "id" part is unique and generated automatically for the occurrence of the statement). Because OWL has a model-theoretic semantics, this translation yields a formal semantics for the BOWiki syntax. In the lower half of the table we illustrate each construct with an example and present its particular translation to OWL.