IDEAS home Printed from https://ideas.repec.org/a/igg/jswis0/v8y2012i4p80-116.html
   My bibliography  Save this article

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

Author

Listed:
  • 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)

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.

Suggested Citation

  • Javier Àlvez & Paqui Lucio & German Rigau, 2012. "Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning," International Journal on Semantic Web and Information Systems (IJSWIS), IGI Global, vol. 8(4), pages 80-116, October.
    • Handle: RePEc:igg:jswis0:v:8:y:2012:i:4:p:80-116
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jswis.2012100105
    Download Restriction: no
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jswis0:v:8:y:2012:i:4:p:80-116. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.