Reasoning on temporal class diagrams: Undecidability results

DOI10.1007/S10472-006-9019-0MaRDI QIDQ862829zbMATHOpenAlexFDO

Authors Alessandro Artale

Publication date 24 January 2007

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-006-9019-0

zbMATH Keywords

description logicstemporal logicstemporal data models

Mathematics Subject Classification ID

Data structures (68P05) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning on UML class diagrams
• scientific article; zbMATH DE number 2089475
• Generalized constraint diagrams and the classical decision problem
• A Decidable Constraint Diagram Reasoning System
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Cites work

• scientific article; zbMATH DE number 1348742 (Why is no real title available?)
• scientific article; zbMATH DE number 1182728 (Why is no real title available?)
• scientific article; zbMATH DE number 1931652 (Why is no real title available?)
• scientific article; zbMATH DE number 814827 (Why is no real title available?)
• A survey of temporal extensions of description logics
• Many-dimensional modal logics: theory and applications
• Reasoning on UML class diagrams

Cited in

(1)

• Reasoning on UML class diagrams

This page was built for publication: Reasoning on temporal class diagrams: Undecidability results

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