2013 | OriginalPaper | Chapter
Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal
Authors : Giovanni Casini, Alessandro Mosca
Published in: Advanced Information Systems Engineering Workshops
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The
Object Role Modeling language
(
ORM
2) 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
ORM
2 (called
ORM
2
zero
) 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
ORM
2. 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
ORM
2 schemas, enriching the language with special set of new constraints.