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 23rd International Conference on Automated Deduction (CADE 2011)
Pages70-84
Number of pages15
Publication statusPublished - 2011
Peer-reviewedYes

External IDs

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

Keywords

Keywords

  • unification, description logic