Enhancing probabilistic model checking with ontologies

DOI10.1007/S00165-021-00549-0MaRDI QIDQ2065528zbMATH OpenOpenAlexFDO

Authors Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Publication date 11 January 2022

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00165-021-00549-0

zbMATH Keywords

context dependent systems analysisdescription logicsontologiesontology-mediated verificationprobabilisticmodel checking

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Model checking probabilistic systems
• Model checking using description logic
• Expressive probabilistic description logics
• scientific article; zbMATH DE number 2080040
• scientific article; zbMATH DE number 2087806

Cites work

• An introduction to description logic
• Description logic knowledge and action bases
• HermiT: an OWL 2 reasoner
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 67501 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (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?)
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
• Linking Data to Ontologies
• Modeling role-based systems with exogenous coordination
• Module extraction in expressive ontology languages via Datalog reasoning
• Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Probabilistic description logics for subjective uncertainty
• Probabilistic models for the guarded command language
• Quantitative multi-objective verification for probabilistic systems
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• The OWL reasoner evaluation (ORE) 2015 competition report
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Using ontologies to query probabilistic numerical data
• Validation of Stochastic Systems
• Verification of Golog programs over description logic actions

Cited in

(2)

• OntCheck: an ontology-driven static correctness checking tool for component-based models
• Ontology-mediated probabilistic model checking

Describes a project that uses

Uses Software

• Pellet
• PRISM
• HermiT
• Konclude
• ELK
• Storm

This page was built for publication: Enhancing probabilistic model checking with ontologies

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