7 citations · 20 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017
Automatic White-Box Testing of First-Order Logic Ontologies
Javier Álvez, Montserrat Hermo, Paqui Lucio +1
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerabl…
cs.AI2017★ 7 cited
Black-box Testing of First-Order Logic Ontologies Using WordNet
Javier Álvez, Paqui Lucio, German Rigau
Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commons…