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



Konev, Boris ORCID: 0000-0002-6507-0494, Wolter, Frank and Fortin, Marie
(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.

[img] 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: 18 Jan 2023 21:28
URI: https://livrepository.liverpool.ac.uk/id/eprint/3138391