ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2011.09858
  4. Cited By
Conservative Extensions in Horn Description Logics with Inverse Roles

Conservative Extensions in Horn Description Logics with Inverse Roles

19 November 2020
J. C. Jung
C. Lutz
M. Martel
Thomas Schneider
ArXiv (abs)PDFHTML

Papers citing "Conservative Extensions in Horn Description Logics with Inverse Roles"

2 / 2 papers shown
Title
Conservative Extensions for Existential Rules
Conservative Extensions for Existential Rules
J. C. Jung
C. Lutz
J. Marcinkowski
13
1
0
11 Feb 2022
Query Inseparability for ALC Ontologies
Query Inseparability for ALC Ontologies
E. Botoeva
C. Lutz
Vladislav Ryzhikov
F. Wolter
Michael Zakharyaschev
20
14
0
31 Jan 2019
1