Mathematical Logic for Life Science Ontologies

DOI10.1007/978-3-642-02261-6_4MaRDI QIDQ3638273zbMATH OpenOpenAlexFDO

Authors Carsten Lutz, F. Wolter

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02261-6_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Mathematical logic of notions and concepts
• scientific article; zbMATH DE number 5046790
• (Mathematical) logic for systems biology (invited paper)
• Adding logic to the toolbox of molecular biology
• Contribution of the ontology engineering to mathematical knowledge management

Cites work

• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• Modular reuse of ontologies: theory and practice
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Semantic forgetting in answer set programming
• The Logical Difference Problem for Description Logic Terminologies
• Undefinability of propositional quantifiers in the modal system S4

Cited in

(8)

• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• On the relationship between the complexity of decidability and decomposability of first-order theories
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Progression of decomposed local-effect action theories
• scientific article; zbMATH DE number 7065571 (Why is no real title available?)
• scientific article; zbMATH DE number 5046790 (Why is no real title available?)
• Logic-based ontology comparison and module extraction, with an application to DL-Lite

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Mathematical Logic for Life Science Ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638273)