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 (5)

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

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