Versenden
Drucken
Westhofen, Lukas und Neurohr, Christian und Jung, Jean Christoph und Neider, Daniel (2024) Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, 14570 (1). Springer Cham. Tools and Algorithms for the Construction and Analysis of Systems, 2024-04-06 - 2024-04-11, Luxembourg, Luxembourg. doi: 10.1007/978-3-031-57246-3. ISBN 978-3-031-57246-3. ISSN 0302-9743.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
1MB |
Offizielle URL: https://link.springer.com/book/10.1007/978-3-031-57246-3
| elib-URL des Eintrags: | https://elib.dlr.de/203563/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 4 April 2024 | ||||||||||||||||||||
| Erschienen in: | 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||
| Band: | 14570 | ||||||||||||||||||||
| DOI: | 10.1007/978-3-031-57246-3 | ||||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||||
| Verlag: | Springer Cham | ||||||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||||||
| ISBN: | 978-3-031-57246-3 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Temporal Conjunctive Queries, Description Logics, Temporal Logics | ||||||||||||||||||||
| Veranstaltungstitel: | Tools and Algorithms for the Construction and Analysis of Systems | ||||||||||||||||||||
| Veranstaltungsort: | Luxembourg, Luxembourg | ||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
| Veranstaltungsbeginn: | 6 April 2024 | ||||||||||||||||||||
| Veranstaltungsende: | 11 April 2024 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||||||
| Standort: | Oldenburg | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität | ||||||||||||||||||||
| Hinterlegt von: | Westhofen, M.Sc. Lukas | ||||||||||||||||||||
| Hinterlegt am: | 08 Apr 2024 10:47 | ||||||||||||||||||||
| Letzte Änderung: | 17 Mai 2024 09:46 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
