Decidable temporal dynamic description logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1265.68253
DOI: 10.3724/SP.J.1001.2011.03869
author: Liang Chang
author: Zhongzhi Shi
author: Tianlong Gu
author: Xiaofeng Wang
published in: Journal of Software
publication date: 2012-10-05T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 6091519
zbMATH Keywords: dynamic description logic
zbMATH Keywords: branching temporal logic
zbMATH Keywords: knowledge representation
zbMATH Keywords: action theory
zbMATH Keywords: tableau decision algorithm
MaRDI profile type: MaRDI publication profile
Recommended article: Temporalizing description logics
Recommended article: Temporally attributed description logics
Recommended article: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Recommended article: Time-dependent concepts: representation and reasoning using temporal description logics
Recommended article: Temporal logic programs with temporal description logic axioms
Recommended article: A Correspondence between Temporal Description Logics
Recommended article: Decidable temporal and sequential relevant logics*
Recommended article: A survey of temporal extensions of description logics
Recommended article: Q4329248
Recommended article: Q4230717
title: Decidable temporal dynamic description logic
description: scientific article; zbMATH DE number 6091519