CEL - A Polynomial-Time Reasoner for Life Science Ontologies
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/cade/BaaderLS06,
author = {Franz Baader and
Carsten Lutz and
Boontawee Suntisrivaraporn},
title = {CEL - A Polynomial-Time Reasoner for Life Science Ontologies},
booktitle = {IJCAR},
year = {2006},
pages = {287-291},
ee = {http://dx.doi.org/10.1007/11814771_25},
crossref = {DBLP:conf/cade/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
