Unification in the Description Logic EL

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Number of pages31
JournalLogical Methods in Computer Science
Volume6
Issue number3
Publication statusPublished - 2010
Peer-reviewedYes

External IDs

Scopus 77957604119
ORCID /0000-0002-4049-221X/work/142247823

Keywords

Keywords

  • Description logic, Unification