Ontology-mediated probabilistic model checking

DOI10.1007/978-3-030-34968-4_11MaRDI QIDQ6536352zbMATHFDO

Authors Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Publication date 19 April 2024

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Enhancing probabilistic model checking with ontologies
• Model checking probabilistic systems
• Model checking using description logic
• Abstraction of Probabilistic Systems
• scientific article; zbMATH DE number 2087806

Cites work

• scientific article; zbMATH DE number 67501 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• An introduction to description logic
• Description logic knowledge and action bases
• Linking Data to Ontologies
• Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Probabilistic models for the guarded command language
• The OWL reasoner evaluation (ORE) 2015 competition report
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Validation of Stochastic Systems
• Verification of Golog programs over description logic actions

This page was built for publication: Ontology-mediated probabilistic model checking

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