Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery.

Lili Mou Ge Li Zhi Jin Lu Zhang

Published in: KSEM (2014)

Keyphrases

semi automatically
manually constructed
data sets
coarse to fine
hierarchical model
scientific discovery
database
data mining
keywords
multiresolution
knowledge discovery
model checking
visualization tool
formal verification
hierarchical structures