\mathcal{ALCQ} via SMT.

Volker Haarslev Roberto Sebastiani Michele Vescovi

Published in: CADE (2011)

Keyphrases

description logics
transitive closure of roles
refinement operators
statistical machine translation
knowledge base
knowledge representation
word alignment
multiscale
machine translation system
social networks
multimedia
image segmentation
information extraction
rough sets