Combining interval-based temporal reasoning with general TBoxes

DOI10.1016/J.ARTINT.2003.08.001zbMATH Open1082.68106OpenAlexW2046015030MaRDI QIDQ814545FDOQ814545

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

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

zbMATH Keywords

ComplexityTree automataDescription logicTemporal reasoning

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Maintaining knowledge about temporal intervals
• Title not available (Why is that?)
• A propositional modal logic of time intervals
• Reasoning about temporal relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• Automata-theoretic techniques for modal logics of programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Consistency checking reduced to satisfiability of concepts in terminological systems
• A survey of temporal extensions of description logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporalizing description logics
• A Correspondence between Temporal Description Logics
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Time-dependent concepts: representation and reasoning using temporal description logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• PSpace Reasoning with the Description Logic ALCF(D)

Cited In (5)

• 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
• A survey of temporal extensions of description logics

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)