Semantic relations — روابط معنایی
Jump to navigation
Jump to search
پیوند معنایی — رابطهای صوری میان موجودیتهای گراف دانش است که تا یک هسته محدود از محمولها نرمالسازی میشود: زیرنوع (is‑a)، نمونه (instance‑of)، بخش–کل (part‑of)، عضو مجموعه، محلیسازی/مجاورت، قبل/بعد، مشارکت/نقش، ویژگی/مقدار، علیت، همانی/تمایز، مالکیت، تضاد. این صفحه فرمولبندیهای قانونی و مترادفها، ویژگیهای منطقی و تطابق با استانداردها (RDF/RDFS، SKOS، OWL/OWL‑Time، GeoSPARQL، OBO RO/BFO، PROV‑O، Schema.org) را ثبت میکند.
هسته پایه پیوندهای معنایی: نرمالسازی و واژهنامه مترادفها
| صورتبندی (سادهشده) | رابطه پایه (واژه قانونی) | نرمالسازی به هسته | فعل/عبارت طبیعی (مترادفها) | دستهبندی | نوع (لایه معنایی / حالت استفاده) | ویژگی کلیدی |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | زیرنوع (جنس–نوع) | نوعی از است / زیرنوع دارد |
|
ردهبندی | هستیشناختی (هسته) | گذراست؛ وراثت بدیهیات/قیود کلاس (نه مقادیر ویژگیها) |
| instance-of / has-instance | نمونه | نمونهای از است / نمونه دارد |
|
ردهبندی | هستیشناختی (هسته) | فرد ← کلاس؛ گذرا نیست |
| part-of / has-part | بخش–کل (مرونیمی) | بخشی از است / شامل میشود |
|
مرونیمی | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | برای مرونیمی مؤلفهای گذراست؛ با member-of اشتباه نگیرید؛ بدون وراثت مقادیر ویژگیها؛ گذرایی به انواع «عضو–مجموعه»، «ماده–شیء»، «بخش–توده» منتقل نمیشود؛ با subclass-of (جنس–نوع) اشتباه نگیرید
|
| derived-from / gives-rise-to | منشأ/مشتقشدگی | از ... مشتق شده / پدید میآورد |
|
منشأ | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ متقارن نیست؛ زنجیرهها را میپذیرد |
| has-property / property-of | ویژگی/صفت | ویژگی دارد / ویژگی متعلق به |
|
صفت | هستیشناختی (هسته) | جهتدار؛ متقارن نیست؛ گذرا نیست؛ برای کیفیات — الگوی has_quality/characteristic_of
|
| located-in / contains | محلیسازی (تودرتویی) | در ... قرار دارد / حاوی است (به عنوان مکان) |
|
فضا | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ تنها در صورت تودرتویی نواحی در یک مدل فضایی گذراست؛ در تفسیرهای دیگر گذرایی فرض نمیشود |
| before / after | گاهشماری | مقدم است بر / متعاقب است بر |
|
زمان | هستیشناختی (هسته) | گذراست؛ نامتقارن است؛ بازتابی نیست (ترتیب جزئی اکید) |
| precondition-of / postcondition-of | شرط/نتیجه رویداد/عمل | پیششرط است / پسشرط است |
|
رویدادها | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ متقارن نیست؛ معمولاً بدون چرخه؛ زمینهای |
| participates-in / has-participant | مشارکت در رویداد | در ... مشارکت دارد / شرکتکننده دارد |
|
رویدادها | هستیشناختی (هسته) | جهتدار؛ متقارن نیست؛ گذرا نیست |
| has-role / role-of | نقش (موضوعی) | نقش ایفا میکند / نقش متعلق به |
|
نقشها | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ متقارن نیست؛ در رویداد/فرایند تحقق مییابد |
| member-of / has-member | عضو مجموعه | عضو است / اعضا دارد |
|
مجموعهها/عضویت (نه مرونیمی) | هستیشناختی (هسته) | جهتدار؛ متقارن نیست؛ گذرا نیست؛ با part-of (مؤلفهها) اشتباه نگیرید
|
| causes / caused-by | علیت | موجب میشود / موجب شده توسط |
|
علّی–معلولی | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ نامتقارن؛ در چارچوب زمان دامنه بدون چرخه؛ برای تأثیر ضعیف از prov:wasInfluencedBy استفاده کنید
|
| owns / owned-by (belongs-to) | مالکیت/تعلق | مالک است / متعلق است به |
|
تعلق | هستیشناختی (زمینهای؛ نیازمند قیود دامنه) | جهتدار؛ متقارن نیست؛ گذرا نیست؛ مالکیت حقوقی را از تصرف واقعی متمایز کنید (با located-in مخلوط نکنید)
|
| same-as / same-as (متقارن) | همانی (همارزی) | یکسان است با / یکسان است با |
|
همارزی | هستیشناختی (هسته؛ با احتیاط بهکار رود) | بازتابی؛ متقارن؛ گذراست |
| different-from / different-from (متقارن) | تمایز/ناسازگاری | متفاوت است از / متفاوت است از |
|
تمایز | هستیشناختی (هسته) | متقارن؛ بازتابی نیست |
| adjacent-to / adjacent-to (متقارن) | مجاورت (توپولوژی) | مجاور است با / مجاور است با |
|
توپولوژی | هستیشناختی (هسته) | متقارن؛ بازتابی نیست؛ گذرا نیست |
| opposite-of / opposite-of (متقارن) | تضاد (تضادمعنایی) | متضاد است / متضاد است |
|
معناشناسی واژگانی | واژگانی/تزاروسی (نباید بدیهیسازی شود) | رابطه معنایی–واژگانی؛ متقارن؛ به عنوان بدیهی هستیشناختی استفاده نشود؛ ترجیحاً از طریق مقیاسهای کیفی و ناهمپوشانی کلاسها مدلسازی شود |
راهنمای انواع:
- هستیشناختی (هسته) — بدون قیود خاص در OWL بدیهیسازی را میپذیرد؛
- هستیشناختی (زمینهای؛ نیازمند قیود دامنه) — تفسیر و استنتاج به دامنه/مدل وابسته است؛
- واژگانی/تزاروسی (نباید بدیهیسازی شود) — تنها برای واژگان/KOS، برای استنتاج منطقی استفاده نشود.
تطابق روابط معنایی پایه با استانداردهای هستیشناسی
| رابطه پایه (هسته) | رابطه پایه (واژه قانونی) | RDF/RDFS/Dublin Core | SKOS | OWL / OWL‑Time / GeoSPARQL | OBO RO / BFO (در صورت وجود) | Schema.org / سایر | یادداشتها |
|---|---|---|---|---|---|---|---|
| subclass-of | زیرنوع (جنس–نوع) | rdfs:subClassOf | skos:broader / skos:narrower | — (در OWL از rdfs:subClassOf استفاده میشود) | — | — | سلسلهمراتب کلاس؛ گذراست؛ وراثت بدیهیات/قیود (نه مقادیر). در SKOS — سلسلهمراتب تزاروسی (بهطور پیشفرض گذرا نیست؛ skos:broaderTransitive / skos:narrowerTransitive وجود دارد). همارزی کلاسها جداگانه تعریف میشود: owl:equivalentClass. |
| instance-of | نمونه | rdf:type | — | owl:Class / owl:NamedIndividual | — | schema:additionalType | نوعبندی «فرد ← کلاس» (گذرا نیست). نوعبندی چندگانه مجاز است. با subclass-of (کلاس ← کلاس) اشتباه نگیرید. |
| part-of / has-part | بخش–کل (مرونیمی) | dcterms:isPartOf / dcterms:hasPart | — | owl:ObjectProperty سفارشی (اغلب به عنوان owl:TransitiveProperty اعلام میشود) | bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part | schema:isPartOf / schema:hasPart | مرونیمی ساختاری/مؤلفهای؛ برای «part_of» مؤلفهای گذراست. با عضویت (member-of) اشتباه نگیرید. |
| member-of / has-member | عضو مجموعه | rdfs:member | skos:member / skos:memberList | — | ro:member_of / ro:has_member | schema:member / schema:memberOf ; org:memberOf / org:hasMember | rdfs:member تاریخاً برای ظرفهای RDF است؛ ابر-ویژگی خواص ظرف شمارهدار rdf:_1، rdf:_2، …؛ برای گروهها/سازمانها schema.org یا W3C ORG ترجیح دارد. گذرا نیست. از component‑whole متمایز است.
|
| located-in / contains | محلیسازی (تودرتویی) | dcterms:spatial | — | geosparql:sfWithin / geosparql:sfContains | ro:located_in | schema:containedInPlace / schema:containsPlace ; schema:location | برای هندسه دقیق — GeoSPARQL (DE‑9IM؛ تودرتویی نواحی). در GeoSPARQL گذرایی به عنوان owl:TransitiveProperty حاشیهنویسی نشده؛ به عنوان فرض مدل برای سلسلهمراتب نواحی قابل قبول است. dcterms:spatial — اتصال مرجعی «نرم». در RO ro:located_in گذرا اعلام شده؛ در سطح کاربردی نوع/حوزه محلیسازی (اداری، آناتومیک و غیره) را مشخص کنید تا گذرایی در مدل شما معتبر باشد.
|
| adjacent-to / overlaps | مجاورت / تقاطع (توپولوژی) | — | (در صورت نیاز) skos:related | geosparql:sfTouches / geosparql:sfOverlaps | — | — | روابط متفاوت (touches ≠ overlaps)؛ هر دو متقارن؛ گذرا نیستند. در اصطلاح DE‑9IM: touches — مرزها تماس دارند؛ overlaps — تقاطع با تلاقی غیرتهی از درونهها. |
| before / after | توالی زمانی (قبل/بعد) | — | — | time:before / time:after ; همچنین time:intervalBefore / time:intervalAfter | bfo:precedes / bfo:preceded_by | — | به صورت ترتیب جزئی اکید مدلسازی میشود. در OWL‑Time گذرایی صراحتاً تعریف شده؛ نامتقارنی/غیربازتابی بودن در صورت نیاز از طریق بدیهیات هستیشناسی پروژه تعریف میشود. |
| participates-in / has-participant | مشارکت در رویداد | — | — | — | ro:participates_in / ro:has_participant | sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer | مشارکت ≠ نقش؛ برای نقشها — به has‑role مراجعه کنید. |
| has-role / role-of | نقش (نقشهای موضوعی) | — | — | owl:ObjectProperty سفارشی | ro:has_role / ro:role_of ; bfo:Role | prov:hadRole (درون prov:qualifiedAssociation) ; schema:Role (کلاس)، schema:roleName | نقشها در رویدادها/فرایندها تحقق مییابند؛ با نوعبندی (instance-of) اشتباه نگیرید. |
| has-property / has-value | ویژگی / مقدار | rdf:value (اتصال عمومی مقدار) | — | owl:DatatypeProperty / owl:ObjectProperty (انواع ویژگیها) | ro:has_quality / ro:characteristic_of | schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue | برای کیفیات الگوی RO (quality/characteristic of) مناسب است. owl:hasValue — سازنده در قیود است (نه یک ویژگی معمولی).
|
| causes | علیت | — | — | — | ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of | prov:wasInfluencedBy | رابطه علّی جهتدار؛ معمولاً بدون چرخه. زمینه زمانی و حوزه تعریف را مشخص کنید. |
| same-as | همانی (همارزی) | — | skos:exactMatch / skos:closeMatch | owl:sameAs ; برای کلاسها/ویژگیها: owl:equivalentClass / owl:equivalentProperty | — | schema:sameAs | با احتیاط استفاده شود. skos:exactMatch/closeMatch — تنها برای مفاهیم SKOS، عمدتاً از طرحهای مختلف (ویژگیهای نگاشت)؛ از ویژگیهای نگاشت تنها skos:exactMatch گذراست (هر دو متقارنند)؛ با owl:sameAs (همانی منابع) اشتباه نگیرید.
|
| different-from | تمایز / ناسازگاری | — | — | owl:differentFrom ; owl:AllDifferent ; برای کلاسها: owl:disjointWith ; همچنین owl:AllDisjointClasses / owl:AllDisjointProperties | — | — | تمایز صریح افراد و ناهمپوشانی کلاسها/ویژگیها (برای مجموعهها — AllDisjoint). |
| owns / owned-by (belongs-to) | مالکیت / تعلق | — | — | owl:ObjectProperty سفارشی | — | schema:owns ; schema:OwnershipInfo | توصیه میشود دامنه/برد و اصلیت تعریف شود؛ مالکیت حقوقی را از تصرف واقعی متمایز کنید (با located‑in مخلوط نکنید). |
| opposite-of | تضاد (تضادمعنایی) | — | — | — | — | (واژگان) lexinfo:antonym ; WordNet antonym | رابطه واژگانی؛ به عنوان بدیهی هستیشناختی استفاده نشود. در KOS در صورت نبود ویژگی دقیق، skos:related مجاز است. |
| derived-from / gives-rise-to | منشأ / مشتقشدگی | — | — | — | (در صورت نیاز در هستیشناسیهای زیستشناسی) ro:develops_from | PROV‑O: prov:wasDerivedFrom | مشتقشدگی جهتدار؛ زنجیرهها را میپذیرد. از مرونیمی (part‑of) و از همانی (same‑as) جدا کنید. |
| precondition-of / postcondition-of | پیش/پسشرط رویداد/عمل | — | — | — | — | OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (تاریخاً: process:hasEffect) | برای هستیشناسیهای فرایندی استفاده شود. در مدلهای جایگزین — از طریق علیت/زمان (bfo:precedes، time:before) یا الگوهای PROV (prov:used، prov:wasGeneratedBy) — بر اساس زمینه.
|
| related-to | رابطه انجمنی (KOS) | — | skos:related | — | — | — | متقارن؛ گذرا نیست. تنها در تزاروسها/KOS استفاده شود؛ معناشناسی ضعیف — برای استنتاج منطقی مناسب نیست. |
هستیشناسیها و واژهنامههای اصلی
- RDF و RDFS (W3C) — RDF: مدل انتزاعی گراف دانش بر پایه سهتاییهای موضوع–محمول–مفعول؛ RDFS: واژهنامه حداقلی برای تعریف کلاسها/ویژگیها و سلسلهمراتب (subClassOf، subPropertyOf، domain/range).
- OWL / OWL 2 (W3C) — زبان بازنمایی دانش برای تعریف صوری هستیشناسیها (کلاسها، بدیهیات، انواع و معکوس ویژگیها، همارزی/ناهمپوشانی)، طراحیشده برای استنتاج خودکار در منطق DL.
- SKOS (W3C) — مدلی برای بازنمایی تزاروسها، طبقهبندیها و واژهنامههای کنترلشده بر فراز RDF/RDFS (broader/narrower/related، مجموعهها، تطابقهای بینتزاروسی)؛ وراثت کلاسی تعریف نمیکند.
- OWL‑Time (W3C) — هستیشناسی زمان در OWL 2 DL: لحظهها، بازهها، روابط توپولوژیک (before/after)، مدتها و موقعیتهای تقویمی–زمانی.
- GeoSPARQL (OGC) — استاندارد OGC برای ژئوسمانتیک: هستیشناسی کوچک OWL از «موجودیتهای فضایی/هندسهها»، واژهنامه روابط توپولوژیک (within/contains، touches/overlaps و غیره) و افزونههای SPARQL برای پرسوجوهای جغرافیایی.
- BFO و RO (OBO) — BFO: هستیشناسی سطح بالا (continuant/occurrent و غیره) برای همسوسازی هستیشناسیهای دامنهای؛ RO (Relations Ontology): مجموعه بیندامنهای محمولهای رابطهای (part_of/has_part، participates_in، علّی و غیره).
- PROV‑O (W3C) — هستیشناسی OWL برای منشأ داده که مدل PROV‑DM را پیادهسازی میکند: موجودیتها، فعالیتها، کارگزاران و روابط آنها برای تبادل و تحلیل اطلاعات provenance.
- Schema.org — واژهنامه وب کاربردی برای نشانهگذاری دادههای ساختیافته در صفحات (JSON‑LD/RDFa/Microdata)؛ ابتکار موتورهای جستجو (۲۰۱۱) برای یکپارچهسازی انواع و ویژگیها در وب باز.
هستیشناسیها و واژهنامههای اصلی: پیوندهای رسمی
| نام | سازمان / وضعیت | مستندات رسمی |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C Working Draft (2025) | صفحه مشخصات |
| RDF 1.2 Schema (RDFS) | W3C Working Draft (2025؛ ویرایش نسخه ۲۰۱۴ بدون تغییرات فنی) | صفحه مشخصات |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI Specification (2020) | صفحه مشخصات |
| OWL 2 Web Ontology Language | W3C Recommendation (2012, 2nd Ed.) | نمای کلی/نقشه راه مشخصات OWL 2 |
| SKOS Reference | W3C Recommendation (2009) | صفحه مشخصات |
| Time Ontology in OWL (OWL‑Time) | W3C Candidate Recommendation Draft (2022) | صفحه مشخصات |
| GeoSPARQL 1.1 | OGC Implementation Standard | صفحه استاندارد OGC · سند استاندارد (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (upper ontology) | کارت/مستندات رسمی |
| OBO Relations Ontology (RO) | OBO Foundry (relations) | کارت/مستندات رسمی |
| PROV‑O: The PROV Ontology | W3C Recommendation (2013) | صفحه مشخصات |
| The Organization Ontology (ORG) | W3C Recommendation (2014) | صفحه مشخصات |
| Schema.org (documentation) | مستندات رسمی پروژه | طرحها و مستندات |
| LexInfo (هستیشناسی معنایی–واژگانی) | وبسایت/هستیشناسی رسمی | وبسایت رسمی · OWL 3.0 |