×
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika

Metric temporal description logics with interval-rigid names. (English) Zbl 1446.68145

ACM Trans. Comput. Log. 21, No. 4, Article No. 30, 46 p. (2020).

Cited in 3 Documents

MSC:

68T27 Logic in artificial intelligence
03B44 Temporal logic
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68T30 Knowledge representation

Keywords:

temporal description logics; interval-rigid names; metric temporal logics
Cite Review PDF
Full Text: DOI