Tractable reasoning in description logics with functionality constraints

DOI10.1007/978-3-642-41660-6_8zbMath1397.68162OpenAlexW195475944MaRDI QIDQ1799301

Georg Gottlob, Andrea Calì, Andreas Pieris

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-642-41660-6_8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: Tractable reasoning in description logics with functionality constraints