روشی برای استدلال توزیع‌شده غیر قطعی میان آنتولوژی‌ها
محورهای موضوعی : مهندسی برق و کامپیوترفروغ انوشا 1 * , بهروز ترک لادانی 2 , محمدعلی نعمت‌بخش 3
1 - دانشگاه اصفهان
2 - دانشگاه اصفهان
3 - دانشگاه اصفهان
کلید واژه: استدلال توزیع‌شده غیر قطعی منطق توصیفی توزیع‌شده نظریه عدم قطعیت آنتولوژی وب معنایی,
چکیده مقاله :
وب معنایی یکی از گسترده‌ترين موضوعات تحقيقي در چند سال اخير است که در آن مفهوم بسيار مهم و ارزشمندی به نام آنتولوژی وجود دارد. آنتولوژی اطلاعات و دانش موجود در دامنه مورد نظر را به صورت صوری توصيف می‌کند و با وجود این توصیف صوری امکان استدلال در آنها فراهم می‌شود. به دلیل توزیع‌شدگی وب معنایی و پراکندگی آنتولوژي‌ها و داده‌ها در سطح وب، در بسیاری از موارد استدلال متمرکز به سختي انجام مي‌شود و لازم است استدلال به صورت توزیع‌شده میان آنتولوژی‌های مختلف یک حوزه دانش صورت پذیرد. از طرف دیگر در اطلاعات موجود در وب معنایی همانند بسیاری از موضوعات دیگر عدم قطعیت و اطمینان وجود دارد. مدل‌سازی عدم قطعیت در وب معنایی و استدلال در اطلاعات غیر قطعی نیز از موضوعات تحقیقاتی جدیدی است که در دهه اخیر به آن پرداخته شده است. در این مقاله تلاش شده روشی برای استدلال توزیع‌شده میان گروهی از آنتولوژی‌ها که دارای اطلاعات غیر قطعی هستند، ارائه شود که از کارایی مناسبی نیز برخوردار باشد. برای این منظور از منطق توصیفی توزیع‌شده به عنوان چارچوبی برای استدلال توزیع‌شده و از نظریه عدم قطعیت برای مدل‌سازی عدم قطعیت بهره گرفته شده است. به کمک روش ارائه‌شده امکان استدلال میان گروهی از آنتولوژی‌های توزیع‌شده با اطلاعات غیر قطعی فراهم خواهد شد. نتایج کاربرد این روش در پالایش نگاشت میان آنتولوژی‌ها نشان می‌دهد این روش از دقت و درستی بیشتری نسبت به روش استدلال توزیع‌شده قطعی برخوردار است.
Semantic web has been one of the most important research areas of computer science in recent years. The concept of ontology as one of the most elements of semantic web is used to formally describe the domain knowledge and to enable the reasoning capability. Semantic web is a distributed system and ontologies may be developed on many different nodes, so centralized reasoning is very hard or even impossible in many cases. On the other hand, since the majority of information in semantic web is uncertain, considering the notion of uncertainty in ontological reasoning is crucial. In this paper a method for distributed reasoning in uncertain ontologies is proposed. For this purpose the distributed description logic (DDL) framework and the certainty theory are considered for distributed reasoning and modeling the uncertainty respectively. To evaluate the functionality and performance of the algorithm, we developed a case study on application of the proposed method in purifying the mappings between ontologies. The results show that our algorithm makes the mappings more precise than other similar methods.
[1] T. Berners - Lee, J. Hendler, and O. Lassila, "The semantic web," Scientific American, vol. 279, no. 5, pp. 28-37, May 2001.
[2] D. Fensel, J. Hendler, H. Lieberman, and W. Wahlster, "Ontologies come of age," in Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, MIT Press, 2003.
[3] T. Lukasiewicz and U. Straccia, "Managing uncertainty and vagueness in description logics for the semantic web," J. of Web Semantics, vol. 6, no. 4, pp. 291-308, Nov. 2008.
[4] B. Liu, J. Li, and Y. Zhao, "A query-specific reasoning method for inconsistent and uncertain ontology," in Proc. of the Int. MultiConf. of Engineers and Computer Scientists, IMECS, vol. 1, pp. 53-58, Hong Kong, Mar. 2011.
[5] J. Zhao, "Advances in semantic computing," in Advances in Semantic Computing, pp. 1-22, 2010. Available http://www.tmrfindia.org/eseries/ebookV2.html
[6] F. Martin - Recuerda and D. Robertson, "Discovery and uncertainty in semantic web services," in Proc. of Uncertainty Reasoning for the Semantic Web, URSW, pp. 188-123, 2005.
[7] G. Stamou, J. V. Ossenbruggen, J. Z. Pan, and G. Schreiber, "Multimedia annotations on the semantic web," IEEE Multimedia, vol. 13, no. 1, pp. 86-90, 2006.
[8] P. Haase and J. Volker, "Ontology learning and reasoning-dealing with uncertainty and inconsistency," in Proc. of the ISWC Workshop on Uncertainty Reasoning for the Semantic Web, URSW, pp. 45-55, Galway, Ireland, 2005.
[9] A. Borgida and L. Serafini, "Distributed description logics: assimilating information from peer sources," J. of Data Semantics, vol. 1, pp. 153-184, 2003.
[10] A. Tamilin, Distributed Ontological Reasoning: Theory, Algorithms, and Applications, Ph.D. Dissertation, University of Trento, 2007.
[11] E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, and Y. Katz, "Pellet: a practical OWL-DL reasoner," J. of Web Semantics, vol. 5, no. 2, pp. 51-53, 2007.
[12] V. Haarslev and R. Moller, "Racer: a core inference engine for the semantic web ontology language (OWL)," in Proc. of the 2nd Int. Workshop on Evaluation of Ontology - Based Tools, pp. 27-36, 2003.
[13] D. Tsarkov and I. Horrocks, "FaCT++ description logic reasoner," in Proc. of International Joint Conf. on All Aspects of Automated Reasoning (IJCAR), vol. 4130, pp. 292-297, 2006.
[14] B. Motik and R. Studer, "KAON2 - a scalable reasoning tool for the semantic web," in Proc. of 2nd European Semantic Web Conf., ESWC'05, Greece, 2005.
[15] A. Kiryakov, D. Ognyanov, and D. Manov, "OWLIM-a pragmatic semantic repository for OWL," in Proc. WISE 2005 Workshops LNCS, vol. 3807, pp. 182-192, Springer, Heidelberg, 2005.
[16] J. Zhou, L. Ma, Q. Liu, L. Zhang, Y. Yu, and Y. Pan, "Minerva: a scalable OWL ontology storage and inference system," in Proc. Asian Semantic Web Conf., LNCS, vol. 4185, pp. 429-443, Springer, Heidelberg, 2006.
[17] S. Bechhofer, I. Horrocks, and D. Turi, "The OWL instance store: system description," in Proc. CADE Conf., LNCS, vol. 3632, pp. 177-181, Springer, Heidelberg, 2005.
[18] Q. Fang, Y. Zhao, G. Yang, and W. Zheng, "Scalable distributed ontology reasoning using DHT - based partitioning," in Proc. Asian Semantic Web Conf., ASWC, LNCS, vol. 5367, pp. 91-105, Springer, Heidelberg, 2008.
[19] O. Kutz, C. Luts, F. Wolter, and M. Zakharyaschev, "E-connections of description logics," in Proc. of the 2003 Int. Workshop on Description Logics, pp. 178-187, 2003.
[20] J. Bao, D. Caragea, and V. Honavar, "Modular ontologies - a formal investigation of semantics and expressivity," in Proc. of 1st Asian Semantic Web Conf., ASWC, LNCS, vol. 4185, pp. 615-631, Springer, Heidelberg, 2006.
[21] F. Baader and U. Sattler, "Tableau algorithms for description logics," in Proc. of TABLEAUX, vol. 1847, pp. 1-18, 2000.
[22] E. Oren, S. Kotoulas, G. Anadiotis, R. Siebes, A. T. Teije, and F. V. Harmelen, "MARVIN: distributed reasoning over large-scale semantic web data," J. of Web Semantics, vol. 7, no. 4, pp. 305-316, 2009.
[23] A. Schlicht and H. Stuckenschmidt, "Towards distributed ontology reasoning for the web," in International Conf. on Web Intelligence and Intelligent Agent Technology, vol. 1, pp. 536-539, Dec. 2008.
[24] T. Lukasiewicz, Probabilistic Description Logics for the Semantic Web, Technical Report, Knowledge - Based Systems Group, Vienna, 2007.
[25] U. Straccia, "Towards a fuzzy description logic for the semantic web," in Proc. of 2nd of European Semantic Web Conf., ESWC, 2005.
[26] G. Stoilos, G. Stamou, V. Tzouvaras, J. Pan, and I. Horrocks, "Fuzzy OWL: uncertainty and the semantic web," in Proc. of the Int. Workshop of OWL: Experiences and Directions, 2005.
[27] J. Heinsohn, "Probabilistic description logics," in Proc. of UAI, pp. 311-318, 1994.
[28] T. Lukasiewicz, "Fuzzy description logic programs under the answer set semantics for the semantic web," in Proc. of 2nd Int. Conf. on Rules and Rule Markup Languages for the Semantic Web, RuleML, pp. 89-96, 2006.
[29] J. Pearl, Probabilistic Reasoning in Intelligent Systems Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.
[30] P. C. G. Costa and K. B. Laskey, "Pr-owl a framework for probabilistic ontologies," in Proc. FOIS 2006, pp. 237-249, 2006.
[31] Z. Ding, Y. Peng, and R. Pan, "BayesOWL: uncertainty modeling in semantic web ontologies," Soft Computing in Ontologies and Semantic Web, vol. 204, pp. 3-29, 2006.
[32] J. Durkin, Expert Systems: Design and Development, Macmillan, pp. 332-362, 1994.
[33] E. Mokhtari, A Context-Aware Reputation-Based Trust Model for Multi-Agent Systems, M.S. Thesis, Dept. Computer Engineering, University of Isfahan, Isfahan, Iran, 2009.