MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Towards Implementing Finite Model Reasoning in Description Logics

by Marco Cadoli ,  Diego Calvanese ,  Giuseppe De Giacomo
Add To MetaCart

Abstract:

We describe our ongoing work that aims at understanding how one can develop a system that performs finite model reasoning in Description Logics. In particular we report on the preliminary results that we have obtained by encoding reasoning services in DLs as specifications for constraint programming solvers. We have used such an approach to reason with respect to finite models on UML class diagrams.

Citations

316 editors. The Description Logic Handbook: Theory, Implementation and Applications – Baader, Calvanese, et al. - 2003
150 The OPL Optimization Programming Language – Hentenryck, Lustig, et al. - 1999
62 Reasoning in expressive description logics – Calvanese, Giacomo, et al.
41 A unified framework for class based representation formalisms – Calvanese, Lenzerini, et al. - 1994
32 Reasoning with inclusion axioms in description logics: Algorithms and complexity – Calvanese - 1996
30 Reasoning on UML class diagrams – Berardi, Calvanese, et al.
28 Finite model reasoning in description logics – Calvanese - 1996
24 Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza – Calvanese - 1996
10 e-Service Composition by Description Logic Based Reasoning – Berardi, Calvanese, et al.
10 The complexity of finite model reasoning in description logics – Lutz, Sattler, et al.
2 Reasoning on UML class diagrams is EXPTIME-hard – Berardi, Calvanese, et al. - 2003
2 OPL Studio system version 3.6.1 user’s manual – ILOG - 2002
1 The expressive power of binary linear programming – Cadoli - 2001
1 Solver system version 5.1 user’s manual – ILOG - 2001
View or Download | Add to My Collection | Correct Errors