Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning

Javier Álvez, Paqui Lucio, German Rigau. Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. Int. J. Semantic Web Inf. Syst., 8(4):80-116, 2012. [doi]

Abstract

Abstract is missing.