ResearchSpace

Non-monotonic reasoning in conceptual modeling and ontology design: A proposal

Show simple item record

dc.contributor.author Casini, G
dc.contributor.author Mosca, A
dc.date.accessioned 2013-10-23T10:58:03Z
dc.date.available 2013-10-23T10:58:03Z
dc.date.issued 2013-06
dc.identifier.citation Casini, G and Mosca, A .2013. Non-monotonic reasoning in conceptual modeling and ontology design: A proposal. In: 2nd International Workshop on Ontologies and Conceptual Modeling (Onto.Com 2013), Valencia, Spain, 17-21 June 2013 en_US
dc.identifier.uri http://link.springer.com/chapter/10.1007%2F978-3-642-38490-5_34
dc.identifier.uri http://hdl.handle.net/10204/6978
dc.description 2nd International Workshop on Ontologies and Conceptual Modeling (Onto.Com 2013), Valencia, Spain, 17-21 June 2013. Abstract only attached. en_US
dc.description.abstract 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 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. en_US
dc.language.iso en en_US
dc.publisher Springer en_US
dc.relation.ispartofseries Workflow;11572
dc.subject Object Role Modeling language en_US
dc.subject ORM2 en_US
dc.subject Conceptual modeling language en_US
dc.title Non-monotonic reasoning in conceptual modeling and ontology design: A proposal en_US
dc.type Conference Presentation en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record