Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions.
CoRR. Bd. abs/1311.2973. 2013
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
CoRR. Bd. abs/1311.2973. 2013
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |