Locality and Applications to Subsumption Testing in EL and Some of its Extensions
Scientific Annals of Computer Science. Bd. 23. H. 2. Iasi: Alexandru Ioan Cuza University of Iasi 2013 S. 251 - 284
Erscheinungsjahr: 2013
ISBN/ISSN: 2248-2695
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.7561/SACS.2013.2.251
| Geprüft | Bibliothek |
Inhaltszusammenfassung
