KIT | KIT-Bibliothek | Impressum

Reasoning in description logics using resolution and deductive databases

Motik, Boris



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Hochschulschrift
Jahr 2006
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-37972
KITopen ID: 1000003797
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Prüfungsdaten 09.01.2006
Referent/Betreuer Prof. R. Studer
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page