Testing the Adequacy of Automated Explanations of EL Subsumptions.

Marvin R. G. Schiller Florian Schiller Birte Glimm

Published in: Description Logics (2017)

Keyphrases

description logics
semi automated
search based testing
fully automated
test cases
case study
explanatory power
medical images
generating explanations
context sensitive
data driven
databases
special case
multi agent
multiscale
web services
website