A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$

From MaRDI portal
Publication:3533144

DOI10.1007/11853886_29zbMath1152.68612OpenAlexW1563070668MaRDI QIDQ3533144

Linh Anh Nguyen

Publication date: 30 October 2008

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

Full work available at URL: https://doi.org/10.1007/11853886_29



Mathematics Subject Classification ID

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





This page was built for publication: A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3533144&oldid=16907293"
Powered by MediaWiki