Interpolants and Explicit Definitions in Extensions of the Description Logic EL (2022)

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

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022