Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions (2021)

First Author: Artale A.
Attributed to:  quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 7

Parent Publication: 35th AAAI Conference on Artificial Intelligence, AAAI 2021