IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v11y2023i3p495-d1038284.html
   My bibliography  Save this article

Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning

Author

Listed:
  • Xixi Zhu

    (Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, Changsha 410073, China)

  • Bin Liu

    (Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, Changsha 410073, China)

  • Cheng Zhu

    (Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, Changsha 410073, China)

  • Zhaoyun Ding

    (Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, Changsha 410073, China)

  • Li Yao

    (Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, Changsha 410073, China)

Abstract

The ontology knowledge base (KB) can be divided into two parts: TBox and ABox, where the former models schema-level knowledge within the domain, and the latter is a set of statements of assertions or facts about instances. ABox reasoning is a process of discovering implicit knowledge in ABox based on the existing KB, which is of great value in KB applications. ABox reasoning is influenced by both the complexity of TBox and scale of ABox. The traditional logic-based ontology reasoning methods are usually designed to be provably sound and complete but suffer from long algorithm runtimes and do not scale well for ontology KB represented by OWL DL (Description Logic). In some application scenarios, the soundness and completeness of reasoning results are not the key constraints, and it is acceptable to sacrifice them in exchange for the improvement of reasoning efficiency to some extent. Based on this view, an approximate reasoning method for large-scale ABox in OWL DL KBs was proposed, which is named the ChunfyReasoner (CFR). The CFR introduces neural-symbolic learning into ABox reasoning and integrates the advantages of symbolic systems and neural networks (NNs). By training the NN model, the CFR approximately compiles the logic deduction process of ontology reasoning, which can greatly improve the reasoning speed while ensuring higher reasoning quality. In this paper, we state the basic idea, framework, and construction process of the CFR in detail, and we conduct experiments on two open-source ontologies built on OWL DL. The experimental results verify the effectiveness of our method and show that the CFR can support the applications of large-scale ABox reasoning of OWL DL KBs.

Suggested Citation

  • Xixi Zhu & Bin Liu & Cheng Zhu & Zhaoyun Ding & Li Yao, 2023. "Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning," Mathematics, MDPI, vol. 11(3), pages 1-24, January.
    • Handle: RePEc:gam:jmathe:v:11:y:2023:i:3:p:495-:d:1038284
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/11/3/495/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/11/3/495/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Nicola Guarino & Daniel Oberle & Steffen Staab, 2009. "What Is an Ontology?," International Handbooks on Information Systems, in: Steffen Staab & Rudi Studer (ed.), Handbook on Ontologies, pages 1-17, Springer.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Hai Zhu & Xingsi Xue & Hongfeng Wang, 2022. "Matching Ontologies through Multi-Objective Evolutionary Algorithm with Relevance Matrix," Mathematics, MDPI, vol. 10(12), pages 1-12, June.
    2. Xingsi Xue & Qi Wu & Miao Ye & Jianhui Lv, 2022. "Efficient Ontology Meta-Matching Based on Interpolation Model Assisted Evolutionary Algorithm," Mathematics, MDPI, vol. 10(17), pages 1-20, September.
    3. Parastoo Delgoshaei & Mohammad Heidarinejad & Mark A. Austin, 2022. "A Semantic Approach for Building System Operations: Knowledge Representation and Reasoning," Sustainability, MDPI, vol. 14(10), pages 1-18, May.
    4. R. B. K. Brown & G. Beydoun & G. Low & W. Tibben & R. Zamani & F. García-Sánchez & R. Martinez-Bejar, 2016. "Computationally efficient ontology selection in software requirement planning," Information Systems Frontiers, Springer, vol. 18(2), pages 349-358, April.
    5. Salvatore F. Pileggi & Marius Indorf & Ayman Nagi & Wolfgang Kersten, 2020. "CoRiMaS—An Ontological Approach to Cooperative Risk Management in Seaports," Sustainability, MDPI, vol. 12(11), pages 1-23, June.
    6. Nguyen Hoang Thuan & Pedro Antunes & David Johnstone, 2018. "A Decision Tool for Business Process Crowdsourcing: Ontology, Design, and Evaluation," Group Decision and Negotiation, Springer, vol. 27(2), pages 285-312, April.
    7. Jan Schweikert & Karl-Uwe Stucky & Wolfgang Süß & Veit Hagenmeyer, 2023. "A Photovoltaic System Model Integrating FAIR Digital Objects and Ontologies," Energies, MDPI, vol. 16(3), pages 1-21, February.
    8. Greig Charnock & Hug March & Ramon Ribera-Fumaz, 2021. "From smart to rebel city? Worlding, provincialising and the Barcelona Model," Urban Studies, Urban Studies Journal Limited, vol. 58(3), pages 581-600, February.

    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:gam:jmathe:v:11:y:2023:i:3:p:495-:d:1038284. 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.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with 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: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.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.