Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seitenumfang34
FachzeitschriftNotre Dame Journal of Formal Logic
Jahrgang57
Ausgabenummer4
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Externe IDs

Scopus 84992597304
ORCID /0000-0002-4049-221X/work/142247880

Schlagworte