Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal

  • Giovanni Casini
  • Alessandro Mosca
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 148)


The Object Role Modeling language (ORM2) is nowadays the most widespread fact-based conceptual modeling language in the business world. Recently, it has been proposed an encoding of the core fragment of ORM2 (called ORM2zero) into the description logic \(\mathcal{ALCQI}\), allowing the use of reasoning technologies in the analysis of the schemas. A number of services has been defined there based on the FO semantics of ORM2. On the other hand, in many application domains there is a need for the formalization and modeling of defeasible information and non-monotonic reasoning services. Here we formalize a possible way of introducing non-monotonic reasoning into ORM2 schemas, enriching the language with special set of new constraints.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook. Cambridge University Press, USA (2003)zbMATHGoogle Scholar
  2. 2.
    Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. JAIR 42, 719–764 (2011)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 491–500. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Casini, G., Mosca, A.: Defeasible reasoning in ORM2. In: Proceedings of AOW 2012, pp. 4–15. CEUR (2012)Google Scholar
  5. 5.
    Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 77–90. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Franconi, E., Mosca, A.: The formalisation of ORM2 and its encoding in OWL2. Technical Report 12-2, FUB (2012),
  7. 7.
    Franconi, E., Mosca, A., Solomakhin, D.: ORM2: formalisation and encoding in OWL2. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds.) OTM 2012. LNCS, vol. 7567, pp. 368–378. Springer, Heidelberg (2012)Google Scholar
  8. 8.
    Giordano, L., Olivetti, N., Gliozzi, V., Pozzato, G.L.: ALC + T: a preferential extension of description logics. Fundam. Inform. 96(3), 341–372 (2009)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Halpin, T., Morgan, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann (2001)Google Scholar
  10. 10.
    Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1–60 (1992)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Giovanni Casini
    • 1
  • Alessandro Mosca
    • 2
  1. 1.Centre for Artificial Intelligence ResearchCSIR Meraka InstituteSouth Africa
  2. 2.Faculty of Computer ScienceFree University of Bozen-BolzanoItaly

Personalised recommendations