Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$

DOI10.1007/978-3-642-15034-0_2zbMath1309.68180OpenAlexW2120921192MaRDI QIDQ3052749

Publication date: 2 November 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

ExpTime tableaux for $\mathcal {ALC}$ using sound global caching

Uses Software

TGC

This page was built for publication: Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$