@inproceedings{novakovic:inria-00336704, TITLE = {{Proof-theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in EL w.r.t. Hybrid TBoxes}}, AUTHOR = {Novakovic, Novak}, URL = {https://inria.hal.science/inria-00336704}, BOOKTITLE = {{11th European Conference on Logics in Artificial Intelligence - JELIA 2008}}, ADDRESS = {Dresden, Germany}, EDITOR = {Steffen H{\"o}lldobler and Carsten Lutz and HeinrichWansing}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {5293}, PAGES = {311-323}, YEAR = {2008}, MONTH = Sep, DOI = {10.1007/978-3-540-87803-2}, HAL_ID = {inria-00336704}, HAL_VERSION = {v1}, }