Abstract:
The
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
schemas design.
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.
Authors:
Enrico
Franconi & Alessandro Mosca
Free University of Bozen-Bolzano
Italy