Things Tagged reasoning-over-ontologies (1)

F

Finite model reasoning in DL-Lite (Article)