A Well-founded Graph-based Summarization Framework for Description Logics.

Cheikh Brahim El Vaigh François Goasdoué

Published in: Description Logics (2021)

Keyphrases

description logics
taxonomic reasoning
knowledge base
reasoning mechanism
knowledge representation and reasoning
knowledge representation
reasoning tasks
computational properties
dl lite
knowledge representation formalisms
artificial intelligence
expert systems
reasoning systems
reasoning problems
owl dl