CEL - A Polynomial-Time Reasoner for Life Science Ontologies.

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn

Browse the full CADE paper archive.