Skip to Content

Fakultät für Informatik TU Wien KBS Knowledge Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > loctrafflog >

Tools: Drucken

LocTraffLog - Lightweight Methods of KR&R for sensor-based Local Traffic Management Systems

supported by the Österreichische Forschungsförderungsgesellschaft mbH (FFG) under the Industrienahe Dissertationen of Patrik Schneider.


Project Team

Software and Publications

Thomas Eiter, Thomas Krennwallner, Patrik Schneider.
Lightweight Spatial Conjunctive Query Answering using Keywords. (Previous Work)
The 10th Extended Semantic Web Conference (ESWC 2013), Montpelier, France
Paper (Extended Version)

Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao.
A Rule-based Framework for Creating Instance Data from OpenStreetMap.
The 9th International Conference on Web Reasoning and Rule Systems 2015 (RR 2015), Berlin, Germany
Details on experiments and tools
Paper (Extended Version)

Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider.
Towards a Semantically Enriched Local Dynamic Map.
23rd ITS World Congress 2016 (ITSWC 2016), Melbourne, Australia

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider.
Towards Spatial Ontology-Mediated Query Answering over Mobility Streams.
Stream Reasoning Workshop 2016 (SR 2016) at the 15th International Semantic Web Conference, Kobe, Japan
Details on experiments

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider.
Spatial Ontology-Mediated Query Answering over Mobility Streams.
The 14th Extended Semantic Web Conference (ESWC 2017), Portoroz, Slovenia
Won Best Research Paper Award
Details on experiments

Patrik Schneider.
Event Detection and Diagnosis for Intelligent Transport Systems.
Doctoral Consortium of the RuleML+RR 2017: International Joint Conference on Rules and Reasoning, London, UK

Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider.
Towards a Semantically Enriched Local Dynamic Map.
Submitted to International Journal of Intelligent Transportation Systems Research

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider.
Detecting Mobility Patterns using Spatial Query Answering over Streams.
Submitted to Stream Reasoning Workshop 2017 (SR 2017) at the 16th International Semantic Web Conference, Vienna, Austira
Details on experiments

Motivation and Background

In the EU FP7 project SAFESPOT the authors consider "Road Intersection Safety" as an important application for Car2X / Car-to-Infrastructure Communication and their related local traffic management systems (LTMS) like traffic lights. According to them, intersections are the most complex environments and need special attention. They identified events like "obstructed view at intersection" and "permission denial to go-ahead" as intersection safety risks, which could lead to critical situations. Additionally, these systems should have the ability to react on a fast changing (traffic) environment.

However, standard sensor-based LTMS with limited memory and processing resources, still miss the methods and tools to detect events, analyze the situations by diagnosis, and react accordingly. This should lead to a reduction of maintenance and deployment costs, since the LTMS operate in a "plug and automate" manner. Further, a distributed environment has to be taken into account where different LTMS collaborate (and communicate) among themselves.

Goal of the Project

LocTraffLog aims to fill this gap by providing lightweight Knowledge Representation & Reasoning methods, which will be applied to support automatic parameter configuration and diagnosis in sensor-based LTMS. As a preliminary objective, we aim to develop an integration layer based on a sensor ontology for connecting different (stream-based) data from sensors and other data sources. Then we aim to fulfill the following objectives based on the integration layer:

  • 1. Objective: Evaluation and extension of existing methods and techniques for complex event processing;
  • 2. Objective: Lightweight methods and techniques for model-based diagnosis;
  • 3. Objective: Extension of model-based diagnosis for automatic parameter configuration;
  • 4. Objective: Development and evaluation of a prototype, which should run on current distributed (peer-to-peer) systems.

LocTraffLog addresses the above objectives using "general" research methods for every objective, starting with an in-depth review of state-of-the-art methods and techniques. The methods and techniques are evaluated to check whether they are suitable for tractable (having polynomial complexity) reasoning taking into account the requirements, which are derived from the use-cases and the objectives.

For Objective 1 we will combine ontologies and rule-based technologies for spatial stream-reasoning, which should lead to complex event processing. In Objective 2, we will enable model-based diagnosis by defining a formal diagnosis problem and then encoding the problem into a standard evaluation method from Logic Programming. For Objective 3, we extend the model-based diagnosis by an optimization step w.r.t some cost function and a repair step, whereas the repairs could be decoded back to parameter and commands of a LTMS.

Besides publications and the PhD thesis of Patrik Schneider, the project results will be a background knowledge base (BKB) for LTMS represented by a lightweight ontology, a rule-based framework for complex event processing and model-based diagnosis with an optimization and a repair step. Finally, we will provide an implementation of a prototype in a distributed (peer-to-peer) environment, which will be used for qualitative and quantitative evaluation.

State of the Project and Outlook

The project started in October 2015 and will end int October 2018.

Related Work

[Andreone et al., 2010]
L. Andreone, R. Brignolo, S. Damiani, F. Sommariva, G. Vivo, S. Marco (2010). D8.1.1 - SAFESPOT Final Report. Technical report. Available at Upload/Documents/201303/20130329_130257_17414_D8.1.1_Final_Report__Public_v1.0.pdf.
[Anicic et al., 2011]
D. Anicic, P. Fodor, S. Rudolph, R. Stühmer, N. Stojanovic, and R Studer. Etalis: Rule-based reasoning in event processing. In Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational Intelligence, 99-124. Springer, 2011.
[Arasu et al., 2006]
A. Arasu, S. Babu, J. Widom. The CQL continuous query language: semantic foundations and query execution. VLDB Journal, 15(2), 121-142, 2006.
[C. Baral, 2002]
C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2002.
[Barbieri et al., 2010]
D. F. Barbieri, D. Braga, S. Ceri, and M. Grossniklaus. An execution environment for c-sparql queries. In Proc. of EDBT 2010, 441-452. ACM, 2010.
[Beck et al., 2012]
H. Beck, T. Eiter, and T. Krennwallner. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. In Proc. of JELIA 2012. Springer, 2012.
[Beck et al., 2015]
H. Beck, M. Dao-Tran, T. Eiter, M. Fink. LARS: A Logic-based Framework for Analyzing Reasoning over Streams. 29th AAAI Conference, 2015.
[Berners-Lee et al., 2001]
T. Berners-Lee, J. Hendler, O. Lassila (2001). The semantic web. Scientific American 284(5), 34-43.
[Calvanese et al., 2007]
D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Reasoning, 39(3), 385-429, 2007.
[Kompfner, 2010]
P. Kompfner. D.CVIS.1.3 - Final Activity Report Period: 01/02/2006 to 30/06/2010. Technical report, CVIS (FP6-2004-IST-4-027293-IP), 2010. Available at .
[Eiter et al., 1998]
T. Eiter, G. Gottlob, and N. Leone. Abduction from Logic Programs: Semantics and Complexity. Theoretical Computer Science 189 (1-2), 129-177, 1998.
[Eiter et al., 1999]
T. Eiter, W. Faber, N. Leone, and G Pfeifer. The diagnosis frontend of the dlv system. AI Communications, 12, 12-1, 1999.
[Eiter et al., 2008]
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits. Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172 (12), 1495-1539, 2008.
[Eiter et al., 2012]
T. Eiter, M. Ortiz, M. Simkus, T.K. Tran, and G. Xiao. Query rewriting for Horn-SHIQ plus rules. In Proc. of AAAI 2012. AAAI Press, 2012.
[Koenders et al., 2014]
E. Koenders, D. Oort, K. Rozema (2014). An open Local Dynamic Map. In: Proc. of ITS European Congress 2014, ERTICO - ITS Europe.
[Özcep et al., 2014]
Ö. L. Özcep, R. Möller, C. Neuenstadt. A Stream-Temporal Query Language for Ontology Based Data Access. In Proc. of Description Logics 2014, 696-708. 2014.
[Poole, 1989]
D. Poole. Normality and faults in logic-based diagnosis. In IJCAI 1989, 1304-1310, 1989.
[Rodriguez-Muro et al., 2013]
M. Rodriguez-Muro, R. Kontchakov, M. Zakharyaschev: Ontology-Based Data Access: Ontop of Databases. In Proc. of ISWC 2013, Volume 8218 of LNCS, 558-573. Springer, 2013.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.