Explorer les théorèmes d'une Tbox.

Published in: IC (2013)

Keyphrases

description logics
knowledge base
reasoning tasks
web browser
dl lite
data mining
computational complexity
expert systems
temporal reasoning
manufacturing process