Finite Model Reasoning in DL-Lite with Cardinality Constraints.

Published in: Description Logics (2012)

Keyphrases