Reachability Modules for the Description Logic $\mathcal{SRIQ}$

DOI10.1007/978-3-642-45221-5_42zbMath1407.68475OpenAlexW304462469MaRDI QIDQ2870159

Katarina Britz, Riku Nortje, Thomas Andreas Meyer

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Games for query inseparability of description logic knowledge bases

This page was built for publication: Reachability Modules for the Description Logic $\mathcal{SRIQ}$