ontology module subsetted by expressivity

From OSL Demo