Making Axiom Weakening Work in SROIQ.

Roland Bernard Oliver Kutz Nicolas Troquard

Published in: Description Logics (2023)

Keyphrases

description logics
expressive description logics
reasoning tasks
database
domain specific
semantic web