Abstract: Although the ontology languages like OWL include a relatively rich set of class constructors, it provides much weaker constructors for roles. One way to overcome this expressive limitation of OWL would be to extend it with rules. Motik presented a decidab

Key words: Description logics, DL-safe rule, OWL, Semantic web