Ontology-mediated probabilistic model checking

DOI10.1007/978-3-030-34968-4_11zbMATH Open1540.68129MaRDI QIDQ6536352FDOQ6536352

Authors: Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan 

Publication date: 19 April 2024

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

Mathematics Subject Classification ID

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

Cites Work

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

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)