Finite Model Reasoning in DL-Lite
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/esws/Rosati08, title={Finite Model Reasoning in DL-Lite}, pages={215-229}, year={2008}, booktitle={ESWC}, ee={http://dx.doi.org/10.1007/978-3-540-68234-9_18}, crossref={DBLP:conf/esws/2008}, url={http://www.informatik.uni-trier.de/~ley/db/conf/esws/eswc2008.html#Rosati08}, author={Riccardo Rosati} }\end{bibtex}
