> Η μετάφραση παρέχεται για διευκόλυνση. Κανονιστικό είναι το αγγλικό πρωτότυπο. # Σημασιολογική αντιστοίχιση **Προδιαγραφή του Μετα-Σύμπαντος** **Αναγνωριστικό εγγράφου:** MU-V2-FED-006 **Τίτλος:** Σημασιολογική αντιστοίχιση - αντιστοίχιση διαφορετικών λεξιλογίων **Κατηγορία εγγράφου:** κανονιστικό **Έκδοση:** 2.0 (προσχέδιο) **Κατάσταση:** προσχέδιο εργασίας **Κανονιστικές αναφορές:** MUC, MMAS, MUFP **Πληροφοριακές αναφορές:** Identity-Binding.md, Synchronization.md, [Meta-Model-Composition](../02-architecture/Meta-Model-Composition.md) **Πνευματικά δικαιώματα:** © Orkestron.AI **Άδεια:** Apache-2.0 --- # 1. Σκοπός Το έγγραφο αυτό ορίζει το μοντέλο σημασιολογικής αντιστοίχισης που χρησιμοποιεί το Πρωτόκολλο Ομοσπονδίας του Μετα-Σύμπαντος (MUFP). Η σημασιολογική αντιστοίχιση επιτρέπει σε ανεξάρτητα Σύμπαντα να ανταλλάσσουν γνώση ακόμη κι όταν χρησιμοποιούν διαφορετικά λεξιλόγια, μετα-μοντέλα ή εξωτερικά πρότυπα. Οι αντιστοιχίσεις θεμελιώνουν σημασιολογική αντιστοιχία χωρίς να απαιτούν από κανέναν συμμετέχοντα να τροποποιήσει το δικό του αυθεντικό μοντέλο. Καθοριστικό είναι ότι η σημασιολογική αντιστοίχιση στο Μετα-Σύμπαν συνδέει κάθε τοπική σημασιολογία με ένα **κοινό κανονικό νόημα**, και όχι με κάθε άλλον συμμετέχοντα με τη σειρά. Αυτό αντικαθιστά το τετραγωνικό βάρος της ανά ζεύγη ολοκλήρωσης με ένα γραμμικό βάρος έναντι μιας κοινής αναφοράς. --- # 2. Πεδίο εφαρμογής Η προδιαγραφή αυτή ισχύει για: - τα Σύμπαντα· - τις Διαστάσεις· - τους χώρους ονομάτων· - τα μετα-μοντέλα· - τα αντικείμενα· - τις σχέσεις· - τις ιδιότητες· - τα γεγονότα· - τα προφίλ προβολής· - τα εισαγόμενα πρότυπα. --- # 3. Αρχές αντιστοίχισης Κάθε σημασιολογική αντιστοίχιση ΟΦΕΙΛΕΙ να είναι: - ρητή· - ιχνηλατήσιμη· - ενήμερη ως προς τις εκδόσεις· - ανεξάρτητη από την τεχνολογία· - μη καταστροφική· - εξηγήσιμη. Οι αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να περιγράφουν σημασιολογική αντιστοιχία. ΔΕΝ ΠΡΕΠΕΙ να επαναπροσδιορίζουν το κανονικό νόημα. --- # 4. Ορισμός Σημασιολογική αντιστοίχιση είναι ένα σημασιολογικό τεχνούργημα πρώτης τάξεως που περιγράφει τη σχέση ανάμεσα σε έννοιες προερχόμενες από διαφορετικές σημασιολογικές αρχές. Οι αντιστοιχίσεις καθιστούν δυνατή τη διαλειτουργικότητα με διατήρηση της κυριαρχίας. --- # 4a. Το μοντέλο κόμβου κανονικού νοήματος Η αφελής διαλειτουργικότητα αντιστοιχίζει κάθε μοντέλο απευθείας με κάθε άλλο. Για *N* συμμετέχοντες αυτό απαιτεί έως *N × (N − 1)* κατευθυνόμενες αντιστοιχίσεις - ένα τετραγωνικό, κατά παραγγελία και μη συντηρήσιμο βάρος, όπου κάθε νέος συμμετέχων οφείλει να ολοκληρωθεί χωριστά με όλους τους υπόλοιπους. ```text Pairwise (quadratic) Canonical hub (linear) A ── B A │ ╲ ╱ │ │ │ ╳ │ B ── Canonical ── D │ ╱ ╲ │ │ C ── D C ``` Αντ' αυτού, το Μετα-Σύμπαν ΠΡΕΠΕΙ να αντιστοιχίζει κάθε τοπική σημασιολογία με ένα **κανονικό νόημα** αναγνωρισμένο από τα μέρη της ομοσπονδίας. Κάθε συμμετέχων συντηρεί αντιστοιχίσεις μόνο ανάμεσα στο δικό του μοντέλο και στο κανονικό νόημα· η αντιστοιχία ανάμεσα σε δύο οποιουσδήποτε συμμετέχοντες συντίθεται κατόπιν μέσω του κόμβου. Το κόστος ολοκλήρωσης γίνεται γραμμικό: ένας νέος συμμετέχων δημοσιεύει ένα σύνολο αντιστοιχίσεων προς το κανονικό νόημα και αμέσως διαλειτουργεί με όλους τους άλλους. Κανονικό νόημα ΜΠΟΡΕΙ να είναι μια συμφωνημένη ουδέτερη έννοια, ή ένα εξωτερικό πρότυπο που υιοθετείται ως αναφορά (για παράδειγμα O*NET, ESCO, HR-XML ή Schema.org). Το μοντέλο κόμβου ΔΕΝ ΠΡΕΠΕΙ να απαιτεί από κανέναν συμμετέχοντα να υιοθετήσει το κανονικό νόημα ως δικό του αυθεντικό μοντέλο· οι συμμετέχοντες αντιστοιχίζονται *προς* αυτό, δεν παραδίδονται *σε* αυτό. --- # 4b. Το μητρώο σημασιολογικών αντιστοιχίσεων Για να είναι οι αντιστοιχίσεις προς το κανονικό νόημα επαναχρησιμοποιήσιμες αντί να γράφονται εκ νέου σε κάθε ομοσπονδία, το MUFP εισάγει το **μητρώο σημασιολογικών αντιστοιχίσεων**: μια επιμελημένη, εκδοσιοποιημένη βιβλιοθήκη αντιστοιχίσεων ανάμεσα σε ευρέως χρησιμοποιούμενα πρότυπα και κανονικά νοήματα. Ένα μητρώο σημασιολογικών αντιστοιχίσεων ΠΡΕΠΕΙ να φιλοξενεί επαναχρησιμοποιήσιμες αντιστοιχίσεις, όπως εκείνες ανάμεσα σε O*NET, ESCO, HR-XML και Schema.org, καθεμιά με την αρχή, την έκδοση και την προέλευσή της. Με ένα τέτοιο μητρώο, ένα μετα-μοντέλο εργαζομένου μπορεί να διαλειτουργεί με εταίρους σε συστήματα ανθρώπινου δυναμικού, προσλήψεων και αγοράς εργασίας παραπέμποντας σε δημοσιευμένες αντιστοιχίσεις προς τα πρότυπα αυτά, αντί να διαπραγματεύεται κάθε φορά μια κατά παραγγελία ολοκλήρωση ανά ζεύγος. Μια εγγραφή του μητρώου τη συμβουλεύεται κανείς, δεν την αντιγράφει· τα αυθεντικά μοντέλα και των δύο πλευρών παραμένουν αμετάβλητα. Οι αντιστοιχίσεις του μητρώου ΟΦΕΙΛΟΥΝ να υπόκεινται σε κάθε απαίτηση του εγγράφου αυτού - είναι συνήθεις σημασιολογικές αντιστοιχίσεις που απλώς δημοσιεύονται για επαναχρησιμοποίηση. --- # 5. Τύποι αντιστοίχισης Συνήθεις τύποι αντιστοίχισης περιλαμβάνουν: - Ισοδύναμη - Επέκταση - Εξειδίκευση - Γενίκευση - Παράγωγη από - Ψευδώνυμο - Απαιτείται μετασχηματισμός - Μερική αντιστοίχιση - Καμία γνωστή αντιστοίχιση Τα πρότυπα ανά τομέα ΜΠΟΡΕΙ να εισάγουν πρόσθετους τύπους αντιστοίχισης. --- # 6. Συστατικά της αντιστοίχισης Κάθε σημασιολογική αντιστοίχιση ΠΡΕΠΕΙ να ορίζει: - το κανονικό αναγνωριστικό· - την έννοια-πηγή· - την έννοια-στόχο· - τον τύπο της αντιστοίχισης· - το σκεπτικό της αντιστοίχισης· - τη βεβαιότητα (όπου ισχύει)· - την αρμόδια αρχή· - την έκδοση· - την προέλευση. --- # 7. Αρχή της αντιστοίχισης Κάθε αντιστοίχιση ΟΦΕΙΛΕΙ να προσδιορίζει την αρχή που ευθύνεται για τη δημοσίευσή της. Οι αντιστοιχίσεις ΜΠΟΡΕΙ να συντάσσονται από: - το αυθεντικό Σύμπαν· - μια αρχή της ομοσπονδίας· - έναν οργανισμό τυποποίησης· - έναν συμφωνημένο ουδέτερο επιμελητή. Η αρχή ΟΦΕΙΛΕΙ να παραμένει ρητή. --- # 8. Συμβατότητα εκδόσεων Οι αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να προσδιορίζουν τις εκδόσεις και των δύο συμμετεχόντων σημασιολογικών μοντέλων. Οι αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να επανεξετάζονται όποτε εξελίσσεται οποιαδήποτε από τις δύο πλευρές. Οι ιστορικές αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να παραμένουν ανασυγκροτήσιμες. --- # 9. Εισαγόμενα πρότυπα Οι αντιστοιχίσεις ΠΡΕΠΕΙ να χρησιμοποιούνται κατά την ενσωμάτωση εξωτερικών προτύπων όπως: - Schema.org - OData CSDL - HL7 FHIR - O*NET - ESCO - BPMN - ArchiMate Οι εισαγόμενες έννοιες ΟΦΕΙΛΟΥΝ να διατηρούν τις αρχικές τους ταυτότητες. --- # 10. Μετασχηματισμός Ορισμένες αντιστοιχίσεις ΜΠΟΡΕΙ να απαιτούν σημασιολογικό μετασχηματισμό. Οι κανόνες μετασχηματισμού ΟΦΕΙΛΟΥΝ να είναι: - ντετερμινιστικοί όποτε αυτό είναι πρακτικό· - τεκμηριωμένοι· - ιχνηλατήσιμοι· - ενήμεροι ως προς τις εκδόσεις. Ο μετασχηματισμός ΔΕΝ ΠΡΕΠΕΙ να αλλοιώνει σιωπηλά το σημασιολογικό νόημα. --- # 11. Ομοσπονδία Η σημασιολογική αντιστοίχιση είναι ο προτιμώμενος μηχανισμός διαλειτουργικότητας ανάμεσα σε ετερογενή Σύμπαντα. Οι συμμετέχοντες σε ομοσπονδία ΠΡΕΠΕΙ να ανταλλάσσουν κανονικές αντιστοιχίσεις πριν ανταλλάξουν σημασιολογική γνώση. Οι αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να στηρίζουν την ανταλλαγή προβολών χωρίς να απαιτείται διπλασιασμός σχημάτων. --- # 12. Επικύρωση Μια συμμορφούμενη υλοποίηση ΠΡΕΠΕΙ να επικυρώνει: - τις ταυτότητες πηγής και στόχου· - τον τύπο της αντιστοίχισης· - την αρχή· - τη συμβατότητα εκδόσεων· - τη σημασιολογική συνέπεια· - την ιχνηλασιμότητα. Αντιστοιχίσεις που δεν περνούν την επικύρωση ΔΕΝ ΠΡΕΠΕΙ να χρησιμοποιούνται αυτόματα. --- # 13. Ιχνηλασιμότητα Κάθε αντιστοίχιση ΟΦΕΙΛΕΙ να διατηρεί: - την προέλευση· - την αρχή που τη δημοσιεύει· - το γεγονός δημοσίευσης· - το ιστορικό εκδόσεων· - τα σχετικά συμβόλαια (όπου ισχύει). Η ιχνηλασιμότητα ΟΦΕΙΛΕΙ να επιβιώνει της ομοσπονδίας. --- # 14. Αρχιτεκτονικές αναλλοίωτες Κάθε σημασιολογική αντιστοίχιση ΟΦΕΙΛΕΙ να διαφυλάσσει: - τις κανονικές ταυτότητες· - τη σημασιολογική κυριαρχία· - την ιδιοκτησία· - την προέλευση· - τη συνταγματική συμμόρφωση. Οι αντιστοιχίσεις ΟΦΕΙΛΟΥΝ να συνδέουν νοήματα. ΔΕΝ ΠΡΕΠΕΙ να αντικαθιστούν νοήματα. --- # 15. Τυπικά παραδείγματα Παραδείγματα περιλαμβάνουν: - employee:Employee ↔ schema:Person (επέκταση) - employee:Skill ↔ Skill του O*NET (ισοδύναμη) - healthcare:Patient ↔ fhir:Patient (ισοδύναμη) - organization:Department ↔ Business Actor του ArchiMate (μερική αντιστοίχιση) Τα παραδείγματα αυτά είναι πληροφοριακά και όχι κανονιστικά. Ένα επεξεργασμένο παράρτημα διαλειτουργικότητας βρίσκεται στο [examples/interop/](../examples/interop/) - εισάγει το Schema.org ως σημασιολογικό πακέτο, αντιστοιχίζει ένα τοπικό `employee.person` με Schema.org, FHIR και FOAF, και προβάλλει το αντικείμενο σε RDF/OWL. --- # 16. Μελλοντικές κατευθύνσεις Το **μητρώο σημασιολογικών αντιστοιχίσεων** που εισάγεται στο έγγραφο αυτό προοιωνίζεται μια πλήρη συνοδευτική προδιαγραφή. Η προδιαγραφή εκείνη θα όριζε πώς τα μητρώα δημοσιεύονται, ανακαλύπτονται και ομοσπονδοποιούνται· πώς οι εγγραφές τους δηλώνουν το κανονικό τους νόημα, την αρχή, την έκδοση και τη βεβαιότητα· πώς οι αντιστοιχίσεις καταργούνται και αντικαθίστανται καθώς εξελίσσονται τα πρότυπα· και πώς μια **ομοσπονδία μητρώων** επιτρέπει στους συμμετέχοντες να διασταυρώνουν αντιστοιχίσεις χωρίς κανένα μητρώο να γίνεται καθολική σημασιολογική αρχή. Πρόθεση είναι ένα διαρκώς αυξανόμενο δημόσιο κοινό αγαθό επαναχρησιμοποιήσιμων αντιστοιχίσεων - O*NET, ESCO, HR-XML, Schema.org και πέραν αυτών - ώστε η διαλειτουργικότητα να γίνεται όλο και περισσότερο ζήτημα *παραπομπής* και όχι *διαπραγμάτευσης*. --- # Τελική δήλωση Η σημασιολογική αντιστοίχιση είναι η γέφυρα διαλειτουργικότητας του Μετα-Σύμπαντος. Αντί να επιβάλλει σε όλους τους συμμετέχοντες να υιοθετήσουν ένα ενιαίο λεξιλόγιο, το Μετα-Σύμπαν επιτρέπει σε κυρίαρχα Σύμπαντα να διατηρούν τα δικά τους σημασιολογικά μοντέλα, θεμελιώνοντας παράλληλα ρητές, ιχνηλατήσιμες και ενήμερες ως προς τις εκδόσεις αντιστοιχίες ανάμεσα σε έννοιες. Έτσι η γνώση ρέει ανάμεσα σε ετερογενή οικοσυστήματα χωρίς να θυσιάζεται ταυτότητα, νόημα ή συνταγματική αυτονομία.