@prefix : <http://borhan-onto.ir/ontology/time/> .
@prefix bt: <http://borhan-onto.ir/ontology/time#> .
@prefix bu: <http://borhan-onto.ir/ontology/upper#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://borhan-onto.ir/ontology/time/> .

<http://borhan-onto.ir/ontology/time> rdf:type owl:Ontology ;
                                       owl:imports :separate ,
                                                   :xsd ;
                                       rdfs:comment """v2.8.3 (14030224)
تغییرات این نسخه:
تفکیک هستان‌نگار به چند پرونده به جهت سبک‌سازی و پیشگیری از بارگذاری قواعد بدون کاربرد و اجرای سریع‌تر استنتاج‌گر

v2.8.2 (14030131)
تغییرات این نسخه:
افزودن رده‌های «بازه‌ی زمانی از سمت چپ باز» و «بازه‌ی زمانی از سمت راست باز»
خروج رده‌ی «مدت زمان» از ذیل «زمان» و قرارگرفتن آن در ذیل رده‌ی «مقدار»

v2.8.1 (14021128)
تغییرات این نسخه:
تنقیح قواعد (حذف قواعد تکراری، اصلاح قواعدی که بی‌دلیل از داده‌های جداگانه‌ی زمانی و یا یال داده‌ای زمانی استفاده می‌کردند)
اعلان برخی از یال‌های مربوط به لحظه‌ها و بازه‌های زمانی به عنوان نامتقارن
متناقض‌اعلان‌کردن ازچپ‌بی‌کران‌بودن و داشتن زیرینه، همچنین متناقض‌اعلام‌کردن ازراست‌بی‌کران‌بودن و داشتن زبرینه
افزودن یال «وجود دارد در بازه‌ی زمانی» و قاعده‌ی مربوطه

v2.8 (14020927)
تغییرات این نسخه:
ایجاد کلاس‌های بازه‌ی زمانی بسته و بی‌کران از چپ و راست
تدقیق یال‌های مربوط به روابط بین بازه‌ها و لحظه‌های زمانی و بازه‌های زمانی با یکدیگر و بازنویسی قواعد مربوطه
تغییر نام یال bt:isBefore به bt:isStrictlyBefore و ایجاد یال جدید bt:isBefore با معنای عام‌تر
افزودن قواعدی برای قرار گرفتن لحظه‌ها در بازه‌های زمانی
افزودن یال «دارد زمان رخداد»
حذف قاعده‌ی «رابطه‌ی تساوی دو لحظه در صورتی که اطلاعات زمانی دو لحظه با استفاده از نوع داده‌ی xsd:date وارد شده باشد» و انتقال آن به هستان‌نگار Juristic
حذف چهارقاعده‌ی یکی‌بودن دو لحظه (قواعدی که بین لحظات همزمان یال owl:sameAs ایجاد می‌کردند)
تغییرات جزئی در مشخصات data property-ها
تغییر جزئی در قواعد تساوی دو لحظه به گونه‌ای که هر لحظه با خودش مساوی شمره نشود

v2.7.0.1 (14020824)
تغییرات این نسخه:
حذف نوع داده‌ی xsd:duration به دلیل وجود باگ در افزونه‌ی برهان و ناسازگاری

v2.7 (14020822)
تغییرات این نسخه:
افزودن یال‌های مقایسه‌ی مدت‌های زمان و قاعده‌های مربوطه
حذف دامنه‌ی یال‌های مرتبط با مدت زمان
اعلان یال hasTemporalDuration به عنوان functional
خارج کردن یال‌های hasBeginningTime و hasEndTime از ذیل یال hasTime
حذف دامنه و برد یال hasCoincided
حذف دامنه و برد یال TemporalMeets
حذف دامنه‌ی یال isInXSDDate

v2.6.2 (14020815)
تغییرات این نسخه:
اعلان یال hasTime به عنوان functional و تغییر توضیحات آن
حذف دامنه و برد یال isBefore و تغییر توضیحات آن

v2.6.1 (14020807)
تغییرات این نسخه:
تغییراتی در خصوصیات یال‌های مربوط به قبلیت

v2.6 (14020801)
تغییرات این نسخه:
تغییر معنای یال دارد زمان
حذف کلاس حقیقت عالیه

v2.5.2 (14010404)
تغییرات این نسخه:
اضافه شدن رابطه‌ی تساوی دو لحظه
اضافه شدن رابطه‌ی انتزاعی بین دو لحظه

تغییرات نسخه‌های قبل:
توسعه‌ساز مربوط به یکسان بودن دو زمان اضافه شد. 
برچسب عربی و انگلیسی اضافه شد.
الگوی زبان طبیعی عربی و انگلیسی اضافه شد.
قید ذکر توضیح استنتاج به لازمه‌سازها اضافه شد.
بعضی ترجمه‌ها اضافه شد.
یال همزمان بودن دو شیء و توسعه‌دهنده‌ی آن اضافه شد.
قواعد مربوط به لحظه‌ی ابتدا و انتها داشتن بازه به حافظه منتقل شدند.
برای لازمه‌سازها عنوان انتخاب شد.
دامنه‌ی یال زمان داشتن اشیاء تغییر کرد.
یال لازمه‌ساز برای زمان اشیاء اضافه شد.
اشتباه نوشتاری یال مربوط به قبلیت بلافاصله و یک data property و یک اشتباه در کد تصحیح شد.
نام بعضی از یال‌ها تغییر کرد.
نوع قواعد لازمه‌ساز به Expander تغییر کرد.
دامنه و برد بعضی از یال‌ها تکمیل شد.
یادداشت بعضی از یال‌ها تکمیل شد.
یال اتصال بلافاصله‌ی زمانی از رابطه‌ی قبلیت جدا شد.
تمامی لازمه‌ها وارد شد.
یال‌هایی که معکوس آن‌ها تعریف شده بود، حذف شدند.
شناسه‌ها (IRI-ها) انگلیسی شدند.
بعضی از رابطه‌ها تدقیق شده و بعضی دیگر به دلیل عدم نیاز حذف شدند.
قواعد SPARQL برای لازمه‌ها نوشته شد.
چند یال برای بیان بازه‌ی شامل لحظه اضافه شد.
دامنه و برد بعضی یال‌ها تغییر کرد تا محدود به روابط بین زمان‌ها نباشد اگرچه در حقیقت تمام آن یال‌ها مربوط به مفاهیم زمانی هستند.
چند رابطه‌ی انتزاعی برای مرتب کردن یال‌ها اضافه شد.
منابع معرفی data type-ها افزوده شد.
بعضی از کلاس‌ها دقیق‌تر تشریح شدند."""@fa .

###  Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi