Enhancing probabilistic model checking with ontologies
From MaRDI portal
Publication:2065528
DOI10.1007/s00165-021-00549-0OpenAlexW3165143252MaRDI QIDQ2065528
Clemens Dubslaff, Anni-Yasmin Turhan, Patrick Koopmann
Publication date: 11 January 2022
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-021-00549-0
description logicsontologiescontext dependent systems analysisontology-mediated verificationprobabilisticmodel checking
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic models for the guarded command language
- Using ontologies to query probabilistic numerical data
- The OWL reasoner evaluation (ORE) 2015 competition report
- Modeling role-based systems with exogenous coordination
- HermiT: an OWL 2 reasoner
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Module Extraction in Expressive Ontology Languages via Datalog Reasoning
- Verification of Golog Programs over Description Logic Actions
- Probabilistic Description Logics for Subjective Uncertainty
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- An Introduction to Description Logic
- Quantitative Multi-objective Verification for Probabilistic Systems
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
- Description Logic Knowledge and Action Bases
- Validation of Stochastic Systems
- Linking Data to Ontologies
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
This page was built for publication: Enhancing probabilistic model checking with ontologies
