|
A l
e s s a n d r o · M o s c a
Assistant Professor (temporary contract) 
KRDB
Research CentreFaculty of Computer Science Free University of Bozen-Bolzano (FUB) Piazza Domenicani 3 - 39100 Bolzano, Italy Room 3.04, 3rd floor phone: (+39) 0471 016 127 fax: (+39) 0471 016 009 email: {surname}@inf.unibz.it |
 |
|||
|
|
||||
![[climbing]](images/3.png) 
|
||||
|
Volume 124 number 4, pp. 543-560, 2013
Logic-based Reasoning Support for SBVR
This work reports on the attempt to provide logical foundations for the Semantics of Business Vocabulary and Business Rules by the means of defining a specific first-order deontic-alethic logic (FODAL). The connections of FODAL with the modal logic QK and the description logic ALCQI have been investigated and, on top of the obtained theoretical results, a special tool providing automated support for consistency checks of a set of ALCQI-expressible deontic and alethic business rules has been implemented.
|
||||
|
||||
|
"Defeasible Reasoning in ORM2" (with
Giovanni Casini)
@The Eighth Australasian Ontology Workshop (AOW 2012)
Sidney, Australia, December 4, 2012 |
||||
|
|
||||
|
International Workshop on Fact-Oriented Modeling (ORM 2012)
Rome, Italy, September 12-14, 2012
|
||||
 |
||||
|
||||
|
Logic-based reasoning for
ORM2
|
||||
|
The Object Role Modelling language (ORM2) is a conceptual modelling
language similar to UML and ER, adopted by Visual Studio, the
integrated development environment from Microsoft. ORM2 is at
the core of the OGM standard SBVR language
(Semantics of Business Vocabulary and Business Rules). The ORM Foundation is a major resource site for ORM as well as other fact-oriented modeling approaches.
|
||||
 |
||||
|
Click on the ORM2 conceptual schema above to see our work on
SBVR. The formalisation of ORM2 and its encoding in OWL2
collects our results on ORM2.
In the context of the ONTORULE Project (ONTOlogies meet business RULEs, 7th Framework Programme under the Information and Communication Technologies (ICT) Call 3 (ICT-231875): |
||||
|
||||
|
We also implemented a MS Visual Studio extension
providing a NORMA backend for
the automated support of consistency and entailment
checks for ORM2 conceptual schemas. The tool is
freely avalailable here.
|
||||
|
||||
|
3rd PLENARY WORKSHOP
27-28 September, Barcelona, Spain, 2012 Click here for a pdf version of the workshop programme. Social and environmental transitions: Simulating the past to understand human behaviour is a five-year interdisciplinary research project started in January 2011 and funded by the Spanish Ministry for Science and Innovation. The aim of the project is to develop an innovative and interdisciplinary methodological framework to model and simulate ancient societies and their relationship with environmental transformations. |
||||
|
|
||||
|
||||
|
|
||||
|
||||
| «Je
grimpe pour
me sentir en harmonie avec
moi-même, parce que je vis dans l'instant, parce que c'est une forme d'expression éthique et esthétique par laquelle je peux me réaliser, parce que je recherche la liberté totale du corps et de l'esprit. Et parce que ça me plaît.» Patrick Berhault |
||||