Unification in the Description Logic EL Without the Top Concept

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

Beitragende

Details

OriginalspracheEnglisch
TitelProc. of the 23rd International Conference on Automated Deduction (CADE 2011)
Seiten70-84
Seitenumfang15
PublikationsstatusVeröffentlicht - 2011
Peer-Review-StatusJa

Externe IDs

Scopus 80051673586
ORCID /0000-0002-4049-221X/work/142247860

Schlagworte

Schlagwörter

  • unification, description logic