Mathematical Logic for Life Science Ontologies.

Carsten Lutz, Frank Wolter

Browse the full WoLLIC paper archive.