Bill
OWL2PrimerFunctional
OWL2PrimerManchester
BooleanLiterable
Values
BuiltInAtom
SWRL