Conservative Extensions in Horn Description Logics with Inverse Roles

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

Journal title: Journal of Artificial Intelligence Research (JAIR)

Journal publisher: Morgan Kaufmann Publishers, Inc.

Published year: 2020

ISSN: 1076-9757