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

DOI10.1016/S0169-023X(96)00036-5MaRDI QIDQ4398741zbMATHFDO

Authors 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

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

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

Cited in

(11)

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

Describes a project that uses

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)