KIT | KIT-Bibliothek | Impressum

Reducing SHIQ Descrption Logic to Disjunctive Datalog Programs

Motik, B.; Hustadt, U.; Sattler, U.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2004
Sprache Englisch
Identifikator ISBN: 1-57735-199-1
KITopen ID: 1000018487
Erschienen in Principles of knowledge representation and reasoning: proceedings of the Ninth International Conference (KR2004). Ed.: D. Dubois
Verlag AAAI Press, Menlo Cark (Calif.)
Seiten 152 - 162
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page