Reasoning on temporal class diagrams: Undecidability results

DOI10.1007/s10472-006-9019-0zbMath1109.68110OpenAlexW2042470127MaRDI QIDQ862829

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

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

Cites Work

• Many-dimensional modal logics: theory and applications
• A survey of temporal extensions of description logics
• Reasoning on UML class diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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