Locality and Applications to Subsumption Testing in EL and Some of its Extensions.
Sci. Ann. Comp. Sci. Bd. 23. H. 2. 2013 S. 251 - 284
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.7561/SACS.2013.2.251
Geprüft | Bibliothek |