Unification in the Description Logic EL

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seitenumfang31
FachzeitschriftLogical Methods in Computer Science
Jahrgang6
Ausgabenummer3
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Externe IDs

Scopus 77957604119
ORCID /0000-0002-4049-221X/work/142247823

Schlagworte

Schlagwörter

  • Description logic, Unification