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

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

Authors Claudio Bettini

Publication date 23 July 1998

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

Full work available at URL https://doi.org/10.1016/S0169-023X(96)00036-5

zbMATH Keywords

description logicssubsumption algorithmstaxonomiestemporal knowledgetemporal objectstemporal reasoning

Mathematics Subject Classification ID

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

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)

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

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)