27 citations · 58 across the 16 of their papers we have counts for
1 paper · 1 filter
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov +1
We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Li…