KIT | KIT-Bibliothek | Impressum | Datenschutz

Reducing SHIQ-description logic to disjunctive datalog programs

Motik, Boris; Sattler, U.; Hustadt, U.


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2003
Sprache Englisch
Identifikator KITopen-ID: 1000000805
Serie FZI-Report ; 1-8-11/03
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page