elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains

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] 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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Westhofen, Lukaslukas.westhofen (at) dlr.dehttps://orcid.org/0000-0003-1065-4182NICHT SPEZIFIZIERT
Neurohr, Christianchristian.neurohr (at) dlr.dehttps://orcid.org/0000-0001-8847-5147NICHT SPEZIFIZIERT
Jung, Jean Christophjean.jung (at) tu-dortmund.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Neider, Danieldaniel.neider (at) tu-dortmund.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Finkbeiner, BerndNICHT SPEZIFIZIERThttps://orcid.org/0000-0002-4280-8441NICHT SPEZIFIZIERT
Kovács, LauraNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.