UEL: Unification Solver for the Description Logic EL - System Description

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationAutomated Reasoning - 6th International Joint Conference, IJCAR 2012
PublisherSpringer, Berlin [u. a.]
Pages45-51
Number of pages7
Publication statusPublished - 2012
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 7364
ISSN0302-9743

Conference

Title6th International Joint Conference on Automated Reasoning
Abbreviated titleIJCAR 2012
Conference number6
Duration26 - 29 June 2012
Website
Degree of recognitionInternational event
LocationUniversity of Manchester
CityManchester
CountryUnited Kingdom

External IDs

Scopus 84863621053
ORCID /0000-0002-4049-221X/work/142247914

Keywords

Keywords

  • Unification, Description Logics

Library keywords