Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.

Text abstract-16.pdf - Published version Download (533kB) | Preview

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	27 Sep 2021 07:22
Last Modified:	27 Nov 2023 04:03
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3138391