17 citations · 35 across the 6 of their papers we have counts for
1 paper · 2 filters
Jean Christoph Jung, Fabio Papacchini, Frank Wolter +1
Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated q…