activity
20112015
most citedDescription Logic TBoxes: Model-theoretic Characterizations and Rewritability

23 citations · 38 across the 4 of their papers we have counts for

collaborators
Showing 2013 · cs.LOShow all

1 paper · 2 filters

cs.LO2013★ 7 cited

Model Theoretic Characterisations of Description Logics

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…