Yazmin Angélica Ibáñez-García. Finite Model Reasoning in DL-Lite with Cardinality Constraints. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{Ibanez-Garcia12,
title = {Finite Model Reasoning in DL-Lite with Cardinality Constraints},
author = {Yazmin Angélica Ibáñez-García},
year = {2012},
url = {http://ceur-ws.org/Vol-846/paper_53.pdf},
researchr = {https://researchr.org/publication/Ibanez-Garcia12},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
volume = {846},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}