6 citations · 17 across the 15 of their papers we have counts for
1 paper · 1 filter
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…