Up a level |
Number of items: 1.
Jung, JC, Mazzullo, A and Wolter, F ORCID: 0000-0002-4470-606X
(2022)
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
.
Up a level |
Jung, JC, Mazzullo, A and Wolter, F ORCID: 0000-0002-4470-606X
(2022)
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000