On Free Description Logics with Definite Descriptions (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

Parent Publication: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021