Reasoning on temporal class diagrams: Undecidability results

DOI10.1007/S10472-006-9019-0zbMATH Open1109.68110OpenAlexW2042470127MaRDI QIDQ862829FDOQ862829

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)

Cites Work

• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning on UML class diagrams
• A survey of temporal extensions of description logics
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Reasoning on UML class diagrams 👍 👎
• Title not available (Why is that?) 👍 👎
• Generalized constraint diagrams and the classical decision problem 👍 👎
• A Decidable Constraint Diagram Reasoning System 👍 👎
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics 👍 👎

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)