External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Making Axiom Weakening Work in SROIQ

Roland Bernard, Oliver Kutz, Nicolas Troquard. Making Axiom Weakening Work in SROIQ. In Oliver Kutz, Carsten Lutz, Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Authors

Roland Bernard

This author has not been identified. Look up 'Roland Bernard' in Google

Oliver Kutz

This author has not been identified. Look up 'Oliver Kutz' in Google

Nicolas Troquard

This author has not been identified. Look up 'Nicolas Troquard' in Google
runs on