ABox Abduction Solver Exploiting Multiple DL Reasoners.

Drahomír Mrózek Júlia Pukancová Martin Homola

Published in: Description Logics (2018)

Keyphrases

description logics
owl dl
expressive description logics
knowledge base
ontology languages
expressive power
reasoning services
reasoning systems
digital libraries
expert systems
knowledge representation
logic programming
knowledge representation systems