Author:
Baader Franz,Borgwardt Stefan,Koopmann Patrick,Thost Veronika,Turhan Anni-Yasmin
Abstract
AbstractThe project “Semantic Technologies for Situation Awareness” was concerned with detecting certain critical situations from data obtained by observing a complex hard- and software system, in order to trigger actions that allow this system to save energy. The general idea was to formalize situations as ontology-mediated queries, but in order to express the relevant situations, both the employed ontology language and the query language had to be extended. In this paper we sketch the general approach and then concentrate on reporting the formal results obtained for reasoning in these extensions, but do not describe the application that triggered these extensions in detail.
Funder
Technische Universität Dresden
Publisher
Springer Science and Business Media LLC
Reference65 articles.
1. Alrabbaa C, Koopmann P, Turhan AY (2019) Practical query rewriting for DL-Lite with numerical predicates. In: GCAI 2019. Proceedings of the 5th global conference on artificial intelligence, EPiC series in computing, vol 65. pp 15–27
2. Baader F (2014) Ontology-based monitoring of dynamic systems. In: Proceedings of 14th international conference on principles of knowledge representation and reasoning. Invited contribution
3. Baader F, Bauer A, Baumgartner P, Cregan A, Gabaldon A, Ji K, Lee K, Rajaratnam D, Schwitter R (2009) A novel architecture for situation awareness systems. In: Proceedings of 18th international conference on automation reasoning with analytic tableaux and related methods
4. Baader F, Borgwardt S, Lippmann M (2013) Temporalizing ontology-based data access. In: Proceedings of 24th international conference on automated deduction
5. Baader F, Borgwardt S, Lippmann M (2015) Temporal conjunctive queries in expressive description logics with transitive roles. In: AI 2015: Advances in artificial intelligence, lecture notes in computer science, vol 9457. Springer, pp 21–33
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献