Combining interval-based temporal reasoning with general TBoxes

DOI10.1016/J.ARTINT.2003.08.001MaRDI QIDQ814545zbMATH OpenOpenAlexFDO

Authors Carsten Lutz

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2003.08.001

zbMATH Keywords

ComplexityTree automataDescription logicTemporal reasoning

Mathematics Subject Classification ID

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

Recommendations

• Temporalizing description logics
• scientific article; zbMATH DE number 1249651
• LTL over description logic axioms
• scientific article; zbMATH DE number 1931652
• A survey of temporal extensions of description logics

Cites work

• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 67501 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• scientific article; zbMATH DE number 1249651 (Why is no real title available?)
• scientific article; zbMATH DE number 1149417 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1765661 (Why is no real title available?)
• scientific article; zbMATH DE number 1765666 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• scientific article; zbMATH DE number 1405451 (Why is no real title available?)
• scientific article; zbMATH DE number 2196595 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• A Correspondence between Temporal Description Logics
• A propositional modal logic of time intervals
• A survey of temporal extensions of description logics
• Attributive concept descriptions with complements
• Automata-theoretic techniques for modal logics of programs
• Consistency checking reduced to satisfiability of concepts in terminological systems
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Maintaining knowledge about temporal intervals
• PSpace Reasoning with the Description Logic ALCF(D)
• Reasoning about temporal relations
• Temporalizing description logics
• Time-dependent concepts: representation and reasoning using temporal description logics

Cited in

(9)

• Constraint automata on infinite data trees: from \(\mathrm{CTL}(\mathbb{Z})/\mathrm{CTL}^*(\mathbb{Z})\) to decision procedures
• LTL over description logic axioms
• Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
• A tableau algorithm for description logics with concrete domains and general TBoxes
• A Correspondence between Temporal Description Logics
• An algebraic view on p-admissible concrete domains for lightweight description logics
• Temporally attributed description logics
• A survey of temporal extensions of description logics
• A study on temporal fuzzy DLs based on temporal interval relationship

Describes a project that uses

Uses Software

• Racer

This page was built for publication: Combining interval-based temporal reasoning with general TBoxes

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