KIT | KIT-Bibliothek | Impressum | Datenschutz

Practical Epistemic Entailment Checking in SROIQ

Mehdi, A.; Rudolph, S.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2011
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen-ID: 1000026365
Erschienen in Proceedings of the 24th International Workshop on Description Logics (DL2011), Barcelona, Spain, July 13-16, 2011. Ed.: R. Rosati
Verlag RWTH Aachen
Serie CEUR Workshop Proceedings ; 745
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page