Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier

Beitragende

Details

OriginalspracheEnglisch
ErscheinungsortDresden, Germany
PublikationsstatusVeröffentlicht - 2018

Publikationsreihe

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

Externe IDs

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

Schlagworte