Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ

Ortiz, M.; Rudolph, S.; Simkus, M.

Originalveröffentlichung
DOI: 10.5591/978-1-57735-516-8

Seitenaufrufe: 35
seit 03.08.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2011
Sprache	Englisch
Identifikator	ISBN: 978-1-57735-514-4 KITopen-ID: 1000026398
Erschienen in	Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Spain, 16th July - 22nd July 2011. Ed.: T. Walsh
Verlag	AAAI Press
Seiten	1039 - 1044