Reducing SHIQ-description logic to disjunctive datalog programs

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

Seitenaufrufe: 24
seit 29.04.2018

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