Unification in the Description Logic EL is of Type Zero

Research output: Contribution to conferences › Paper › Contributed › peer-review

Contributors

Details

Original languageEnglish
Publication statusPublished - 2008
Peer-reviewedYes

Workshop

TitleInternational Workshop on Unification
Abbreviated titleUNIF
Conference number22
Duration18 July 2008
Degree of recognitionInternational event
Location
CityLinz
CountryAustria

External IDs

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

Keywords