Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2011.09858
Cited By
Conservative Extensions in Horn Description Logics with Inverse Roles
19 November 2020
J. C. Jung
C. Lutz
M. Martel
Thomas Schneider
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Conservative Extensions in Horn Description Logics with Inverse Roles"
2 / 2 papers shown
Title
Conservative Extensions for Existential Rules
J. C. Jung
C. Lutz
J. Marcinkowski
13
1
0
11 Feb 2022
Query Inseparability for ALC Ontologies
E. Botoeva
C. Lutz
Vladislav Ryzhikov
F. Wolter
Michael Zakharyaschev
20
14
0
31 Jan 2019
1
