Semantic relations — معنوی تعلقات

From Systems analysis Wiki
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 حصہ–کُل (meronomy) حصہ ہے / شامل ہے
  • مشتمل ہے
  • شامل ہے
  • ترکیب میں ہے
  • حصے کے طور پر رکھتا ہے
  • مرتب ہے
  • اجزاء پر مشتمل ہے
Meronomy اونٹولوجیکل (سیاق‑وسباق پر منحصر؛ ڈومین کی وضاحت درکار) جزوی meronomy کے لیے متعدی؛ 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 مجموعے کا رکن رکن ہے / ارکان رکھتا ہے
  • گروپ سے تعلق رکھتا ہے
  • ٹیم میں شامل ہے
  • مجموعے کا رکن
  • گروپ میں داخل ہے
  • سیٹ کا عنصر
مجموعے/رکنیت (meronomy نہیں) اونٹولوجیکل (مرکزہ) سمت دار؛ غیر متقارن؛ غیر متعدی؛ 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 (متقارن) تضاد (antonymy) کا متضاد ہے / کا متضاد ہے
  • متضاد ہے
  • متضاد الفاظ میں ہے
  • معیار میں الٹا ہے
  • متخالف ہے
  • کے مقابل ہے
لغوی-سیمانٹک لغوی/تھیزورس (محوری ترکیب نہ کریں) لغوی‑سیمانٹک تعلق؛ متقارن؛ اونٹولوجیکل محور کے طور پر استعمال نہ کریں؛ کیفیاتی پیمانوں اور کلاسوں کی عدم تقاطع کے ذریعے ماڈل بنانا بہتر ہے

اقسام کا اشارہ:

  • اونٹولوجیکل (مرکزہ) — کسی خاص وضاحت کے بغیر 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 حصہ–کُل (meronomy) dcterms:isPartOf / dcterms:hasPart حسب ضرورت owl:ObjectProperty (اکثر owl:TransitiveProperty قرار دیا جاتا ہے) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart ساختی/جزوی meronomy؛ جزوی 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 تصورات کے لیے، بنیادی طور پر مختلف سکیموں کے لیے (mapping خاصیات)؛ mapping خاصیات میں سے صرف 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 تضاد (antonymy) (لغت) lexinfo:antonym ; WordNet antonym لغوی تعلق؛ اونٹولوجیکل محور کے طور پر استعمال نہ کریں۔ KOS میں سخت خاصیت کی غیر موجودگی میں skos:related قابل قبول ہے۔
derived-from / gives-rise-to ماخذ / اشتقاق (حیاتیاتی اونٹولوجیز میں ضرورت پڑنے پر) ro:develops_from PROV‑O: prov:wasDerivedFrom سمت دار اشتقاق؛ سلسلوں کی اجازت ہے۔ meronomy (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)؛ کھلے ویب میں اقسام اور خاصیتوں کو یکجا کرنے کے لیے تلاش انجنوں کی پہل (2011)۔

بنیادی اونٹولوجیز اور ذخائر الفاظ: سرکاری روابط

نام ادارہ / حیثیت سرکاری دستاویز
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) تفصیل کا صفحہ
RDF 1.2 Schema (RDFS) W3C Working Draft (2025؛ 2014 ورژن کی نظر ثانی بغیر تکنیکی تبدیلیوں کے) تفصیل کا صفحہ
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