The Logical Difference for EL: From Terminologies Towards TBoxes.

Shasha Feng Michel Ludwig Dirk Walther

Published in: IWOST-1 (2015)

Keyphrases

description logics
snomed ct
model theoretic
dl lite
knowledge base
web services
data structure
expert systems
medical images
logical properties
logical operations
logical rules