Time-dependent concepts: representation and reasoning using temporal description logics

DOI10.1016/S0169-023X(96)00036-5zbMATH Open0907.68183MaRDI QIDQ4398741FDOQ4398741

Authors: Claudio Bettini 

Publication date: 23 July 1998

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Recommendations

• A survey of temporal extensions of description logics
• scientific article; zbMATH DE number 1931652
• Combining interval-based temporal reasoning with general TBoxes
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• LTL over description logic axioms

zbMATH Keywords

temporal reasoningdescription logicstemporal knowledgetaxonomiessubsumption algorithmstemporal objects

Mathematics Subject Classification ID

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

Cited In (11)

• Knowledge representation with multiple logical theories and time
• Queries on ontologies with temporal dependences on Allen's extended interval logic
• Combining interval-based temporal reasoning with general TBoxes
• \({\mathcal E}\)-connections of abstract description systems
• On coarser interval temporal logics
• Decidable temporal dynamic description logic
• Temporalizing description logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• Models of representation of temporal relations in intelligence decision support systems
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• A Correspondence between Temporal Description Logics

Uses Software

• OTTER

This page was built for publication: Time-dependent concepts: representation and reasoning using temporal description logics

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