A Framework for Reasoning about Dynamic Axioms in Description Logics.

Bartosz Bednarczyk Stéphane Demri Alessio Mansutti

Published in: IJCAI (2020)

Keyphrases

description logics
knowledge base
computational properties
reasoning tasks
knowledge representation
reasoning mechanism
taxonomic reasoning
reasoning systems
reasoning problems
reasoning services
semantic web
databases
expressive power
knowledge representation languages