[1] Zhang Xiaowang, Xiao Guohui, Lin Zuoquan, et al. Updating ontologies and general rules [J]. Journal of Southeast University (English Edition), 2009, 25 (4): 477-481. [doi:10.3969/j.issn.1003-7985.2009.04.013]

Copy

Updating ontologies and general rules()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

25

Issue:

2009 4

Page:

477-481

Research Field:

Computer Science and Engineering

Publishing date:

2009-12-30

Info

Title:

Updating ontologies and general rules

Author(s):

Zhang Xiaowang¹;  2;  Xiao Guohui¹;  Lin Zuoquan¹

¹Department of Information Science, Peking University, Beijing 100871, China
²School of Mathematical Sciences, Anhui University, Hefei 230039, China

Keywords:

semantic web;  rule;  inconsistency handling;  updating

PACS:

TP311

DOI:

10.3969/j.issn.1003-7985.2009.04.013

Abstract:

Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea “abandoning the old for the new”, the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.

References:

[1] Berners-Lee T, Hendler J, Lassila O. The semantic web [J]. Scientific American, 2001, 284(5): 35-43.
[2] Eiter T, Ianni G, Lukasiewicz T, et al. Combining answer set programming with description logics for the semantic web [J]. Artif Intell, 2008, 172(12/13): 1495-1539.
[3] Eiter T, Ianni G, Polleres A, et al. Reasoning with rules and ontologies [C]//Proc of the 2nd International Summer School Reasoning Web. Berlin: Springer-Verlag, 2006, 4126: 93-127.
[4] Mei J, Lin Z, Boley H. ALC^U_P: an integration of description logic and general rules [C]//Proc of the 1st International Conference on Web Reasoning and Rule Systems. Berlin: Springer-Verlag, 2007, 4524: 163-177.
[5] Ma Y, Hitzler P, Lin Z. Algorithms for paraconsistent reasoning with OWL [C]//Proc of the 4th European Semantic Web Conference. Berlin: Springer-Verlag, 2007, 4519: 399-413.
[6] Zhang X, Lin Z. Paraconsistent reasoning with quasi-classical semantic in ALC [C]// Proc of the 2nd International Conference on Web Reasoning and Rule Systems. Berlin: Springer-Verlag, 2008, 5341: 222-229.
[7] Zhang X, Xiao G, Lin Z. A tableau algorithm for handling inconsistency in OWL [C]//Proc of the 6th European Semantic Web Conference. Berlin: Springer-Verlag, 2007, 5554: 399-413.
[8] Huang Z, van Harmelen F, ten Teije A. Reasoning with inconsistent ontologies [C]//Proc of the 19th International Joint Conference on Artificial Intelligence. Denver: Professional Book Center, 2005: 454-459.
[9] Liu H, Lutz C, Milicic M, et al. Updating description logic ABoxes [C]//Proc of the 10th International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, 2006: 46-56.
[10] Zhang Y. Logic program-based updates [J]. ACM Trans Comput Log, 2006, 7(3): 421-472.
[11] Gelfond M, Lifschitz V. The stable model semantics for logic programming [C]// Proc of the 5th International Conference and Symposium. Massachusetts: MIT Press, 1988: 1070-1080.

Memo

Memo:

Biographies: Zhang Xiaowang(1980— ), male, graduate; Lin Zuoquan(corresponding author), male, doctor, professor, lzq@is.pku.edu.cn.
Foundation item: The National Natural Science Foundation of China(No.60973003).
Citation: Zhang Xiaowang, Xiao Guohui, Lin Zuoquan. Updating ontologies and general rules[J]. Journal of Southeast University(English Edition), 2009, 25(4): 477-481.

Common functions