video

sound

Persian Version

View:

739

Download:

0

Cites:

Information Journal Paper

Title

DISTRIBUTED REASONING ON ONTOLOGIES AND RULES IN ORDER- SORTED LOGIC

Pages

  53-65

Abstract

 Intelligent agents are considered as significant means towards realizing the semantic web vision. On the Semantic Web, integrating ONTOLOGIES AND RULES enables software agents to interoperate between them, however, this leads to a problem, that no studies have focused on effective DISTRIBUTED REASONING for integrating ONTOLOGIES AND RULES in multiple knowledge-bases. The methods that have been presented for DISTRIBUTED REASONING not only get a lot of times and memory, but also do not lead to a complete and sound reasoning. In this paper, to solve this problem, we present a DISTRIBUTED REASONING system that deals with the representation of the knowledge-base of order sorted logic. This logic is able to describe the hierarchy of predicates and inheritance of expressions that there are in our natural language. To have a DISTRIBUTED REASONING, our proposed method uses the expansion of rigid and valid-non-rigid properties between knowledge-bases. Furthermore, with considering time and the situation of properties for reasoning, the non-rigid properties have not been ignored, in fact, in their valid time and situation, they are used. With this method, we achieve a complete reasoning and, moreover, the extracted knowledge is completely considered in the knowledge-bases and we have a DISTRIBUTED REASONING with high efficiency and sound without missing any information.

Cites

  • No record.
  • References

  • No record.
  • Related Journal Papers

    Related Seminar Papers

  • No record.
  • Related Plans

  • No record.
  • Recommended Workshops

    Cite

    APA: Copy

    AMINI, M., & NAGHIBZADEH, M., & MOHTASHAMI, S. (2011). DISTRIBUTED REASONING ON ONTOLOGIES AND RULES IN ORDER- SORTED LOGIC. COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING), 2(3), 53-65. https://sid.ir/paper/203133/en

    Vancouver: Copy

    AMINI M., NAGHIBZADEH M., MOHTASHAMI S.H.. DISTRIBUTED REASONING ON ONTOLOGIES AND RULES IN ORDER- SORTED LOGIC. COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING). 2011 [cited 2023January29];2(3):53-65. Available from: https://sid.ir/paper/203133/en

    IEEE: Copy

    AMINI, M., NAGHIBZADEH, M., MOHTASHAMI, S., 2011. DISTRIBUTED REASONING ON ONTOLOGIES AND RULES IN ORDER- SORTED LOGIC. COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING), [online] 2(3), pp.53-65. Available: https://sid.ir/paper/203133/en.






    File Not Exists.