Adimen-SUMO is an off-the-shelf first-order ontology that has been obtained by reengineering out of the 88% of SUMO (Suggested Upper Merged Ontology). Adimen-SUMO can be used appropriately by FO theorem provers (like E-Prover or Vampire) for formal reasoning.
The contribution of Adimen-SUMO to the area of ontological formal reasoning is threefold. Firstly, we translated SUMO from its original format into the standard first order language. Secondly, we used first-order theorem provers as inference engines for debugging the ontology. Thus, we detected and repaired several significant problems with the axiomatization of the SUMO ontology. Problems we encountered include incorrectly defined axioms, redundancies, non-desirable properties, and axioms that do not produce expected logical consequences. Thirdly, as a result of the process of adapting the SUMO ontology, we discovered a basic design problem of the ontology which impedes its appropriate use with first order theorem provers. Consequently, we also propose a new transformation to overcome this limitation. As a result of this process, we obtain a validated first-order version of the ontology to be used by first-order theorem provers.
NEW! [2018/12] A Framework for the Evaluation of SUMO-based Ontologies Using WordNet: [EvaluationFramework.2018-12.zip]
[2017/05][Updated: 2018/03] The last release of Adimen-SUMO v2.6: [AdimenSUMO2.6.zip]
Related resources:
[2016/05] ATP system evaluation [VAMPIRE2016.zip]
[2015/09] Adimen-SUMO portal.
[2012/10] Adimen-SUMO v2.2: [AdimenSUMO2.2.zip]
License
This package is distributed under Attribution 3.0 Unported (CC BY 3.0) license. You can find it at http://creativecommons.org/licenses/by/3.0.
Publications
Alvez J., Gonzalez-Dios I. and Rigau G. Towards Effective Correction Methods Using WordNet Meronymy Relations. Accepted for publication in the 12th Global WordNet Conference (GWC 2023). Donostia / San Sebastian, Basque Country. 2023. Electronic material: [CorrectionMethodsUsingMember.zip]
Alvez J., Gonzalez-Dios I. and Rigau G. Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), Frontiers in Artificial Intelligence and Applications, Volume 325, Pages 585--592. Santiago de Compostela, Spain. 2020. Electronic material: [ApplyingCWA.zip]
Gonzalez-Dios I., Álvez J. and Rigau G. Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities. Proceedings of the Workshop on Multimodal Wordnets (MMWN-2020), pages 1–6. Marseille, France 2020.
Gonzalez-Dios I., Alvez J. and Rigau G. Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis. Proceedings of the 10th Global WordNet Conference (GWC 2019). Wroclaw, Poland. 2019.
Gonzalez-Dios I., Alvez J. and Rigau G. Exploiting Metonymy from Available Knowledge Resources. Accepted for publication in the 20th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2019). LNCS Volume. 2019.
Alvez J., Lucio P. and Rigau G. A Framework for the Evaluation of SUMO-based Ontologies Using WordNet. IEEE Access. Volume 7. 2019. Electronic material: [EvaluationFramework.2018-12.zip]
Alvez J., Hermo M., Lucio P. and Rigau G. Automatic White-Box Testing of First-Order Logic Ontologies. Journal of Logic and Computation, Volume 29, Issue 5, September 2019, Pages 723--751. Also avalaible at https://arxiv.org/abs/1705.10219v3. Electronic material: [WhiteBox.Benchmark.zip] [WhiteBox.ExecutionReports.zip]
Alvez J., Gonzalez-Dios I. and Rigau G. Towards Word Sense Disambiguation by Reasoning. Proceedings of the 5th and 6th Vampire Workshops (Vampire 2018 and Vampire 2019). 2019. [Slides]
Alvez J., Gonzalez-Dios I. and Rigau G. Validating WordNet Meronymy Relations Using Adimen-SUMO. https://arxiv.org/abs/1805.07824. 2018. Electronic material: [ValidatingWordNetMapping.zip]
Alvez J., Gonzalez-Dios I. and Rigau G. Cross-checking WordNet and SUMO Using Meronymy. Proceedings of the 11th Language Resources and Evaluation Conference (LREC 2018). Miyazaki, Japan. 2018. Electronic material: [MeronymyBenchmark.zip] [Meronymy.ExecutionReports.zip]
Alvez J. and Rigau G. Towards Cross-checking WordNet and SUMO Using Meronymy. Proceedings of the 9th Global WordNet Conference (GWC 2018). Singapore. 2018
Alvez J. Lucio P. and Rigau G. Black-box Testing of First-Order Logic Ontologies Using WordNet. https://arxiv.org/abs/1705.10217. 2018. Electronic material: [BlackBoxBenchmark.zip] [BlackBox.ExecutionReports.zip]
Alvez J. Lucio P. and Rigau G. Evaluating Automated Theorem Provers Using Adimen-SUMO. Proceedings of the 3rd Vampire Workshop at the 8th International Joint Conference on Automated Reasoning (IJCAR 2016). Coimbra. Portugal. 2016. [electronic edition @ easychair.org] ATP system evaluation: [VAMPIRE2016.zip]
Alvez J. Lucio P. and Rigau G. Evaluating the Competency of a First-Order Ontology. Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015. [DOI]
Alvez J. Lucio P. and Rigau G. Improving the Competency of First-Order Ontologies. Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015. [DOI] [Slides]
Alvez J., Lucio P. and Rigau G. Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. International Journal on Semantic Web and Information Systems (IJSWIS). Volume 8 (4). IGI Global, USA. 2012.
Alvez J., Lucio P. and Rigau G. Providing First-Order Reasoning Support to Large and Complex Ontologies. KYOTO Technical Report TR007/WP06. 2010.