Computing local unifiers in the description logic EL without the top concept

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

Beitragende

Details

OriginalspracheDeutsch
TitelProceedings of the 25th International Workshop on Unification (UNIF’11)
Seiten2-8
PublikationsstatusVeröffentlicht - 2011
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0002-4049-221X/work/142247893

Schlagworte