23 citations · 38 across the 4 of their papers we have counts for
1 paper · 1 filter
Robert Piro
This thesis studies the model theoretic properties of the Description Logics (DLs) ALC, ALCI, ALCQ, as well as ALCO, ALCQO, ALCQIO and EL. TBoxes of ALC, ALCI and ALCQ are characte…