KIT | KIT-Bibliothek | Impressum | Datenschutz

Orel: Database-Driven Reasoning for OWL 2 Profiles

Krötzsch, Markus; ul Mehdi, Anees; Rudolph, Sebastian



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen-ID: 1000022617
Erschienen in Proceedings of the 23nd International Workshop on Description Logics (DL 2010), Waterloo, Canada, 4-7 May. Hrsg.: V. Haarslev
Verlag CEUR-WS, Aachen
Seiten 114-125
Serie CEUR Workshop Proceedings ; 573
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page