Metric temporal description logics with interval-rigid names

DOI10.1007/978-3-319-66167-4_4MaRDI QIDQ1687541zbMATH OpenOpenAlexFDO

Authors Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost

Publication date 4 January 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66167-4_4

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Metric temporal description logics with interval-rigid names
• On metric temporal description logics
• Metric temporal logic revisited
• DL-Lite with temporalised concepts, rigid axioms and roles
• A survey of temporal extensions of description logics

Cited in

(6)

• Theorem proving for pointwise metric temporal logic over the naturals via translations
• First-order rewritability of ontology-mediated queries in linear temporal logic
• On metric temporal description logics
• Metric temporal description logics with interval-rigid names
• Temporal Minimal-World Query Answering over Sparse ABoxes
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications

This page was built for publication: Metric temporal description logics with interval-rigid names

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1687541)