Locality and Subsumption Testing in EL and Some of its Extensions.
Description Logics. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Description Logics. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |