A Semi-automatic Proof of Strong Connectivity.

Ran Chen Jean-Jacques Lévy

Published in: VSTTE (2017)

Keyphrases

semi automatic
fully automatic
gold standard
domain ontology
semi automatically
ontology mapping
semantic annotation
design rationale
connected components
theorem prover
machine learning
co occurrence
knowledge management