Reasoning on temporal class diagrams: Undecidability results

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

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

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

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?)

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)