Unification in the Description Logic EL Without the Top Concept

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProc. of the 24th International Workshop on Description Logics (DL 2011)
Pages26-36
Number of pages11
Publication statusPublished - 2011
Peer-reviewedYes

External IDs

Scopus 84872923778
ORCID /0000-0002-4049-221X/work/142247861

Keywords

Keywords

  • unification, description logic