12 citations · 34 across the 17 of their papers we have counts for
1 paper · 1 filter
Tomer Kotek, Mantas Simkus, Helmut Veith +1
We introduce a description logic ALCQIO_{b,Re} which adds reachability assertions to ALCQIO, a sub-logic of the two-variable fragment of first order logic with counting quantifiers…