Decidable Description Logics of Context with Rigid Roles

DOI10.1007/978-3-319-24246-0_2zbMath1471.68266OpenAlexW2296128763MaRDI QIDQ2964450

Stephan Böhme, Marcel Lippmann

Publication date: 27 February 2017

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24246-0_2

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Description logics of context
• Temporal Query Answering in the Description Logic DL-Lite
• LTL over description logic axioms
• Package-Based Description Logics
• Generality in artificial intelligence
• Practical reasoning for very expressive description logics
• ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic
• The Description Logic Handbook
• Journal on Data Semantics I

This page was built for publication: Decidable Description Logics of Context with Rigid Roles