KIT | KIT-Bibliothek | Impressum

Reducing SHIQ-description logic to disjunctive datalog programs

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



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Forschungsbericht
Jahr 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