Unification in the Description Logic EL

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationRewriting Techniques and Applications
PublisherSpringer, Berlin [u. a.]
Pages350-364
Publication statusPublished - 2009
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 5595
ISSN0302-9743

External IDs

Scopus 70350647703
ORCID /0000-0002-4049-221X/work/142247912

Keywords

Keywords

  • Description Logics

Library keywords