Sciweavers

DILS
2010
Springer
14 years 18 days ago
On Matching Large Life Science Ontologies in Parallel
Matching life science ontologies to determine ontology mappings has recently become an active field of research. The large size of existing ontologies and the application of comple...
Anika Gross, Michael Hartung, Toralf Kirsten, Erha...
DILS
2008
Springer
14 years 1 months ago
Analyzing the Evolution of Life Science Ontologies and Mappings
Abstract. Ontologies are heavily developed and used in life sciences and undergo continuous changes. However, the evolution of life science ontologies and references to them (e.g.,...
Michael Hartung, Toralf Kirsten, Erhard Rahm
CADE
2006
Springer
14 years 11 months ago
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
Franz Baader, Carsten Lutz, Boontawee Suntisrivara...