The Expressive Power of DL-Lite

Camilo Thorne

Description logics are knowledge representation formalisms that provide the formal underpinning of the semantic web and in particular of the $\text{OWL}$ Ontology Web Language. In…