OWL Reasoning Framework over Big Biological Knowledge Network

Table 1

Variables table.

Variable symbol	Definition	Example
RRC	Reasoning rule chain	𝐑𝐑𝐂𝟎
OPC	OWL property chain	𝐎𝐏𝐂𝟎
PCS	Property chain set	𝐏𝐂𝐒𝟎
PID	Property ID	1
ORN	OWL reasoning network	𝐎𝐑𝐍𝟎
ARS	Associated result set	𝐀𝐑𝐒𝟎
𝐺	Instance triple graph	𝐆𝟎
Class𝑘	An entity belonging to certain class	𝐇𝐞𝐫𝐛𝟎
𝐓𝐤	An instance triple	𝐓𝟎
𝑅𝑘	A rule triple	𝐑𝟎
𝑃𝑘	Property of the 𝑘th rule triple	𝐏𝟎