On metric temporal description logics

DOI10.3233/978-1-61499-672-9-837MaRDI QIDQ4576218zbMATH OpenOpenAlexFDO

Authors Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki

Publication date 12 July 2018

Full work available at URL http://dx.doi.org/10.3233/978-1-61499-672-9-837

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Metric temporal logic revisited
• Metric temporal description logics with interval-rigid names
• Metric temporal description logics with interval-rigid names
• Metric temporal logic with durations
• Some Recent Results in Metric Temporal Logic
• Temporalizing description logics
• scientific article; zbMATH DE number 7056237
• The Expressive Power of Temporal and First-Order Metric Logics
• A Correspondence between Temporal Description Logics
• On the expressiveness of metric temporal logic over bounded timed words

Cited in

(16)

• Metric temporal description logics with interval-rigid names
• Theorem proving for pointwise metric temporal logic over the naturals via translations
• First-order rewritability of ontology-mediated queries in linear temporal logic
• Metric temporal answer set programming over timed traces
• On Process-Algebraic Extensions of Metric Temporal Logic
• Complexity of branching temporal description logics
• A Correspondence between Temporal Description Logics
• Querying log data with metric temporal logic
• On Metric Temporal Łukasiewicz Logic
• The Expressive Power of Temporal and First-Order Metric Logics
• Metric temporal description logics with interval-rigid names
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• Temporal Minimal-World Query Answering over Sparse ABoxes
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Reasoning about time in DatalogMTL: course notes (invited paper)

This page was built for publication: On metric temporal description logics

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