 |
    |
Towards a Core ORM2 Language (Research Note)
Enrico Franconi and Alessandro Mosca
Free University of Bozen-Bolzano, KRDB Research Centre, Italyfranconi@inf.unibz.it
mosca@inf.unibz.it
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.
LNCS 8186, p. 448 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2013