Towards Implementing Finite Model Reasoning in Description Logics

Marco Cadoli, Diego Calvanese, and Giuseppe De Giacomo

Proc. of the 17th Int. Workshop on Description Logics (DL 2004). Volume 104 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2004.

We describe our ongoing work that aims at understanding how one can develop a system that performs finite model reasoning in DLs. 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 wrt finite models on UML class diagrams.


@inproceedings{DL-2004-finite,
   title = "Towards Implementing Finite Model Reasoning in Description
Logics",
   year = "2004",
   author = "Marco Cadoli and Diego Calvanese and De Giacomo, Giuseppe",
   booktitle = "Proc. of the 17th Int. Workshop on Description Logics
(DL 2004)",
   pages = "83--91",
   volume = "104",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf url