Reasoning in description logics by a reduction to disjunctive datalog

From MaRDI portal
Publication:2462648

DOI10.1007/s10817-007-9080-3zbMath1132.68735OpenAlexW2107910552MaRDI QIDQ2462648

Ulrike Sattler, Boris Motik, Ullrich Hustadt

Publication date: 3 December 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-007-9080-3




Related Items (16)


Uses Software


Cites Work


This page was built for publication: Reasoning in description logics by a reduction to disjunctive datalog