Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with n-ary Roles and Numerical Domains
Fundamenta Informaticae. Bd. 156. H. 3-4. Amsterdam: IOS Press 2017 S. 361 - 411
Erscheinungsjahr: 2017
ISBN/ISSN: 1875-8681
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.3233/FI-2017-1612
| Geprüft | Bibliothek |
