${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic

DOI10.1007/978-3-642-15675-5_19zbMath1306.68191OpenAlexW1493157034MaRDI QIDQ4930766

Víctor Gutiérrez-Basulto, Szymon Klarman

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_19

Mathematics Subject Classification ID

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

Related Items (1)

Decidable Description Logics of Context with Rigid Roles

This page was built for publication: ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic