Locality and Subsumption Testing in EL and Some of its Extensions.

Viorica Sofronie-Stokkermans

Published in: Description Logics (2008)

Keyphrases

description logics
real time
np complete
machine learning
efficient implementation
response time
test cases
software testing
ontology reasoning
data sets
neural network
metadata
case study
digital libraries
test set
transitive closure