Mathematical Logic for Life Science Ontologies

DOI10.1007/978-3-642-02261-6_4zbMath1246.68211MaRDI 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

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Progression of Decomposed Local-Effect Action Theories, Logic-based ontology comparison and module extraction, with an application to DL-Lite, 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

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