We discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies. The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- Mathematical Logic for Life Science Ontologies
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA