Mathematical Logic for Life Science Ontologies

DOI10.1007/978-3-642-02261-6_4zbMath1246.68211OpenAlexW1605620672MaRDI QIDQ3638273

Frank Wolter, Carsten Lutz

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)

Related Items (6)

Progression of Decomposed Local-Effect Action Theories ⋮ 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 ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ On the relationship between the complexity of decidability and decomposability of first-order theories

Uses Software

• CASL

Cites Work

• Unnamed Item
• Unnamed Item
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Undefinability of propositional quantifiers in the modal system S4
• Semantic forgetting in answer set programming
• The Logical Difference Problem for Description Logic Terminologies
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• On an interpretation of second order quantification in first order intuitionistic propositional logic

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