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

DOI10.1016/S0169-023X(96)00036-5zbMath0907.68183MaRDI QIDQ4398741

Claudio Bettini

Publication date: 23 July 1998

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

zbMATH Keywords

temporal reasoningdescription logicstemporal knowledgetaxonomiessubsumption algorithmstemporal objects

Mathematics Subject Classification ID

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

Related Items

A Cookbook for Temporal Conceptual Data Modelling with Description Logics, A Correspondence between Temporal Description Logics, On coarser interval temporal logics, Combining interval-based temporal reasoning with general TBoxes, \({\mathcal E}\)-connections of abstract description systems

Uses Software

• OTTER