SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies

Publikation: Vorabdruck/Dokumentation/BerichtArbeitspapier

Details

OriginalspracheDeutsch
Seitenumfang37
PublikationsstatusVeröffentlicht - 2012

Publikationsreihe

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

Externe IDs

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

Schlagworte