Skip to main content

Table 2 An example of rules that are safe for use with OWL ontologies

From: Structure-based classification and ontology in chemistry

OWL axiom

hasAtom some RingAtom subclassOf CyclicMolecule

OWL assertions

Benzene(m),singleBond(a1,a2), doubleBond(a2,a3), singleBond(a3,a4), doubleBond(a4,a5), singleBond(a5,a6), doubleBond(a6,a1), Carbon(ai),hasAtom(m,ai) for each 1≤i≤6

DL-safe rule

^1≤i≤6 Carbon(xi)^singleBond(x1, x2)^ doubleBond(x2,x3)^singleBond(x3,x4)^

 

doubleBond(x4,x5)^ singleBond(x5,x6)^ doubleBond(x6,x1)→RingAtom(x1)