Extending Consequence-Based Reasoning to SHIQ.

Andrew Bate Boris Motik Bernardo Cuenca Grau Frantisek Simancik Ian Horrocks

Published in: Description Logics (2015)

Keyphrases

description logics
database
data sets
medical terminology
multi agent
data model
query language
upper bound
worst case