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

Javier Àlvez, Paqui Lucio and German Rigau
Additional contact information
Javier Àlvez: Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain
Paqui Lucio: Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain
German Rigau: Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain

International Journal on Semantic Web and Information Systems (IJSWIS), 2012, vol. 8, issue 4, 80-116

Abstract: In this paper, the authors present Adimen-SUMO, an operational ontology to be used by first-order theorem provers in intelligent systems that require sophisticated reasoning capabilities (e.g. Natural Language Processing, Knowledge Engineering, Semantic Web infrastructure, etc.). Adimen-SUMO has been obtained by automatically translating around 88% of the original axioms of SUMO (Suggested Upper Merged Ontology). Their main interest is to present in a practical way the advantages of using first-order theorem provers during the design and development of first-order ontologies. First-order theorem provers are applied as inference engines for reengineering a large and complex ontology in order to allow for formal reasoning. In particular, the authors’ study focuses on providing first-order reasoning support to SUMO. During the process, they detect, explain and repair several important design flaws and problems of the SUMO axiomatization. As a by-product, they also provide general design decisions and good practices for creating operational first-order ontologies of any kind.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 018/jswis.2012100105 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jswis0:v:8:y:2012:i:4:p:80-116

Access Statistics for this article

International Journal on Semantic Web and Information Systems (IJSWIS) is currently edited by Brij Gupta

More articles in International Journal on Semantic Web and Information Systems (IJSWIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().