Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification

Clemens DubslaffClemens Dubslaff, Patrick KoopmannPatrick Koopmann, Anni-Yasmin TurhanAnni-Yasmin Turhan

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
Proc. of 33rd International Workshop on Description Logics (DL), 2020

Details
Bibtex

KurzfassungAbstract
Recently, we have introduced ontologized programs as a formalism to link description logic ontologies with programs specified in the guarded command language, the de-facto standard input formalism for probabilistic model checking tools such as Prism, to allow for an ontology-mediated verification of stochastic systems. Central to our approach is a complete separation of the two formalisms involved: guarded command language to describe the dynamics of the stochastic system and description logics are used to model background knowledge about the system in an ontology. In ontologized programs, these two languages are loosely coupled by an interface that mediates between these two worlds. Under the original semantics defined for ontologized programs, a program may enter a state that is inconsistent with the ontology, which limits the capabilities of the description logic component. We approach this issue in different ways by introducing consistency notions, and discuss two alternative semantics for ontologized programs. Furthermore, we present complexity results for checking whether a program is consistent under the different semantics.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

@inproceedings{DKT2020,
  author    = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
  title     = {Give Inconsistency a Chance: Semantics for Ontology-Mediated
               Verification},
  booktitle = {Proc. of 33rd International Workshop on Description Logics (DL)},
  year      = {2020}
}