تغيير هستي شناسي در ساختارهاي سازماني پردازش اطلاعات مكاني و توسعه عملكردي توپولوژي بر اساس ساختارهاي داده اي پيچيده

Ontological Convolution in Administrative Structure of GIS and Development of a Practical Topology Based on Complex Data Structure

با افزایش حوزه نفوذ GIS كاربردی در سازمانها و شركتهای مختلف مدیریت شهری، استفاده از اشیایی با ساختار مكانی پیچیده بیش از پیش متداول می شود. با این وجود هستی شناسی قالب بر ساختار اشیا خصوصا در بخش مدیریت شهری، هنوز وارد بررسی روابط بین اشیا و بویژه روابط توپولوژیك آنها نشده است. این در حالی است كه توپولوژی، بویژه در بخش عملیاتی GIS شهری كاربردهای فراوانی داشته و مبانی تئوریك و نرم افزاری ایجاد شده پاسخگوی این نیازها نمی باشد. بر این اساس، در این مقاله ابتدا اشیای پیچیده و بعضی مصداقهای عملی آن در مباحث مدیریت شهری به كمك تعاریف متداول ریاضی بیان شده، سپس روشی جدید برای محاسبه توپولوژی اشیای پیچیده بر پایه منطق درجه اول متكی  بر روش نه اشتراكی ایگن هوفر در نظریه مجموعه نقاط ارایه می گردد.   بر اساس این روش، ابتدا گزاره های منطقی درجه اول توصیفی كه از بابت ساختار هندسی اشیا قابل حصول هستند استخراج شده، سپس طی یك فرایند استنتاجی شامل حذف و معرفی، ویژگیهای كامل بودن، تمامیت و عدم افزونگی در آنها ایجاد می گردد. از این رو گزاره های منطقی حاصل به ماتریس های توپولوژیك اعمال شده و آنها را فیلتر می كنند. از سوی دیگر فیلتر ثانویه به ماتریس های باقیمانده در یك آزمون گرافیكی اعمال می شود. در ادامه روشهایی مورد بررسی قرار می گیرند كه هدف از آنها بكارگیری عملی توپولوژی بدست آمده در ساختار نرم افزارهای تجاری است. در این خصوص ضمن ارایه پیشنهادی جهت ذخیره سازی توپولوژی در پایگاه داده، روشی منعطف جهت شكل دهی قواعد توپولوژیك متناسب با نیاز كاربر و قابل پیاده سازی بدون اجبار به نگارش و استنتاج قواعد جدید توپولوژیك مطرح می شود. در پایان به برخی كاستی ها و نیازمندیهای اساسی از جمله الگوریتم استخراج عملیاتی توپولوژی از هندسه اشیا و روش احتمالی شكل دهی آن اشاره می شود. 

As the GIS increases its influence in practical solutions especially for urban management, interests in complex features among software companies increase too. Nevertheless ontological developments has not been started to consider urban object relations especially for topological ones. Although topological relations have numerous applications in different fields such as urban management, there are few available concepts in both theoretical and software issues. Therefore, in this paper, firstly based on first order descriptive logic and traditional math definitions, complex objects are defined along with their real samples in urban infrastructure and facilities. Then a new solution is proposed to extract topology for complex features based on Point Set Topology of Egenhoferʹs 9-intersection matrix and mentioned logic. On the foundation of method, current geometric status of complex objects intersection are translated to first ordered logical predicates. These predicates then are deducted, combined or broken to ensure completeness, cover and redundancy of result normal logical constraints. Logical constraints as primary filters are exerted to matrices to remove any unreal matrix and then are passed them to secondary filter that is graphical proof which examine the existence of any matrix against real world conditions. Next, over the theoretical concepts, it is tried to propose solution to practically save the topological relations in the context of traditional databases. This intends it toward software deployment where other required tools have been set before. To complete the proposed solution, a flexible approach is offered which is able to let the users themselves define their demanded topology rather that standard ones. They will be able to customize their requirements without caring to composition of logical topological constraints. Finally deficiencies which are important to complete the framework such as practical algorithm to extract topological relations from the context of real data structure are discussed for further researches.