Towards Implementing Finite Model Reasoning in
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Piazza Domenicani · 2004
We describe our ongoing work that aims at understanding how one can develop a system that performs nite model reasoning in Description Logics. In particular we report on the preliminary results that we have obtained by encoding reasoning services in DLs as specications for constraint programming solvers. We have used such an approach to reason with respect to nite models on UML class diagrams.