introduction of a provably correct encoding of a fragment of ORM2 (called ORM2zero) into a
decidable fragment of OWL2, opened the doors for the
definition of dedicated reasoning technologies supporting the quality of the
In this paper we discuss how to extend ORM2zero in a maximal way
by retaining at the same time the nice computational properties of ORM2zero.
Franconi & Alessandro Mosca
Free University of Bozen-Bolzano