Conservative Extensions in Horn Description Logics with Inverse Roles
type: Item
instance of: scholarly article
title: Conservative Extensions in Horn Description Logics with Inverse Roles
zbMATH Open document ID: 1445.68205
published in: Journal of Artificial Intelligence Research
publication date: 2020-06-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/2011.09858
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 7215193
MaRDI profile type: Publication
OpenAlex ID: W3029037574
arXiv ID: 2011.09858
DOI: 10.1613/JAIR.1.12182
Recommended article: Deciding inseparability and conservative extensions in the description logic
Recommended article: Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
Recommended article: Q3509053
Recommended article: Q4537448
Recommended article: Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Recommended article: On conservative extensions in logics with infinitary predicates
Recommended article: Q3408134
Recommended article: Q4268451
Recommended article: A description logic with transitive and inverse roles and role hierarchies
Recommended article: Role Conjunctions in Expressive Description Logics
description: scientific article; zbMATH DE number 7215193