Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes

Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier

Beitragende

Details

OriginalspracheEnglisch
PublikationsstatusVeröffentlicht - 2011

Publikationsreihe

ReiheLTCS-Report
Nummer11-05
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

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

Schlagworte

Schlagwörter

  • description logic