Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.
Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.3233/FI-2017-1612
Geprüft | Bibliothek |