Efficient Axiom Pinpointing in EL using SAT Technology

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 29th International Workshop on Description Logics (DL'16)
Redakteure/-innenMaurizio Lenzerini, Rafael Peñaloza
Herausgeber (Verlag)CEUR Workshop Proceedings
Band1577
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa