Enhancing probabilistic model checking with ontologies
type: Item
instance of: scholarly article
title: Enhancing probabilistic model checking with ontologies
author: Clemens Dubslaff
author: Patrick Koopmann
author: Anni-Yasmin Turhan
published in: Formal Aspects of Computing
publication date: 2022-01-11T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7455772
zbMATH Keywords: probabilisticmodel checking
zbMATH Keywords: ontologies
zbMATH Keywords: description logics
zbMATH Keywords: ontology-mediated verification
zbMATH Keywords: context dependent systems analysis
describes a project that uses: Pellet
describes a project that uses: PRISM
describes a project that uses: HermiT
describes a project that uses: Konclude
describes a project that uses: ELK
describes a project that uses: Storm
MaRDI profile type: Publication
full work available at URL: s00165-021-00549-0
OpenAlex ID: W3165143252
cites work: Q4406531
cites work: Q4012242
cites work: An Introduction to Description Logic
cites work: Q5322945
cites work: Using ontologies to query probabilistic numerical data
cites work: Ontology-Mediated Query Answering with Data-Tractable Description Logics
cites work: Q3680754
cites work: Verification of Golog Programs over Description Logic Actions
cites work: Modeling role-based systems with exogenous coordination
cites work: Q5740438
cites work: Tractable reasoning and efficient query answering in description logics: The DL-Lite family
cites work: Q4144755
cites work: Quantitative Multi-objective Verification for Probabilistic Systems
cites work: HermiT: an OWL 2 reasoner
cites work: Description Logic Knowledge and Action Bases
cites work: Probabilistic models for the guarded command language
cites work: The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
cites work: Probabilistic Description Logics for Subjective Uncertainty
cites work: Validation of Stochastic Systems
cites work: Linking Data to Ontologies
cites work: The OWL reasoner evaluation (ORE) 2015 competition report
cites work: Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
cites work: Q4315289
cites work: Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
cites work: Module extraction in expressive ontology languages via Datalog reasoning
cites work: Q4012244
DOI: 10.1007/S00165-021-00549-0
description: scientific article; zbMATH DE number 7455772