owl_ontology

1st example (with rules)