Ontology-Based Monitoring of Dynamic Systems

Franz BaaderFranz Baader

Download

Franz Baader
Ontology-Based Monitoring of Dynamic Systems
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 678-681, 2014. AAAI Press

Details
Bibtex

KurzfassungAbstract
Our understanding of the notion "dynamic system" is a rather broad one: such a system has states, which can change over time. Ontologies are used to describe the states of the system, possibly in an incomplete way. Monitoring is then concerned with deciding whether some run of the system or all of its runs satisfy a certain property, which can be expressed by a formula of an appropriate temporal logic. We consider different instances of this broad framework, which can roughly be classified into two cases. In one instance, the system is assumed to be a black box, whose inner working is not known, but whose states can be (partially) observed during a run of the system. In the second instance, one has (partial) knowledge about the inner working of the system, which provides information on which runs of the system are possible. In this paper, we will review some of our recent work that can be seen as instances of this general framework of ontology-based monitoring of dynamic systems. We will also mention possible extensions towards probabilistic reasoning and the integration of mathematical modeling of dynamical systems.
Bemerkung: Note: Invited contribution.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ Ba-KR-2014,
  address = {Vienna, Austria},
  author = {Franz {Baader}},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}},
  note = {Invited contribution.},
  pages = {678--681},
  publisher = {AAAI Press},
  title = {Ontology-Based Monitoring of Dynamic Systems},
  year = {2014},
}