Mathematical Logic for Life Science Ontologies

Authors:
Carsten Lutz;Frank Wolter
Affiliations:
Department of Computer Science, University of Bremen, Germany;Department of Computer Science, University of Liverpool, UK
Venue:
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Year:
2009

Citing 15
Cited 2

Logical support for modularisation

Papers presented at the second annual Workshop on Logical environments
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Proof-Theoretic Approach to Description-Logic

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
An axiomatization of bisimulation quantifiers via the µ-calculus

Theoretical Computer Science
Semantic forgetting in answer set programming

Artificial Intelligence
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Logical Difference Problem for Description Logic Terminologies

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Semantic Modularity and Module Extraction in Description Logics

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular reuse of ontologies: theory and practice

Journal of Artificial Intelligence Research
Conservative extensions in expressive description logics

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Deciding inseparability and conservative extensions in the description logic EL

Journal of Symbolic Computation
Forgetting and uniform interpolation in large-scale description logic terminologies

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Conjunctive query answering in the description logic EL using a relational database system

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Matching patient records to clinical trials using ontologies

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference

Logic-based ontology comparison and module extraction, with an application to DL-Lite

Artificial Intelligence
Introductions to description logics: a guided tour

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.