Semantic relations — קשר סמנטי

קשר סמנטי — יחס מפורמל בין ישויות בגרף ידע, הניתן לנירמול עד לגרעין סופי של פרדיקטים: תת-סוג (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, בעיקר בין סכמות שונות (תכונות 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	ניגודיות (אנטונימיה)	—	—	—	—	(לקסיקה) 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: ישויות, פעילויות, סוכנים וקשריהם לצורך שיתוף וניתוח מידע על מקור.
• 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