Logo image
Back
Towards a Core ORM2 Language (Research Note)
Conference proceeding   Peer reviewed

Towards a Core ORM2 Language (Research Note)

Enrico Franconi and Alessandro Mosca
On the Move to Meaningful Internet Systems: OTM 2013 Workshops; Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings, pp.448-456
Lecture Notes in Computer Science
OTM Workshops 2013 (Graz, 09/09/2013 - 13/09/2013)
2013
DOI: https://doi.org/10.1007/978-3-642-41033-8_58
Handle:
https://hdl.handle.net/10863/23712

Abstract

The introduction of a provably correct encoding of a fragment of ORM2 (called ORM2 zero ) 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 ORM2 zero in a maximal way by retaining at the same time the nice computational properties of ORM2 zero .
url
https://link.springer.com/chapter/10.1007/978-3-642-41033-8_58View

Details

Metrics

4 Record Views