REA2: Sebuah Formalisasi Terpadu Dari Ontologi Resource-Event-Agent

Machine Translated by Google
Ontologi Terapan 13 (2018) 201–224 201

DOI 10.3233/AO-180198
IOS Press
REA2 : Sebuah formalisasi terpadu dari

ontologi Resource-Event-Agent
Wim Laurier a,b,c,ÿ, Jesper Kiehn a dan Simon Polovina D
A
Universitas Saint Louis, Bruxelles, Boulevard du jardin Botanique 43, 1000 Bruxelles, Belgique E-mail:
wim.laurier@usaintlouis.be, jkiehn@hotmail.com
B
Universitas Ghent, Fakultas Administrasi Bisnis, Departemen Informatika Bisnis dan Manajemen Operasi,
Tweekerkenstraat 2, 9000 Gent, Institut inno.com Belgia, Heiststeenweg
C
131, 2580 Beerzel, Grup Penelitian Struktur Konseptual Belgia, Pusat
D
Penelitian Komunikasi dan Komputasi,
Departemen Komputasi, Sheffield Hallam University, Sheffield S1 2NU, UK
E-mail: S.Polovina@shu.ac.uk
Abstrak. Melalui bukti konsep dalam SWI-Prolog, makalah ini menunjukkan model transaksi bisnis dimana mitra dagang dapat memperoleh
perspektif pribadi mereka sendiri dari data bersama. Demonstrasi adalah formalisasi inovatif dari ontologi Resource-Event-Agent (REA)
karena memungkinkan untuk mengubah sudut pandang secara real-time antara satu perspektif mitra dagang dan mitra dagang dengan
pandangan yang berlawanan (yaitu, pelanggan atau pemasok). ), atau perspektif independen mitra dagang (misalnya pihak ketiga
tepercaya). Model transaksi bisnis dicapai dengan menyatukan REA dengan Open-EDI Business Transaction Ontology (OeBTO).
Formalisasi terpadu yang dihasilkan dari ontologi REA (REA2) juga menyoroti implikasi untuk pengembangan masa depan dari a) sistem
informasi perusahaan (EIS) di cloud, b) EIS berbasis media sosial, c) EIS blockchain, dan d) interoperabilitas EIS lintas paradigma bisnis.
Interoperabilitas EIS seperti antara EIS tradisional (yang biasanya menggunakan perspektif mitra dagang), dan EIS untuk ekonomi
kolaboratif (yang biasanya menggunakan perspektif independen mitra dagang) secara khusus disorot karena menjadi jauh lebih transparan
daripada sebelumnya.
Kata kunci: Sumber daya, acara, agen, REA, ontologi, prolog, tampilan dependen, tampilan independen, Open-edi Business Transaction
Ontology (OeBTO), ekonomi kolaboratif, blockchain
Diterima oleh: Michael Gruninger
1. Perkenalan
Bisnis berkolaborasi dengan mitra untuk menciptakan nilai dan bersaing dengan mitra yang sama untuk
mendapatkan sebagian besar dari nilai yang mereka ciptakan bersama (Brandenburger dan Nalebuff, 1996).
Kolaborasi membutuhkan berbagi informasi dengan mitra dagang, sedangkan berbagi informasi dapat menghambat
maksimalisasi pendapatan dalam lingkungan yang kompetitif (Letaifa, 2014). Sementara itu, pihak ketiga (seperti
pemerintah, pihak ketiga tepercaya) meminta akses ke data perdagangan sehingga mereka dapat memproses
informasi ini untuk mengurangi risiko kesehatan dan keselamatan melalui ketertelusuran makanan, bea cukai
elektronik, atau dalam bentuk interaksi bisnis baru seperti blockchain. (Laurier dan Poels, 2012; Steiner dan Baker, 2016; Tan et al., 20
*Penulis yang sesuai. Email: wim.laurier@usaintlouis.be.
1570-5838/18/$35.00 © 2018 – IOS Press dan penulis.
Artikel ini diterbitkan online dengan Akses Terbuka dan didistribusikan di bawah ketentuan Lisensi Non-Komersial Atribusi Creative
Commons (CC BY-NC 4.0).
202 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent
perencanaan sumber daya perusahaan (ERP) dan sistem informasi akuntansi (AIS) terbatas dalam kemampuannya untuk
menyediakan perspektif jaringan nilai atau pihak ketiga ini, karena fokus internal mereka (Value Network Software (NRP),
2016) .
Untuk mengatasi masalah ini, ontologi bisnis harus dalam bentuk yang ringkas dan cukup sederhana untuk
diimplementasikan dalam banyak bahasa pemodelan dan pemrograman yang mencerminkan teknologi yang mungkin
digunakan oleh mitra dagang atau pihak ketiga. Pada saat yang sama ontologi harus mengizinkan representasi simultan
yang dapat dioperasikan dan saling bertentangan dari mitra dagang yang berkolaborasi serta perspektif pihak ketiga yang
netral pada transaksi dan operasi bisnis untuk mendukung, misalnya, ketertelusuran (Aliran Nilai vf vocab , 2016).
Makalah ini disusun sebagai berikut: Bagian 2 menguraikan kemampuan ontologi Resource-Event-Agent (REA) untuk
memformalkan perspektif mitra dagang yang bergantung dan mitra dagang independen (atau netral). Bagian 3 menyajikan
ontologi REA terpadu yang disebut REA2 yang memformalkan dimensi dependen dan independen dalam satu tampilan.
Bagian 4 membahas metodologi penelitian dan penelitian terkait. Bagian 5 memperkenalkan meta-model yang memperluas
interpretasi tradisional ontologi REA. Selanjutnya, Bagian 6 memperkenalkan pola semantik yang diformalkan sebagai model
data.
Bagian 7 dan 8 menyajikan contoh yang digunakan sebagai contoh yang berfungsi sebagai bukti konsep untuk REA2.
Bagian 9 membahas keterbatasan dan implikasi dari bukti konsep. Pembahasan ini dilengkapi dengan arahan untuk
penelitian selanjutnya, dan diakhiri dengan nilai yang dibawa REA2 ke REA.
2. Ontologi Resource-Event-Agent
Resource-Event-Agent (REA) adalah ontologi yang telah digunakan untuk mendokumentasikan perspektif mitra dagang
dan pihak ketiga (Geerts dan McCarthy, 2002; ISO/IEC, 2007 ) .
REA dengan demikian tetap sebagai ontologi fokus. Namun makalah ini berpendapat bahwa ontologi REA memiliki
kemampuan memodelkan mitra dagang yang tergantung dan independen (atau netral) perspektif secara bersamaan jika dan
hanya jika primitif REA ditugaskan sebagai mitra dagang yang dapat diidentifikasi.
Mengingat asal REA dalam akuntansi, pandangan dependen REA, yang juga disebut pandangan mitra dagang, adalah
perusahaan-sentris. Dalam satu dimensi, REA berfokus pada semantik yang dibutuhkan untuk menggambarkan perspektif
dari satu organisasi (McCarthy, 1979; 1982). Di dimensi lain, pandangan independen REA, yang juga disebut pandangan
helikopter, berpusat pada rantai pasokan dan berfokus pada semantik untuk menggambarkan bisnis dari perspektif pihak
ketiga yang netral (Haugen, 2007) . Validitas pandangan independen telah diakui oleh International Organization for
Standardization (ISO) sebagai standar untuk pertukaran data elektronik yang efektif (EDI) (ISO/IEC, 2007). Dalam praktiknya,
pandangan dependen REA memiliki banyak implementasi di berbagai bidang. Itu telah dipetakan ke ontologi sentris
perusahaan lainnya, dan telah diidentifikasi sebagai pola berulang dalam perangkat lunak SAP ERP yang memimpin pasar
(Gailly dan Poels, 2009; Geerts, 2011; O'Leary, 2004). Oleh karena itu ada kebutuhan untuk membawa pandangan
independen ke REA yang secara elegan berdampingan dengan implementasi yang berpusat pada perusahaan yang ada,
membawa mereka sejalan dengan standar ISO.
3.REA2
Untuk memenuhi kebutuhan yang teridentifikasi di atas, makalah ini menyajikan ontologi REA terpadu yang disebut
REA2 yang untuk merusak pandangan dependen dan independen. Gambar 1 memvisualisasikan konteks aplikasi yang dimaksud
W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 203
Gambar 1. Integrasi tampilan REA2: konteks aplikasi.
formalisasi REA2 , di mana data tersedia dalam ISO/IEC FDIS 15944-4 atau format data independen tampilan yang
kompatibel mendukung interoperabilitas antara sistem informasi mitra dagang yang berbagi ruang kolaborasi. Ruang
kolaborasi seperti itu didefinisikan oleh standar ISO OeBTO sebagai ruang aktivitas bisnis di mana pertukaran ekonomi
sumber daya bernilai dilihat secara independen dari perspektif mitra dagang mana pun (ISO/IEC, 2007 ). ISO/IEC FDIS
15944-4 adalah salah satu awal dan masih merupakan sumber penting untuk pandangan independen REA.
Dalam konteks aplikasi yang dimaksud, mitra dagang akan terus menggunakan tampilan dependen REA (atau format
data dependen tampilan yang kompatibel seperti SAP (O'Leary, 2004), karena data dalam format yang kompatibel dengan
ISO/IEC FDIS 15944-4 akan memerlukan tidak ada atau transformasi sepele). REA2 akan ditampilkan untuk memungkinkan
transformasi otomatis dari data yang bergantung pada tampilan menjadi data yang tidak bergantung pada tampilan dan
sebaliknya. Transformasi otomatis ini akan memungkinkan mitra dagang dari perspektif tampilan dependen mereka untuk
membagikan data mereka di ruang kolaborasi, di mana transformasi memungkinkan mereka untuk menggunakan kembali
data yang dibagikan oleh mitra dagang mitra mereka, yang mempertahankan tampilan dependen mitra mereka.
Untuk menghindari masalah keterbacaan dengan visualisasi, formalisasi REA2 telah didekomposisi dan disajikan
sebagai 3 model terpisah: 1) model meta (M2), 2) model data (M1), dan 3) contoh (M0) yang bertindak sebagai contoh
yang menunjukkan nilai REA2. Untuk membantu pemahaman, semantik instan yang menghubungkan model-model ini
satu sama lain sesuai dengan semantik M2-M1-M0 dari Object-Management Group's (OMG) Meta-Object Facility (MOF)
(OMG, 2016) .
Meta-model (M2) menggunakan stereotip OntoUML, untuk menyajikan set minimal konstruksi REA yang memungkinkan
representasi simultan dari perspektif mitra dagang yang berlawanan – yaitu, pandangan dependen – dan sudut pandang
pihak ketiga yang independen – yaitu , tampilan independen. Semantik generalisasi dalam meta-model REA2 akan
digunakan untuk mendapatkan tampilan independen dari tampilan dependen.
OntoUML menarik karena telah dikembangkan untuk melawan arsitektur informasi berbasis silo, yang menghambat
menjawab pertanyaan kritis yang hanya dapat diselesaikan dengan menghubungkan informasi yang tersebar di silo ini
(Guizzardi, 2014) . Pertanyaan kritis ini mencakup pertanyaan ketertelusuran, profitabilitas, dan kesetaraan yang
memerlukan perspektif independen pandangan. Karena makalah ini berfokus pada aspek ontologis, semua model di
bawah ini abstrak dari aspek spesifik konteks seperti kardinalitas yang memodelkan aturan bisnis (misalnya batas atas
dan bawah untuk jumlah agen ekonomi yang dapat dikaitkan dengan peristiwa ekonomi). Akibatnya, tidak ada kardinalitas
yang akan ditampilkan pada diagram di makalah ini. Karena ontologi REA membahas suatu pola dalam pemodelan
konseptual, itu mengharuskan kita untuk fokus pada peran dan semantik hubungan dari pola tersebut, secara inheren
mengabstraksi dari hal-hal yang dapat memainkan peran sumber daya, peristiwa, dan agen. Abstraksi ini dan fokus
selanjutnya pada peran sangat penting untuk kontribusi makalah ini.
Dibantu oleh MOF, data-model (M1) mengimplementasikan meta-model untuk menunjukkan pola semantik yang
membahas semantik yang bergantung dan mandiri pada mitra dagang dalam ruang kolaborasi seperti yang dijelaskan
sebelumnya. Pola semantik ini pada gilirannya dapat digunakan untuk memetakan tampilan dependen ke tampilan
independen dan sebaliknya. Ekstensi dari, dan variasi, model data pola dasar ini dapat ditemukan di model-driven
Gambar 2. Meta-model REA2 untuk aliran stok.
Gambar 3. Meta-model REA2 untuk dualitas.
pola bisnis seperti yang didokumentasikan oleh Hruby et al. (2006). Model M1 ini merupakan implementasi pola
dasar dari pola REA yang dijelaskan oleh meta-model (M2). Implementasi ini tidak memerlukan sintaks tertentu.
Akibatnya, ia menggunakan sintaks UML standar, menginisialisasi kelas stereotip dari model meta sebagai
asosiasi dengan stereotip asosiasi REA, menjadi kelas dengan stereotip peran REA dan nama yang mengacu
pada suatu jenis. Prinsip ini juga diterapkan pada kelas dalam diagram M1 (yaitu, Gambar. 5), yang diberikan
stereotip peran REA tingkat M2 (yaitu, contoh Gambar 2-4) di mana nama mereka mengacu pada contoh sejenis.
Contoh mengilustrasikan skenario implementasi pola dasar dengan data contoh (M0) yang dikembangkan untuk
menguji pernyataan yang membahas perubahan semantik yang disebabkan oleh peralihan antara sudut pandang
dependen dan independen. Contoh akan dibahas secara rinci segera. Untuk saat ini, kami dapat menjelaskan
bahwa skenario pengujian menghasilkan pernyataan pandangan independen dari data mitra dagang tunggal
yang mengambil pandangan dependen, yaitu mitra dagang 104 pada Gambar 6. Pandangan independen yang dihasilkan
Gambar 4. Meta-model REA2 untuk partisipasi.
Gambar 5. Semantik ruang kolaborasi.
pernyataan kemudian diubah kembali menjadi pernyataan tampilan dependen untuk mitra dagang dengan pandangan
yang bertentangan dengan mitra dagang yang datanya digunakan untuk menghasilkan data tampilan independen
yaitu mitra dagang 106 – pemasok 104 – dan pemasok 107 – 104 klien - pada Gambar. 6.
4. Metodologi penelitian dan penelitian terkait
Sepengetahuan kami, makalah ini adalah yang terbaru dalam sejarah makalah yang berusaha menjelaskan
semantik yang lebih baik dari ontologi REA. Yang paling terkenal berasal dari analisis REA
Gambar 6. Skenario evaluasi.
dalam terang ontologi dasar Sowa (Sowa, 2000), dengan satu studi lebih lanjut yang melengkapi
Ontologi Sowa dengan mekanisme abstraksi dalam REA (Geerts dan McCarthy, 2000b, 2002, 2005, 2006;
Sowa, 2000). Sejumlah penulis telah meresmikan REA untuk membuatnya dapat dibaca oleh komputer, meskipun jumlahnya banyak
yang lain telah mencoba menemukan definisi terbaik untuk konsep REA yang paling membantu upaya manusia
menerapkan REA (Gailly dan Geerts, 2013; Gailly, Laurier dan Poels, 2008; Hruby dan Kiehn, 2006; Ito dan
ÿ
Vymetal, 2013; Jaquet, 2006; Laurier dan Poels, 2014; McCarthy, Geerts dan Gal, 2016a,b; Zdravkovic,
Zikra dan Ilayperuma, 2011).
Pendekatan kami untuk makalah ini menorehkan dirinya dalam tradisi ilmu desain, yang telah menjadi tradisi
dominan dalam penelitian REA (Geerts, 2011). Ilmu desain melibatkan relevansi, ketelitian dan desain
siklus. Siklus relevansi mengontekstualisasikan artefak desain dengan mengacu pada masalah praktis dalam
dunia nyata. Masalah praktis ini menginformasikan evaluasi artefak. Siklus kekakuan membahas
dasar dan aspek inovatif dari artefak desain mengacu pada keadaan seni. Keadaan
seni didefinisikan oleh literatur ilmiah dan profesional dan disajikan sebagai keahlian spesialis
terlibat dalam desain artefak. Siklus desain menghasilkan artefak desain melalui proses iteratif
inovasi radikal dan perbaikan berkelanjutan, diinformasikan oleh relevansi dan siklus kekakuan (Hevner
dan Chatterjee, 2010).
Karena siklus desain, kekakuan, dan relevansi biasanya tidak dibahas secara bersamaan dalam literatur REA
(Dunn, Gerard, dan Grabski, 2016), makalah kami akan fokus pada siklus kekakuan yang menangani siklus saat ini.
keadaan pengetahuan ontologi REA. Untuk sebagian kecil, kami juga akan fokus pada siklus desain
menghadirkan artefak – yaitu contoh – yang akan berfungsi sebagai bukti konsep kami dan memungkinkan untuk a
analisis berbasis skenario dari pendekatan kami disajikan segera. Makalah ini membahas ketelitian penelitian
dengan memperbaiki kode Prolog1 yang ditemukan di Geerts dan McCarthy (2000a) dengan gagasan dari formalisasi REA
dikembangkan oleh Gailly, Laurier dan Poels (2008). Formalisme itu pada gilirannya distereotipkan dengan OntoUML
stereotip (Guizzardi, 2014) alih-alih stereotip OWL, dan gagasan dari model data Resource Event-Agent (REA) asli
yang diterbitkan oleh McCarthy (1982) dan buku Hruby et al. (2006) tentang REA.
Pembuktian konsep membahas siklus desain melalui demonstrasi pendekatan melalui
1Prolog adalah bahasa pemrograman berbasis logika (Colmerauer dan Roussel, 1993).
contoh menjadi contoh pola dasar. Contoh adalah sekumpulan pernyataan yang ditulis dalam Prolog yang dapat mengubah
pernyataan Prolog tampilan dependen menjadi pernyataan Prolog tampilan independen dan sebaliknya.
Untuk menekankan penyematan makalah ini dalam literatur REA, kode dalam Lampiran C dan E juga menunjukkan bagaimana
perspektif yang berlawanan dan independen dapat diturunkan dari kode Geerts dan McCarthy (2000a) . Ini merujuk pada artefak
REA yang lebih tua tetapi tetap menggambarkan penyematan tradisi ilmu desain REA dalam makalah ini; ilustrasi tersebut karenanya
diperkuat oleh argumen yang terinformasi.
5. Meta-model
Meta-model memperluas interpretasi tradisional ontologi REA. Agar mudah dibaca, model meta akan divisualisasikan sebagai
tiga gambar terpisah yang diabstraksikan dari kendala kardinalitas, masing-masing berfokus pada relator yang ditentukan oleh
aksioma REA. Seorang relator menengahi antara peran dalam hubungan material.
Relasi material bergantung pada relata, yang merupakan entitas yang terkait, terlepas dari sifat intrinsiknya (misalnya Bob menyukai
Alice). Hubungan formal dapat direduksi menjadi sifat intrinsik relata (misalnya Bob lebih tinggi dari Alice) (NEMO, 2015).
Gambar 2 membahas aksioma stock-flow – yaitu, “Setidaknya ada satu peristiwa aliran masuk dan satu aliran keluar untuk setiap
sumber daya ekonomi; sebaliknya peristiwa arus masuk dan arus keluar harus memengaruhi sumber daya yang dapat diidentifikasi.”
(Geerts dan McCarthy, 2005). Stock-Flow ditampilkan sebagai relator. Relasi pada Gambar 2 – yaitu, sumber daya ekonomi,
peristiwa ekonomi dan subtipenya – semuanya telah distereotipkan sebagai campuran peran. Rolemixin adalah generalisasi dari
sekumpulan peran, dan digambarkan dalam Gambar 2 sebagai roleMixin. Sebuah peran didefinisikan sebagai tipe penyortiran anti
kaku yang terhubung ke relasi yang mencirikan dan mengkhususkan jenis yang unik (Guizzardi, 2014). Melalui generalisasi ini,
rolemixin dapat ditugaskan ke instance dari jenis yang berbeda melalui spesialisasi bersama dari jenis dan rolemixin, di mana peran
hanya dapat ditugaskan ke instance dari satu jenis melalui spesialisasi jenis ini. Sumber daya ekonomi rolemixin dapat ditugaskan
ke suatu entitas (atau benda) yang langka dan dikendalikan oleh mitra dagang, kepada siapa ia memiliki nilai (misalnya, hak, layanan
dan barang semuanya dapat menjadi sumber daya ekonomi) ( ISO/IEC, 2007). Dengan mendefinisikan sumber daya ekonomi
sebagai rolemixin, makalah ini membela pendapat bahwa hal-hal hanya dapat dianggap sebagai sumber daya ekonomi ketika
mereka berharga bagi mitra dagang. Misalnya, sebuah mobil hanya memiliki nilai bagi orang yang mengendarainya.
Jadi, mobil saya adalah sumber daya bagi saya, mobil di sebelahnya di tempat parkir bukanlah sumber daya bagi saya – meskipun
merupakan sumber daya bagi pemiliknya – meskipun jenisnya (misalnya VW Golf) identik dengan mobil saya. Interpretasi istilah
sumber daya ekonomi ini berbeda secara signifikan dari interpretasi tradisional karena interpretasi tradisional dapat dibaca sebagai:
sumber daya ekonomi adalah segala sesuatu yang memiliki potensi untuk dianggap sebagai sumber daya ekonomi oleh setidaknya
satu orang. Akibatnya, objek apa pun dari jenis VW Golf merupakan sumber daya ekonomi dalam interpretasi tradisional. Rolemixin
economic-event dapat dikaitkan dengan fenomena yang mencerminkan perubahan2 dalam nilai atau kuantitas sumber daya ekonomi
(McCarthy, 1982).
Dengan mendefinisikan peristiwa ekonomi sebagai rolemixins, makalah ini berpendapat bahwa beberapa jenis peristiwa berpotensi
memiliki dampak ekonomi tanpa harus. Misalnya, badai dapat menimbulkan dampak ekonomi yang cukup besar jika merusak
barang. Namun, badai dengan jenis yang persis sama tidak memiliki dampak ekonomi sama sekali (misalnya saat melintasi daratan
yang tidak memiliki nilai ekonomi). Selain itu, peristiwa yang memiliki dampak ekonomi menurut definisinya tidak perlu berdampak
ekonomi pada setiap orang yang dapat mengamatinya. Misalnya, melihat transfer tunai (misalnya, dari sudut pandang pihak ketiga)
tidak membuat saya lebih kaya
2Dalam literatur akuntansi perubahan ini selalu seketika. Bahkan ketika perubahan ini merupakan bagian dari proses yang panjang, satu
bagian temporal – biasanya yang pertama atau terakhir – dari proses ini diberi label sebagai perubahan. Untuk transfer, ini menyiratkan
bahwa kepemilikan ditransfer baik di awal atau di akhir transportasi.
atau lebih buruk, meskipun mitra dagang yang terlibat akan mengamati dampak ekonomi dari transfer tunai tersebut.
Interpretasi person-bound dari gagasan peristiwa ekonomi juga terkait dengan kontribusi makalah ini sebagai
interpretasi tradisional peristiwa ekonomi adalah mutlak dan harus dibaca sebagai "suatu peristiwa yang memiliki
potensi dampak ekonomi pada setidaknya satu orang".
Gambar 2 membaca "inflow event" dan "outflow event" dalam aksioma stock-flow sebagai event yang memainkan
peran increment event dalam inflow dan event yang memainkan peran decrement event dalam outflow masing-
masing, karena inflow dan outflow dipertimbangkan. subtipe stockflow oleh Gailly, Laurier dan Poels (2008).
Seperti yang dinyatakan oleh aksioma stock-flow, peristiwa ekonomi rolemixin memiliki dua sub-tipe. Rolemixin
acara kenaikan terhubung ke relator aliran masuk, di mana rolemixin acara penurunan terhubung ke relator aliran
keluar, baik aliran masuk dan aliran keluar adalah sub-tipe dari relator aliran stok. Peran kenaikan dan penurunan
dianggap saling eksklusif dalam satu perspektif – yaitu, dalam dunia wacana mitra dagang tunggal, peristiwa
ekonomi diberi peran kenaikan atau penurunan tetapi tidak keduanya.
Dalam konteks tulisan ini, aksioma REA kedua – yaitu, “Semua kejadian yang mempengaruhi aliran keluar harus
pada akhirnya dipasangkan dalam hubungan dualitas dengan kejadian yang mempengaruhi aliran masuk dan
sebaliknya.” (Geerts dan McCarthy, 2005) – telah dimodelkan sebagai acara peningkatan dan penurunan rolemixin
yang terhubung ke relator dualitas . Dengan memodelkan dualitas sebagai relator yang menghubungkan dua
peristiwa, makalah ini menganut interpretasi dualitas sebagai konstruksi sosial (yaitu, hubungan material), yang
berlaku dalam akuntansi (Fisher-Pauzenberger dan Schwaiger, 2017) . Misalnya, ketika mencuri mobil kita tidak
melanggar hukum fisika, tetapi hanya melanggar hukum perdata, yang merupakan konstruksi sosial, karena secara
fisik dimungkinkan untuk mengambil mobil tanpa harus memberikan imbalan apa pun. Dalam semesta wacana
mitra dagang tunggal, dualitas memasangkan peristiwa kenaikan dengan peristiwa penurunan. Definisi dualitas
unilateral seperti yang dirasakan oleh satu mitra dagang berkaitan dengan definisi antarmuka nilai dalam ontologi
e3value, yang memodelkan konsep dualitas dari perspektif masing-masing aktor – yaitu, mitra dagang (Gordijn,
2002) . Karena peristiwa kenaikan dan penurunan adalah rolemixin, mereka dapat ditugaskan ke berbagai jenis
peristiwa (misalnya, transfer dan transformasi), ditunjukkan pada Gambar. 3. Selain itu, karena dualitas menambah
nilai untuk masing-masing mitra dagang yang terlibat, nilai tambah untuk setiap mitra dagang dapat dianggap
sebagai “qua individual”. Nilai tambah ini melekat pada penerima dan bergantung pada penyedia. Misalnya, dalam
pertukaran cookie untuk uang antara Elmo dan Cookiemonster, untuk Cookiemonster, nilai tambah dari pertukaran
bergantung pada Elmo yang mentransfer cookie dan di dalamnya Cookiemonster menghargai cookie lebih dari uang
yang dihabiskan. Dari sudut pandang Elmo, nilai tambah dari pertukaran tergantung pada Cookiemonster yang
mentransfer uang dan di dalamnya Elmo menilai uang lebih dari cookie yang ditransfer. Dalam kasus dualitas
transformasi – berbeda dengan dualitas transfer yang dijelaskan di atas – nilai tambah ini melekat pada pemilik yang
menghargai sumber daya yang diproduksi lebih tinggi daripada sumber daya yang dikonsumsi.
Hal-hal (entitas) yang dapat ditetapkan oleh campuran peran sumber daya ekonomi dan agen akan menjadi
diskusi sampingan yang menarik. Namun, untuk mempertahankan fokus makalah ini (dan sebagaimana tercermin
dalam Gambar. 3) kami memusatkan perhatian kami pada jenis peristiwa yang dapat ditandatangani oleh rolemixin
peristiwa ekonomi, karena relevan untuk memformalkan sudut pandang mitra dagang. Rolemixin peristiwa kenaikan
dan penurunan dapat ditetapkan ke peristiwa transformasi atau jenis transfer. Transformasi menambah nilai dengan
mengubah properti sumber daya, sedangkan transfer menambah nilai dalam transaksi pasar antara mitra dagang
(McCarthy, Geerts dan Gal, 2016a , b). Peran produksi mengkhususkan pada jenis transformasi dan campuran
peran kejadian-inkremen. Peran konsumsi mengkhususkan pada jenis transformasi dan campuran peran peristiwa
penurunan. Akibatnya, hanya peristiwa transformasi yang dapat diberi peran produksi dan konsumsi. Ketika
transformasi terjadi seketika, peran produksi dan konsumsi dapat ditetapkan
ke acara yang sama. Misalnya, saat memblender buah-buahan untuk membuat smoothie, semua bahan kehilangan
identitasnya secara bersamaan (yaitu, dikonsumsi) dan hasil langsung (yaitu, hasil) dari proses pencampuran dapat
diidentifikasi sebagai smoothie. Namun, ketika mendeskripsikan proses yang kompleks dengan langkah-langkah terpisah,
peran produksi dan konsumsi dapat ditetapkan ke berbagai peristiwa. Misalnya, saat menambahkan kismis ke dalam
adonan untuk membuat roti kismis, kismis kehilangan identitasnya saat ditambahkan (yaitu, dikonsumsi) meskipun hanya
mengubah sifat keadaan antara (yaitu, adonan) produk, sedangkan produk akhir ( yaitu, roti kismis) hanya akan diperoleh
pada akhir proses pemanggangan (yaitu, produksi). Alasan yang sama berlaku untuk menambahkan garam atau mentega
ekstra ke adonan, atau membumbuinya. Dalam REA, proses kompleks seperti itu dimodelkan sebagai konfigurasi peristiwa
produksi dan konsumsi yang terkait dengan dualitas transformasi.
Peristiwa konsumsi dan produksi yang saling terkait dapat bersifat beragam (misalnya sejumlah peristiwa konsumsi seketika
yang digabungkan dengan proses produksi dengan durasi yang cukup lama, dan produksi produk sampingan seketika pada
akhirnya).
Melanjutkan, relator transformasi-dualitas mengkhususkan relator dualitas, menghubungkan peran produk ke peran
konsumsi. Di sisi lain, relator dualitas transfer mengkhususkan relator dualitas dengan menghubungkan peran yang
diberikan . Peran take mengkhususkan pada jenis transfer dan rolemixin peristiwa-peningkatan, sedangkan peran give
mengkhususkan pada jenis transfer dan campuran peran peristiwa-penurunan.
Terakhir, aksioma REA ketiga – yaitu, “Setiap pertukaran membutuhkan turunan dari himpunan bagian dalam dan
luar.” (Geerts dan McCarthy, 2005) – membahas bagaimana relator partisipasi3 menghubungkan agen ekonomi dengan
peristiwa ekonomi. Rolemixin agen ekonomi dapat diberikan kepada orang alami atau hukum yang berpartisipasi dalam
peristiwa ekonomi . Agen ekonomi seperti karyawan dapat berpartisipasi dalam acara sebagai pihak dalam atas nama diri
mereka sendiri atau agen ekonomi lainnya. Dalam hubungan pihak dalam, agen ekonomi berurusan dengan orang lain
(baik secara hukum maupun alami) dalam peran sebagai mitra dagang . Dalam peran mitra dagang, agen ekonomi
mengalami efek dari peristiwa ekonomi. Semua agen ekonomi yang berhubungan dengan peristiwa ekonomi melalui relator
pihak luar adalah mitra dagang. Jenis acara yang mereka ikuti adalah transfer antar mitra dagang. Dari dan ke adalah
subtipe dari relator pihak luar.
Mitra dagang yang terhubung ke dari relator memberikan peran ambil ke acara transfer. Mitra dagang yang terhubung ke
relator memberikan peran pemberian ke acara transfer . Gambar 4 merangkum hal di atas.
Seperti sumber daya ekonomi dan peristiwa ekonomi primitif REA, makalah ini berpendapat bahwa agen ekonomi REA
harus dimodelkan sebagai campuran peran yang diberikan kepada seseorang (yaitu, sejenis). Pembahasan tentang jenis
orang yang dapat atau tidak dapat diberikan peran agen ekonomi dianggap di luar cakupan makalah ini. Konsekuensi dari
pemodelan agen ekonomi sebagai peran adalah bahwa orang yang sama atau berbeda dapat memainkan banyak peran
di dalam dan di luar. Misalnya, ketika saya membeli pizza ke Joe's Pizza, saya dapat bertindak atas nama diri sendiri
sebagai agen di dalam dan di luar. Dalam hal ini, saya adalah mitra dagang Joe dan terlibat dalam kedua peristiwa transfer
(yaitu, pembayaran dan pengiriman) melalui hubungan pihak dalam dan pihak luar.
Saya juga bisa meminta putri saya untuk mengambil pizza dan membayar Joe. Dalam hal ini, saya masih mitra dagang
Joe, tetapi pengiriman dan pembayaran dilakukan oleh putri saya atas nama saya. Akibatnya, saya terhubung dengan
transfer melalui asosiasi pihak luar dan putri saya melalui asosiasi pihak dalam.
Demikian pula, Joe dapat mengantarkan pizza langsung kepada saya atau memutuskan untuk mengirim tukang pizza.
Dalam kasus sebelumnya, Joe adalah mitra dagang saya (yaitu, pihak luar) dan orang yang berpartisipasi dalam pembayaran
dan pengiriman (yaitu, pihak dalam). Dalam kasus terakhir, Joe masih menjadi mitra dagang saya (yaitu, pihak luar) dengan
peristiwa transfer yang dilakukan oleh tukang pizza (yaitu, pihak dalam) atas nama Joe.
Formalisasi ontologi REA2 seperti yang ditunjukkan sebelumnya memungkinkan untuk dokumentasi simultan dari
keduanya - yaitu, penjual dan pembeli - perspektif di bursa. Sebagai REA2 juga menyumbang independen
3 Relator partisipasi ini mewakili partisipasi REA, bukan partisipasi OntoUML, yang merupakan hubungan formal
yang memegang antara suatu peristiwa (ekonomi atau tidak) dan semua objek yang terlibat di dalamnya.
pandangan, selain kedua pandangan yang bergantung, simetri antara semesta wacana kedua mitra dagang perlu
ditangkap oleh formalisasi. Dalam meta-model, kesimetrian ini ditangkap oleh relasi formal bernama mirror, mirip
dengan bayangan cermin, yang merupakan duplikasi pantulan tetapi dibalik arahnya seperti pada cermin. Sebuah
cermin diperlihatkan pada Gambar 4. Relasi formal adalah relasi yang dapat berlaku langsung di antara relata-nya
dan dapat direduksi menjadi sifat-sifat intrinsik relata, seperti 'lebih tua dari'. Relasi cermin membahas fakta bahwa
transfer selalu melibatkan aliran stok dari satu mitra dagang ke mitra dagang lainnya. Relasi cermin formal
memformalkan bahwa dari dan ke relasi adalah dua sisi dari mata uang yang sama, koin menjadi transfernya.
Misalnya, ketika Joe mengirim pizza ke pelanggan, itu adalah transfer dari dia ke pelanggan. Tidak ada pizza yang
dapat dikirim oleh Joe tanpa pergi ke pelanggan, juga tidak ada pelanggan yang dapat menerima pizza tanpa
dikirimkan (yaitu, dari). Logika yang sama berlaku untuk transfer uang. Tidak ada pembayaran yang dapat terjadi
tanpa orang membelanjakan uang (yaitu dari) dan orang yang menerima (yaitu kepada).
6. Ruang kolaborasi: Pola semantik
Sedangkan meta-model pada Gambar 2, 3 dan 4 meresmikan konsep Ontologi REA menggunakan stereotip On
toUML, pola semantik pada Gambar. 5 secara bersamaan memvisualisasikan perspektif pembeli, penjual dan
independen.4 Siklus akuisisi berwarna biru5 menunjukkan perspektif pembeli pada pertukaran ekonomi, yang biasanya
melibatkan pembelian bahan baku dari vendor dipasangkan dalam dualitas dengan pengeluaran uang tunai ke
vendor. Siklus pendapatan berwarna merah,6 di sisi lain, menunjukkan perspektif penjual pada pertukaran ekonomi,
yang biasanya melibatkan penjualan produk akhir kepada pelanggan yang dipasangkan secara dualitas dengan
penerimaan kas dari pelanggan tersebut.
REA juga mendukung siklus konversi, yang mengubah produk (yaitu bahan baku) yang diperoleh melalui siklus
akuisisi menjadi produk yang dapat dijual melalui siklus pendapatan (McCarthy, 2003).
Selain adanya dualitas-transformasi dalam meta-model, siklus konversi adalah diskusi sampingan lain yang tidak
dibahas dalam makalah ini. Stereotip pada Gambar. 5 menghubungkan konstruksi model data dengan model meta.
Untuk menyematkan Gambar 5 dalam literatur REA, peristiwa mengikuti konvensi penamaan standar ISO OeBTO7
pada pandangan independen dan perspektif mitra dagang pada peristiwa ini mengikuti konvensi penamaan karya
McCarthy.8 Cermin hubungan formal predikat bahwa lawan
tampilan ada di setiap aliran stok yang terhubung ke transfer dalam peran memberi atau menerima . Perlu dicatat
bahwa tampilan independen tidak memungkinkan semantik aliran masuk-keluar simultan ini, karena aliran stok yang
sama merupakan aliran masuk untuk satu mitra dagang dan aliran keluar untuk yang lain. Konsekuensinya, lihat
generalisasi independen aliran stok telah dimasukkan dalam Gambar. 5. Pengiriman memiliki peran penjualan dan
pembelian yang tidak dapat dilihat dari perspektif independen, dan tidak dapat dilihat secara bersamaan dari perspektif
dependen.
Dari sudut pandang pembeli, peristiwa pengiriman merupakan arus masuknya produk; di mata penjual pengiriman
yang sama ini merupakan arus keluar dari produk yang sama. Peran pengiriman yang terhubung dengan arus masuk
produk disebut pembelian, sedangkan peran pengiriman yang terhubung dengan arus keluar produk disebut penjualan.
Pembayaran memiliki peran pengeluaran kas dan penerimaan kas yang tidak terlihat dari perspektif independen, dan
4Masing-masing perspektif ini harus dilihat sebagai lapisan semantik tambahan khusus pemirsa di atas realitas objektif bersama,
di mana makalah ini secara eksplisit mengabstraksi dari pemodelan realitas objektif.
5Warna biru mengacu pada Cookiemonster dalam slide ikonik WE McCarthy di bursa (McCarthy, 2017).
6Merah mengacu pada Elmo dalam slide ikonik WE McCarthy di bursa (McCarthy, 2017).
7Gambar 11 ISO/IEC (2007).
8Gambar 7 dari McCarthy (1982), McCarthy, Geerts dan Gal (2016a,b).
tidak dapat dilihat secara bersamaan dari perspektif dependen. Pembayarannya adalah arus kas masuk dari sudut
pandang penjual – yaitu penerimaan kas – dan arus kas keluar dari sudut pandang pembeli – yaitu pengeluaran kas.
Gambar 5 menyoroti dua hubungan dualitas transfer yang berbeda antara pengiriman dan pembayaran dalam
peran masing-masing memberi dan menerima – yaitu, satu untuk setiap perspektif. Dari perspektif pembeli, pengiriman
dianggap sebagai arus masuk produk – yaitu, pembelian – yang bersifat ganda terhadap pembayaran, yang dianggap
sebagai arus kas keluar – yaitu, pengeluaran kas – sedangkan penjual menganggapnya sebagai penjualan ganda –
yaitu, arus keluar – dan penerimaan kas – yaitu, arus masuk. Karena aksioma dualitas membutuhkan semantik arus
masuk dan arus keluar, itu bergantung pada perspektif mitra dagang. Kesesuaian data dengan aksioma dualitas
dengan demikian tidak dapat diverifikasi tanpa mengacu pada perspektif mitra dagang tertentu (Geerts dan McCarthy,
2000a; 2005).
Dalam pandangan independen, semantik relator tidak bergantung pada perspektif mitra dagang. Sebaliknya,
mereka mewakili perspektif seluruh komunitas perdagangan atau pihak ketiga independen yang tidak ikut serta
dalam transaksi (seperti manajer rantai pasokan, lembaga pemerintah, badan pengatur atau – memang – seluruh
komunitas perdagangan). Jika pandangan dependen berfokus pada arah – yaitu, masuk atau keluar – aliran sumber
daya untuk satu mitra dagang, pandangan independen membedakan dua jenis relator partisipasi – yaitu, ke dan dari
– yang menandakan arah aliran stok terhubung ke transfer, yang akibatnya kehilangan semantik arus masuk atau
arus keluarnya dibandingkan dengan perspektif dependen (ISO/IEC, 2007). Oleh karena itu, kita perlu beralih di
antara kedua perspektif tersebut.
7. Teladan
Contoh yang akan digunakan untuk mendemonstrasikan bagaimana model yang diperkenalkan di atas
memungkinkan komputer menghasilkan perspektif independen, pembeli dan penjual kini disajikan secara rinci.
Meskipun beralih antara skrip pembeli, penjual, dan pihak ketiga intuitif dan mudah bagi manusia, hal itu kurang jelas
untuk komputer dan algoritme. Teladan akan mengungkapkan bagaimana tantangan ini diatasi. Untuk tujuan dan
kemudahan pemahaman ini, kami akan mengacu pada data mitra dagang tunggal dalam rantai pasokan. Data contoh
dirangkai menjadi contoh yaitu contoh makalah dan pembuktian konsep.
Aplikasi contoh dan bukti konsep dikodekan dalam SWI-Prolog. Kode dapat ditemukan di Lampiran. Karena kode
mencakup seluruh rantai nilai, kode ini lebih rumit daripada kode Prolog dalam makalah penalaran intensional Geerts
dan McCarthy (2000a) , yang secara eksklusif mencakup siklus pendapatan.
Skenario pengujian akan diperkenalkan dan divisualisasikan di sisa bagian ini.
Contoh yang ditunjukkan oleh Gambar. 6 mencakup data mitra dagang 104, yang menugaskan rolemixin REA
seperti yang dimodelkan pada Gambar. 5 untuk hal (entitas) 101 hingga 120. Skenario pengujian berisi data siklus
akuisisi, pendapatan, dan konversi. Siklus akuisisi terdiri dari mitra dagang 106, pengiriman 102, pembayaran 113,
rekening kas 114 dan produk 101, semuanya dilihat dari sudut pandang agen 104. Siklus pendapatan menyangkut
produk 112, pengiriman 115, mitra dagang 107, pembayaran 117 dan akun kas 114. Siklus konversi terdiri dari
peristiwa konsumsi 105, produk 101, peristiwa produksi 110, dan produk 112.
Cermin hubungan formal yang baru diperkenalkan dan pola semantik yang disajikan pada Gambar. 5 memungkinkan
untuk menurunkan perspektif vendor pada siklus akuisisi mitra dagang 104 dari data yang dibagikan oleh 104.
Gambar 6 mengungkapkan bahwa mitra dagang 106 akan menganggap mitra dagang 104 sebagai pembeli, yang
disalahartikan sebagai tag “106::pembeli” (yaitu, mitra dagang 104 adalah pembeli bagi mitra dagang 106). Pola
semantik juga menyatakan bahwa peristiwa 102, yang merupakan pembelian kepada mitra dagang 104 – yaitu, tag
“104::pembelian” – adalah penjualan kepada mitra dagang 106 – yaitu, tag “106::penjualan” – sedangkan peristiwa 113
akan dikategorikan sebagai tanda terima kas oleh mitra dagang 106 – yaitu, tag “106::tanda terima kas” – karena
adalah pencairan kas ke mitra dagang 104 – yaitu, tag “104::cash-disbursement”.
Gambar 6 juga menunjukkan perspektif mitra dagang 107 tentang siklus pendapatan mitra dagang 104.
Mitra dagang 107 akan menganggap mitra dagang 104 sebagai penjual – yaitu, tag “107::penjual”. Penjualan
115 seperti yang dirasakan oleh mitra dagang 104 – yaitu, tag “104::penjualan” – akan dianggap sebagai pembelian
oleh mitra dagang 107 – yaitu, beri tag “107::pembelian”. Peristiwa ekonomi 117 akan dianggap sebagai a
pengeluaran kas oleh mitra dagang 107 – yaitu, tag “107::pencairan kas” – karena merupakan tanda terima kas untuk mitra
dagang 104 – yaitu, tag “104::penerimaan kas”.
Dalam skrip tampilan independen REA, yang mengambil perspektif pihak ketiga yang independen, mitra dagang tidak dapat
diberi semantik pelanggan atau vendor karena bergantung pada perspektif mitra dagang. Akibatnya, dalam model semantik yang
berasal dari data agen 104, agen 104, 106 dan 107
dikategorikan sebagai mitra dagang. Mitra dagang adalah stereotip yang diberikan kepada pembeli dan penjual di
Gambar 5. Demikian pula, acara 102 dan 115 dikategorikan sebagai pengiriman di mana semantik tampilan dependen mereka
adalah jual beli, yang merupakan subtipe pengiriman pada Gambar. 5. Sejalan dengan itu, peristiwa 113 dan 117 adalah
semantik pembayaran yang ditugaskan dalam tampilan independen, sementara itu adalah penerimaan dan pengeluaran kas di
pandangan ketergantungan mereka masing-masing.
Secara ekuivalen, tidak mungkin untuk menetapkan semantik aliran masuk dan aliran keluar ke aliran stok yang terhubung ke
peran transfer - yaitu, memberi dan menerima - karena, dalam tampilan independen, satu transfer terhubung ke aliran masuk untuk
satu mitra dagang dan arus keluar untuk yang lain.
Karena pandangan independen juga memerlukan informasi tentang aliran sumber daya (biasanya sebaliknya
diarahkan produk dan arus uang) antara dari dan ke partisipasi, dapat menyampaikan arus masuk dan
semantik arus keluar yang menjadi ciri tampilan dependen. Jika peran mitra dagang menghubungkan transfer ke
aliran masuk dalam pandangan ketergantungannya, sumber daya mengalir menuju (ke) dia, di mana sumber daya akan berada
mengalir menjauh darinya ketika dia menghubungkan transfer dengan arus keluar.
Konsekuensinya, pengiriman 102 memerlukan arus stok produk 101 dari mitra dagang 106 ke mitra dagang 104. Peristiwa
ganda adalah pembayaran yang melibatkan transfer tunai dari mitra dagang 104 ke mitra dagang 106. Kemudian pengiriman 115
menghasilkan stok- aliran produk 112 dari mitra dagang 104 ke mitra dagang 107. Pembayaran balasannya adalah transfer tunai
117 dari mitra dagang 107 ke mitra dagang 104.
Jika contoh kasus menunjukkan pertukaran produk-untuk-uang tradisional, logika yang sama dapat diterapkan
perdagangan barter (yaitu, pertukaran produk dengan produk) dan pertukaran uang dengan uang, karena dualitas transfer
berlaku juga untuk pasangan delivery-delivery dan payment-payment.
Tabel 1 merangkum contoh kasus memvisualisasikan semua semantik yang ditugaskan ke suatu objek secara berbeda
pandangan. Ini menunjukkan bahwa dalam contoh kasus, semantik sumber daya bersifat universal untuk seluruh komunitas
perdagangan. Akibatnya, tidak ada semantik tampilan dependen khusus yang ditugaskan ke sumber daya 101, 112, dan 114.
Meskipun semantik dependen view ada (misalnya bahan baku, produk akhir untuk produk) sebuah diskusi
tidak relevan untuk kontribusi makalah ini. Sebagai hasil dari keputusan ini, sumber daya 101 dan 112 diakui sebagai produk dan
sumber daya 114 sebagai kas oleh seluruh komunitas perdagangan termasuk mitra dagang
104, 106 dan 107. Di sisi lain, semantik peristiwa ekonomi berbeda menurut mitra dagang
perspektif yang diambil. Misalnya, pengiriman 102 adalah pengiriman untuk seluruh komunitas perdagangan, tetapi juga a
pembelian untuk mitra dagang 104 saja dan penjualan untuk mitra dagang 106 saja. Agen ekonomi juga
menerima semantik yang bergantung pada perspektif. Misalnya, mitra dagang 104 dianggap sebagai mitra dagang
oleh seluruh komunitas perdagangan, tetapi sebagai tambahan sebagai pembeli oleh mitra dagang 106 dan sebagai penjual oleh
mitra dagang 107. Pada gilirannya, mitra dagang 104 akan menganggap 106 dan 107 sebagai mitra dagang seperti
seluruh komunitas perdagangan, tetapi juga sebagai penjual dan pembeli masing-masing dalam perspektif khususnya. Di dalam
Mitra dagang perspektif ketergantungan REA tidak menyadari diri mereka sendiri karena mereka tidak pernah dimodelkan
Tabel 1
Ringkasan semantik skenario evaluasi
Objek Mandiri pandangan 104 pandangan 106 pandangan 107
101 Produk
102 Pengiriman Pembelian Penjualan
104 Mitra dagang Pembeli Penjual

105 Transformasi Konsumsi
106 Mitra dagang Penjual
107 Mitra dagang Pembeli
110 Transformasi Menghasilkan
112 Produk
113 Pembayaran Pencairan tunai Bayaran telah diterima
114 Uang tunai
115 Pengiriman Penjualan Pembelian

117 Pembayaran Bayaran telah diterima Pencairan tunai
secara eksplisit. Namun, karena 104 adalah bagian dari komunitas perdagangan, dia tahu bahwa dia adalah mitra dagang. Kapan
menerapkan logika yang disajikan di atas, 104 dapat menyimpulkan bahwa dia adalah pembeli mitra dagang 106
dalam konteks pertukaran 103–112 dan penjual mitra dagang 107 dalam konteks pertukaran 115–117. Itu
nomor objek yang hilang ditugaskan ke dalam agen dalam versi yang lebih rumit dari contoh kasus ini.
Mereka dihilangkan dalam versi ini untuk fokus pada kontribusi sebenarnya dari makalah ini.
8. Bukti konsep: Kode prolog
Kode Prolog dalam Lampiran meresmikan aturan inferensi (Lampiran A), tes (Lampiran D) dan
rekan-rekan dari contoh yang diperkenalkan di atas (Lampiran B). Kami sekarang memperkenalkan pernyataan dan
aturan referensi yang diperlukan untuk mendapatkan tampilan independen dari data tampilan dependen dan tampilan
dependen (berlawanan) dari data tampilan independen. Proses terjemahan ke tampilan mitra dagang ke
perspektif mitra dagang dengan pandangan berlawanan dimediasi oleh pandangan independen, yang
setara secara semantik. Dalam kode Prolog, proses penerjemahan ini diuraikan dalam dua tahap.
Pertama, data tampilan mitra dagang diterjemahkan ke data tampilan independen. Dalam hal ini, mitra dagang
Data 104 (Lampiran B) dibuat independen oleh aturan inferensi dalam Lampiran A. Lampiran A
berisi satu set predikat rea_lattice yang setara dengan mantics pewarisan dan instantiasi pada Gambar 2 sampai 5.
Predikat ini kemudian digunakan untuk menetapkan semantik tampilan independen ke
data tampilan dependen dalam Lampiran B melalui pernyataan is_a. Melalui proses ini, objek dari
contoh diberikan semantik mitra dagang dan tampilan independen. Selanjutnya, semantik tampilan mitra dagang
disembunyikan dan semantik tampilan independen dibagikan sebagai oebto_role dan
predikat oebto_relator. Teknik pemfilteran yang digunakan untuk menyembunyikan semantik tampilan mitra dagang
dapat digeneralisasikan untuk melindungi informasi yang memberikan keunggulan kompetitif (misalnya, dengan berbagi
komponen suatu produk, tanpa berbagi langkah-langkah proses produksi). Pernyataan tampilan independen oebto
kemudian dikonversi menjadi pernyataan tampilan mitra dagang oleh peran_tergantung,
pernyataan dependen_relator, agent_pattern dan event_pattern. Pandangan yang berlawanan
mitra dagang 106 dan 107 yang diperoleh melalui pernyataan-pernyataan di atas kemudian diuji dalam Ap pendix D.
Semantik is-a - yaitu, warisan dan stereotip - ditemukan pada Gambar 2-4 telah dirangkum dalam
kisi semantik (yaitu, sekumpulan kategori yang dipesan sebagian (Sowa, 2000)). Kisi digunakan untuk menurunkan
semantik tampilan independen dari data tampilan dependen. Relasi is-a diformalkan sebagai predikat, yang
subsetnya ditunjukkan dalam Cuplikan Kode 1, kumpulan pernyataan lengkap dapat ditemukan di Bagian A.4
dan A.5 dari Lampiran A. Argumen is-a dalam kisi-kisi pernyataan telah ditambahkan untuk kejelasan. Itu tidak
memiliki nilai komputasi. Baris pertama dalam Cuplikan Kode 1 menetapkan bahwa setiap peristiwa kenaikan
adalah peristiwa ekonomi. Baris kedua menetapkan bahwa setiap produk adalah peristiwa kenaikan, dan
karenanya merupakan peristiwa ekonomi. Pernyataan ini menjorok karena memodelkan lapisan kedua dari
kisi semantik. Lekukan tidak memiliki nilai komputasi.
Aturan inferensi di Bagian A.1, yang ditampilkan di Cuplikan Kode 2, menghasilkan pernyataan is-a.
Bagian A.1.1 berisi kode yang memproses transitivitas is-a semantik pada tingkat tipe, yang dapat
ditemukan di dalam kisi semantik. Misalnya, jika pernyataan rea_lattice menyatakan bahwa pembelian
adalah pengiriman (yaitu, rea_lattice(pembelian,adalah_a,pengiriman).) dan pernyataan lain menyatakan
bahwa pengiriman adalah transfer (yaitu, rea_lattice(pengiriman,adalah_a,transfer).) , maka pembelian
juga merupakan transfer (yaitu, is_a(pembelian,transfer)). Aturan inferensi pertama berdasarkan Bagian A.1.1 adalah
rea_lattice(increment-event,is_a,economic-event).
rea_lattice(menghasilkan,is_a,increment-event).
rea_lattice(menghasilkan,adalah_a,transformasi).
rea_lattice(take,is_a,increment-event). rea_lattice(take,is_a,transfer).
rea_lattice(pengiriman,adalah_a,transfer).
rea_lattice(sale,is_a,delivery). rea_lattice(sale,is_a,give).
rea_lattice(pembelian,adalah_a,pengiriman).
rea_lattice(beli, is_a, ambil).
Cuplikan Kode 1. Pernyataan apa adanya dalam kisi semantik.
/*A.1. Aturan Inferensi*/ /*A.1.1.

Menavigasi REA Ontology Primitives dan Super- dan Sub-Type*/ is_a(X,X). is_a(X,Y):- rea_lattice(X,is_a,Y).
is_a(X,Z):-
is_a(X,Y),
rea_lattice(Y,is_a,Z).
/*A.1.2. Semantik yang Diwarisi*/

is_a_role(X,is_a,Z,to,P):-
rea_role(X,is_a,Y,to,P), is_a(Y,Z).
is_a_relator(X,is_a,Z,ke,P):-
rea_relator(X,is_a,Y,to,P), is_a(Y,Z).
Cuplikan Kode 2. Memproses pernyataan is-a dalam kisi semantik.

/*A.2. Ontologi Transaksi Bisnis Open-edi*/ /*A.2.1. Kosa kata OeBTO sebagai subset
dari REA*/ oebto_vocabulary([produk, tunai, pengiriman, pembayaran, mitra dagang,
aliran stok, dualitas transfer, dari, ke]). oebto_interface(X):-oebto_vocabulary(L),
anggota(X,L).
/*A.2.2. Menentukan visibilitas peran dan relator REA yang sesuai dengan OeBTO*/ oebto_role(X,is_a,Y,to,Z):-
is_a_role(X,is_a,Y,to,P), oebto_interface(Y),
access(Z,to, P,data).
oebto_relator(X,is_a,Y,ke,Z):-
is_a_relator(X,is_a,Y,ke,P), oebto_interface(Y),
akses(Z,ke,P,data).
Cuplikan Kode 3. Mendapatkan tampilan independen dari tampilan dependen.
identitas (misalnya setiap peristiwa ekonomi adalah peristiwa ekonomi). Pernyataan kedua yang dioperasionalkan
adalah semantik dengan pernyataan yang Cuplikan Kode 1 adalah subsetnya.
Bagian A.1.2 menunjukkan kode yang menggabungkan semantik is-a level-tipe ini dengan se mantik instantiasi is-a
seperti yang ditunjukkan oleh Gambar. 6. Misalnya, jika diberikan bahwa 102 adalah pembelian (yaitu,
rea_role(102,is_a,purchase,to,104)), maka 102 juga harus berupa pengiriman (yaitu, rea_role(102,is_a,delivery,to,104)),
dan transfer (yaitu, rea_role(102,is_a, transfer,ke,104)). Dua predikat terakhir dapat diturunkan dari pernyataan rea_role
pertama dengan bantuan aturan inferensi di bawah Bagian A.1.2, yang menggabungkan pernyataan rea_role pertama
dengan pernyataan is-a. Untuk alasan komputasi tugas ini harus dioperasionalkan sebagai dua pernyataan terpisah
(yaitu, satu untuk peran satu untuk relator).
Aturan inferensi di Bagian A.2, yang ditunjukkan di Cuplikan Kode 3, menggunakan pernyataan is-a dari Bagian
A.1.2 untuk mendapatkan tampilan independen dari data tampilan dependen yang diberikan. Kode di Bagian A.2.1
mendefinisikan kosa kata untuk tampilan independen sebagai subset dari rolemixin dan relator yang termasuk dalam rea_lattice.
Kosakata ini juga merupakan bagian dari istilah yang ditemukan dalam standar OeBTO (ISO/IEC, 2007).
Bagian A.2.2 berisi pernyataan oebto yang memberi orang (seperti pelanggan, pemasok, pemerintah) akses ke
subkumpulan data mitra dagang. Subset ini dibatasi oleh kosakata yang didefinisikan di Bagian A.2.1 dan aksesnya
dibatasi melalui pernyataan akses. Dengan tidak adanya pernyataan akses, seseorang tidak memiliki akses ke data
mitra dagang. Ketika seseorang memiliki akses, dia hanya melihat semantik yang dia akses. Misalnya, kejadian 102
adalah pembelian ke 104, karena pembelian bukan bagian dari kosakata OeBTO yang dijelaskan di Bagian A.2.1,
pengiriman istilah akan dibagikan dengan mitra dagang yang memiliki akses ke data 104 (yaitu,
oebto_role(102 ,is_a,delivery,to,106)), karena delivery adalah super-type dari pembelian (yaitu,
is_a_role(102,is_a,delivery,to,104)) dan bagian dari kosakata yang didefinisikan di Bagian A.2.1 (yaitu ,
oebto_interface(pengiriman)). Kondisi ketiga dan terakhir membatasi akses mitra dagang ke data. Meskipun semantik
pengiriman entitas 102 dapat dibagikan di ruang kolaborasi, mitra dagang 007 tidak akan memiliki akses ke data jika
tidak ada
pernyataan akses eksplisit (yaitu, akses(007,ke,104,data)). Seperti Lampiran Bagian A.1.2 filter untuk peran dan
relator telah dioperasionalkan secara terpisah untuk alasan komputasi.
Pernyataan di Bagian A.2.3, yang ditampilkan di Cuplikan Kode 4, menambahkan dari dan ke pernyataan yang melibatkan
pembuat model, karena pembuat model tidak sadar diri dalam tampilan dependen, dan diperlukan dalam tampilan independen.
Pernyataan from dan to yang ditambahkan sesuai dengan hubungan formal from-mirrors-to yang ditunjukkan pada Gambar 4.
Kode di Bagian A.2.3. mencerminkan semua dari dan ke pernyataan yang diidentifikasi oleh pembuat model.
Misalnya, jika mitra dagang 106 terhubung untuk membeli 102 melalui dari relator menurut pemodel 104 (yaitu,
rea_relator([102,106],is_a,dari,ke,104)), maka 104 akan terhubung ke 102 melalui a ke relator (yaitu,
oebto_relator([102.104],is_a,dari,ke,106)). Untuk contoh tampilan independen, entitas 106 dapat diganti dengan
entitas 000. Pernyataan di Bagian A.2.3.1 meresmikan cermin relasi formal. Pernyataan pada Bagian A.2.3.1
mendefinisikan sifat simetris dari relasi cermin.
Aturan inferensi di Bagian A.3, yang ditampilkan di Cuplikan Kode 5, memperoleh tampilan dependen dari
data tampilan independen yang diberikan. Karena bukti konsep memilih satu versi dari pendekatan kebenaran,
pernyataan tampilan dependen diturunkan dari pernyataan OeBTO, yang pada gilirannya berasal dari data
tampilan dependen dari pemodel seperti yang ditunjukkan di atas. Dalam tampilan independen, pernyataan dari
dan ke menyampaikan semantik memberi dan menerima (aliran masuk dan keluar) yang merupakan karakteristik
dari tampilan dependen. Pernyataan di Bagian A.3.1 menggunakan informasi yang disampaikan oleh pernyataan
ke dan dari untuk menetapkan semantik arus masuk dan arus keluar ke arus stok. Aliran keluar adalah aliran
stok yang terhubung ke transfer dari pembuat model. Aliran masuk adalah aliran stok yang terhubung ke transfer
ke pembuat model. Pernyataan pertama pada Bagian A.3.1 berubah dari semantik, yang tipikal untuk perspektif
tampilan independen, menjadi semantik aliran keluar, yang tipikal untuk perspektif tampilan dependen. Jika
relator antara 102 dan 106 adalah dari (yaitu, oebto_relator([102,106],is_a,from,to,106)) dan ada relator aliran stok 101–102
/*A.2.3. Mirror (Relasi formal)*/

oebto_relator([X,Y],is_a,Z,ke,P):- akses(P,ke,Y,data),
rea_relation(Alpha,mirrors,Z),
rea_relator([X, _],is_a,Alfa,ke,Y).
/*A.2.3.1. Menentang Semantik dalam Menentang Views*/

rea_relation(from,mirrors,to).
rea_relation(ke,mirror,dari).
Cuplikan Kode 4. Menambahkan pemodel dalam tampilan independen.
/*A.3. Memperoleh pandangan Mitra Dagang dari pandangan Independen*/ /*A.3.1. inflow dan outflow
untuk transfer*/ dependent_relator([X,Y],is_a,outflow,to,P):-
oebto_relator([X,Y],is_a,stock-flow,ke,P),
oebto_relator([Y,P],is_a,dari,ke,P).
dependen_relator([X,Y],is_a,aliran masuk,ke,P):-
oebto_relator([X,Y],is_a,stock-flow,ke,P),
oebto_relator([Y,P],is_a,ke,ke,P).
Cuplikan Kode 5. Memperoleh relator aliran masuk dan aliran keluar dari semantik ke dan dari.
/*A.3.2.2. Semantik acara*/

dependen_role_event(E,is_a,X,to,P):-
oebto_role(E,is_a,Y,ke,P),
oebto_relator([E,P],is_a,Z,ke,P),
event_pattern(X,is_a,Y,Z).
/*A.3.2.2.1. Pola Peristiwa*/
pola_peristiwa(penjualan,adalah_a,pengiriman,dari).
event_pattern(pembelian,adalah_a,pengiriman,ke).
event_pattern(tanda terima kas,is_a,pembayaran,ke).
event_pattern(pencairan tunai,is_a,pembayaran,dari).
/*A.3.2.3. Semantik agen*/
dependent_role_agent(A,is_a,Z,to,P,in,[D,A]):-
oebto_relator([D,A],is_a,Y,to,P),
oebto_role(D,is_a,X ,ke,P),
pola_agen(X,Y,Z).
/*A.3.2.3.1. Pola agen*/
pola_agen(pengiriman,kepada,pembeli).
agent_pattern(pengiriman,dari,penjual).
Cuplikan Kode 6. Mendapatkan peran peristiwa dan agen dari pernyataan ke dan dari.
menurut 106 (yaitu, oebto_relator([102,101],is_a,stock-flow,to,106)), maka stock-flow ini harus merupakan

outflow ke 106 (yaitu, dependent_relator([102,101],is_a,outflow, to, 106)). Pernyataan kedua di bawah Bagian
A.3.1 melakukan hal yang sama untuk inflow dan semantik.
Demikian pula, semantik pembeli dan penjual dan penjualan, pembelian, penerimaan kas, dan penjualan
kas dapat diturunkan dari pernyataan dari dan ke dalam tampilan independen. Pernyataan di Bagian A.3.2.3,
yang ditampilkan di Cuplikan Kode 6, menetapkan semantik penjual dan pembeli. Jika mitra dagang terhubung
ke pengiriman melalui relator ke , itu harus menjadi pembeli, jika mitra dagang terhubung ke pengiriman
melalui dari relator , itu harus menjadi penjual. Pernyataan pada Bagian A.3.2.3 mengoperasionalkan pola
agen pada Bagian A.3.2.3.1. Jika entitas 115 adalah pengiriman ke 107 (yaitu,
oebto_role(115,is_a,pengiriman,ke,107)) dan relator 115–104 adalah dari ke 107 (yaitu,
oebto_relator([115,104],is_a,dari,ke,107 )), 104 harus menjadi penjual ke 107 dalam konteks relator 115–104
(yaitu, dependen_role_event(104,is_a,seller,to,107,in,[115, 104])).
Pernyataan di Bagian 3.2.2, yang ditampilkan di Cuplikan Kode 6, menetapkan semantik penjualan,
pembelian, penerimaan kas, dan pengeluaran kas ke pengiriman dan pembayaran. Jika mitra dagang
terhubung ke pengiriman melalui dari relator, pengiriman harus merupakan penjualan dari sudut
pandangnya. Jika mitra dagang terhubung ke pengiriman melalui relator ke , pengiriman harus
merupakan pembelian dari sudut pandangnya. Jika mitra dagang terhubung ke pembayaran melalui
relator , pembayaran harus berupa penerimaan kas dari sudut pandangnya. Jika mitra dagang
terhubung ke pembayaran melalui dari relator, pembayaran harus berupa pengeluaran kas dari sudut
pandang ini. Pernyataan pada Bagian A.3.2.2 mengoperasikan pola semantik yang didefinisikan pada
Bagian A.3.2.2.1. Misalnya, entitas 102 adalah penjualan ke entitas 106 (yaitu,
dependen_role_event(102,is_a,sale,to,106)) jika 102 adalah pengiriman (yaitu,
oebto_role(102,is_a,delivery,to,106)) dan 102 –106 adalah dari menurut 106 (yaitu, oebto_relator([102,106],is_a,from,t
Pernyataan rea_role dan rea_relator di Lampiran B mengidentifikasi peran dan relasi sebagaimana ditugaskan
oleh mitra dagang 104. Pernyataan di Bagian B.1 dari Lampiran B setara dengan perspektif mitra dagang 104
di Gambar 6. Misalnya, 113 adalah pencairan kas ke 104, 102 adalah pembelian ke 104, dan penghubung di
antara mereka adalah dualitas transfer dalam perspektif 104. Karena mitra dagang 104 tidak sadar diri dalam
contoh, mitra dagang 106 dan 107 mengidentifikasi 104 sebagai mitra dagang.
Lampiran B juga berisi pernyataan akses yang memberikan mitra dagang 106 dan 107, serta orang ketiga yang
independen – yaitu, 000 – akses ke data 104.
Lampiran D, berisi tes yang mengevaluasi apakah perspektif mitra dagang 106 dan 107 yang berlawanan, dan
perspektif independen (sebagaimana divisualisasikan pada Gambar 6 ) dapat diturunkan dari perspektif mitra
dagang 104 sebagaimana diformalkan oleh pernyataan dalam Lampiran B. Bagian D.1. menguji perspektif mitra
dagang 106, dan Bagian D.2. menguji perspektif mitra dagang 107. Bagian D.3 menguji perspektif pihak ketiga
yang independen. Bagian D.4 menguji pendekatan pengungkapan penuh untuk pandangan independen.
Pandangan independen alternatif ini tidak memiliki batasan akses, yang berarti bahwa semua orang dapat
mengakses informasi, dan memasukkan peran dan penghubung transformasi dalam kosakatanya, yang berarti
bahwa ketertelusuran komponen produk dimungkinkan melalui publikasi proses transformasi produksi. Akhirnya,
untuk membuktikan bahwa pendekatan yang disajikan di atas dapat diterapkan pada data REA tradisional,
Lampiran E menguji apakah pandangan dependen yang independen dan berlawanan dapat diturunkan dari kode
Prolog yang ditemukan dalam makalah penalaran intensif Geerts dan McCarthy (2000a ) . Bagian yang relevan9
dari kode Prolog Geert dan McCarthy dapat ditemukan di Lampiran C. Lampiran E menunjukkan bahwa logika
yang diperkenalkan dalam makalah ini dapat mengubah data tampilan dependen menjadi data tampilan
independen yang pada gilirannya dapat diubah menjadi tampilan dependen mitra dagang. dengan perspektif
yang berlawanan (yaitu, mitra dagang lainnya). Untuk mencapai hal ini, hanya diperlukan untuk mengidentifikasi
mitra dagang yang memiliki tampilan dependen dan memetakan kosa kata format data eksklusif ke model
tampilan dependen yang disajikan di atas. Karena model yang disajikan di atas didasarkan pada semantik peran,
tidak perlu mengganggu semantik model data berpemilik.
9. Diskusi
Inovasi dalam formalisasi yang telah kami sajikan dalam makalah ini adalah identifikasi peran sentral mitra
dagang dalam model REA, karena mitra dagang menentukan dunia wacana mereka sendiri dengan menetapkan
peran dan relator REA ke contoh dari jenis yang berbeda. Melalui formalisasi konstruksi REA ini sebagai peran
dan penghubung, konstruksi menjadi tag yang bergantung pada konteks yang ditugaskan ke instance sejenis.
Suatu jenis adalah penyortiran yang kaku, yang berarti bahwa instance mereka tidak dapat mengubah jenisnya
selama masa hidup mereka. Misalnya, orang perseorangan, yang merupakan contoh dari jenis, menjadi agen
dalam konteks pertukaran, atau tanah (jenis) adalah sumber daya saat diolah. Pembedaan antara realitas
subjektif dan objektif ini relevan dengan semua interaksi manusia. Perbedaan ini penting dalam banyak disiplin
ilmu ekonomi (seperti kontrak) dan dibawa ke titik ekstrem dalam teori permainan induktif, di mana dimungkinkan
untuk mengabstraksi dari makna yang diberikan pada realitas objektif (Kaneko dan Kline, 2008, 2010 ) .
Kemampuan untuk memodelkan realitas ekonomi tanpa memerlukan realitas objektif mungkin sangat berguna
untuk memodelkan jalur REA yang tidak menyenangkan. Misalnya, penjualan yang diharapkan tidak berhasil.
Memodelkan jalan yang tidak bahagia seperti itu bisa sangat sulit jika kita berasumsi bahwa nilai adalah atribut
intrinsik (objektif) dari berbagai hal terlepas dari kegunaannya bagi orang tertentu. Namun, ketika bekerja dengan realitas subjektif,
9
Karena kami hanya tertarik pada data, semua pernyataan Prolog yang berkaitan dengan definisi skema konseptual dalam
makalah penalaran intensional telah dihilangkan.
mungkin untuk memperhitungkan hilangnya utilitas secara tiba-tiba – dan karenanya nilai – dari suatu produk untuk seseorang
tanpa mengamati perubahan apa pun dalam sifat objektif suatu produk. Saat memodelkan sumber daya, peristiwa, dan agen
sebagai peran alih-alih jenis, kita dapat menjelaskan karakter nilai yang subjektif dan kontekstual.
Model ekonomi subyektif seperti itu harus memungkinkan kita untuk memodelkan dan mensimulasikan perilaku pelanggan
yang rasional dan irasional.
Makalah ini juga menunjukkan bahwa adalah mungkin untuk memformalkan pandangan dependen sebagai spesialisasi
dari pandangan independen. Akibatnya, semantik is-a yang dioperasionalkan dalam pemrograman berorientasi objek dapat
dengan mudah mengimplementasikan logika yang memperoleh tampilan independen dengan menghapus semantik yang
bergantung pada tampilan dari data asli.
Makalah ini juga menunjukkan bahwa semantik dari dan ke dalam pandangan independen cukup bermakna
untuk memperoleh perspektif satu atau lebih mitra dagang dari pandangan independen.
Penemuan ini membuka perspektif baru untuk akuntansi blockchain di mana rantai blok mengambil perspektif yang
bergantung dan masing-masing mitra dagang memperoleh perspektif mereka sendiri dari rantai blok.
Blockchain semacam itu akan membutuhkan definisi yang jelas tentang ruang lingkupnya, yang dapat dibatasi hanya untuk
transfer atau dapat melibatkan transformasi juga. Prinsip pemfilteran yang ditunjukkan pada Bagian A.3 dapat digunakan
dalam kedua situasi tersebut. Kosa kata di Bagian A.3 yang terbatas pada transfer, dan juga di Bagian A.6 memungkinkan
untuk berbagi informasi tentang transformasi. Dalam penerapan yang lebih terbatas, pembagian dapat dibatasi hanya untuk
pengiriman atau pembayaran. Konsekuensinya, prinsip penyaringan ini mungkin berguna jika mitra dagang ingin berbagi
informasi yang cukup untuk kolaborasi tanpa terlalu banyak berbagi informasi tentang proses yang memberikan keunggulan
kompetitif.
Mengingat bahwa REA2 menggunakan primitif yang sama persis dengan ontologi REA yang memetakannya ke interpretasi
lain dan implementasi REA, ontologi yang telah dipetakan ke interpretasi asli ontologi REA harus langsung. Namun, ada
alternatif atau perluasan nomenklatur REA yang digunakan dalam makalah ini. Sebagai contoh, Hruby et al. (2006)
mendefinisikan penyedia dan penerima untuk hubungan partisipasi terkait dengan peristiwa kenaikan atau penurunan. Yang
menyatakan, Laurier dan Poels (2014) menjelaskan bagaimana semantik penyedia-penerima ini berhubungan dengan
semantik dalam-luar yang digunakan dalam makalah ini.
9.1. Keterbatasan
Makalah ini menahan diri dari mengatasi kendala dalam menetapkan peran REA untuk contoh jenis. Misalnya, dapatkah
komputer berperan sebagai agen ekonomi? Sementara yang menarik, diskusi tersebut akan mengalihkan perhatian dari
kontribusi utama dari makalah ini. Makalah ini juga membatasi diri pada sekumpulan konsep inti REA. Itu tidak membahas
komitmen, jenis, kelompok, penghubung tanggung jawab dan banyak konstruksi REA lainnya, sehingga berfokus pada peran
acara dan penghubungnya. Dalam ruang kolaborasi, satu transfer dapat diberikan semantik yang berbeda oleh mitra dagang
dan pihak ketiga. Hal yang sama berlaku untuk komitmen, yang seperti peristiwa. Akibatnya, seorang ahli REA harus dapat
menerapkan prinsip-prinsip yang ditunjukkan di atas pada komitmen. Di samping hanya membahas konsep inti REA, makalah
ini juga menahan diri untuk membahas kesamaan antara peran dan hubungan REA dan peran dan hubungan tematik.
Pembahasan peran dan hubungan di atas semata-mata terfokus pada konteks ekonomi, abstraksi dari aspek linguistik.
Sebuah analisis menyeluruh tentang interaksi antara aspek linguistik dan ekonomi REA dapat berkontribusi pada pemrosesan
bahasa alami dalam perdagangan.
Di mana peran produksi dan konsumsi dan dualitas transformasi ditunjukkan pada Gambar. 3, semantiknya dalam
perspektif dependen dan independen belum dibahas. Alasan utama untuk pengecualian mereka saat ini adalah bahwa
semantik mereka tidak ditentukan dalam literatur REA, dan bahwa formalisasi akan melibatkan banyak spekulasi (McCarthy,
Geerts dan Gal, 2016a,b). Mengingat pernyataan ini, diskusi menyeluruh tentang transformasi dianggap di luar ruang lingkup.
Meskipun divisualisasikan pada Gambar 4, pembahasan mengenai inside-party relation juga dianggap out of
scope. Dalam formalisasi yang disajikan di atas, dualitas transfer dimodelkan oleh satu mitra dagang. Selanjutnya,
dualitas dibagi dalam pandangan independen dan perlu diterima oleh mitra dagang dengan pandangan yang
berlawanan. Penelitian di masa depan harus membahas ada dan tidak adanya interaksi antara satu realitas subjektif
mitra dagang, realitas objektif, dan realitas subjektif mitra dagang dengan pandangan yang berlawanan. Penelitian
ini harus memitigasi dominasi mitra dagang pemodelan saat ini dalam segitiga realitas subjektif, realitas objektif,
dan realitas subjektif lawan.
Karena ada - sepengetahuan kami - tidak ada bahasa pemodelan yang memungkinkan semantik yang bergantung
pada pengamat multi-lapisan, kami telah memilih OntoUML untuk memformalkan model kami karena semantiknya
terkait erat dengan semantik yang diperlukan untuk menunjukkan realitas multi-perspektif dengan semantik berlapis.
Namun, kami menyadari sepenuhnya bahwa penggunaan OntoUML seperti yang ditunjukkan dalam makalah ini
melampaui penggunaan yang dimaksudkan. Misalnya, definisi ruang nama di dalam tag adalah praktik baru yang
diperlukan untuk menunjukkan banyak perspektif dalam satu model (yaitu, perspektif mitra dagang 104, 106, 107,
dan 000). Penggunaan peran OntoUML, rolemixins dan relator sebagai konstruksi sosial bagian dari realitas
subyektif pengamat tidak termasuk dalam tujuan penggunaan OntoUML. Oleh karena itu, makalah ini
memperkenalkan kasus penggunaan pertama – dan karena itu diperlukan – bahasa pemodelan yang mendukung
berbagai realitas (subjektif) secara bersamaan.
9.2. Implikasi
Formalisasi REA2 yang diperkenalkan di atas memungkinkan transformasi otomatis dari informasi tampilan
dependen menjadi informasi tampilan independen dan sebaliknya. Pendekatan ini diharapkan dapat memfasilitasi
integrasi antara ERP tradisional dan AIS, yang sebagian besar menggunakan tampilan dependen, dan sistem
Perencanaan Sumber Daya Jaringan (NRP), yang menggunakan tampilan independen (Value Network Software
(NRP), 2016) . Berdasarkan dua jenis ini pada sistem informasi perusahaan (EIS), REA2 dengan demikian
membahas interoperabilitas EIS antara EIS tradisional (yang biasanya menggunakan perspektif mitra dagang), dan
EIS untuk ekonomi kolaboratif (yang biasanya menggunakan perspektif independen mitra dagang).
Melalui formalisasi ontologi REA yang terpadu, model dan meta-model yang disajikan di atas menjembatani
kesenjangan antara informasi (akuntansi) untuk mendapatkan keunggulan kompetitif yang diklasifikasikan dan tidak
dapat dibagi seperti struktur biaya perusahaan, tata letak proses bisnis, keahlian karyawan ini, dan informasi
perdagangan yang tidak terklasifikasi yang penting untuk penciptaan nilai kolaboratif. Dalam pengaturan seperti itu,
informasi rahasia dapat didokumentasikan menggunakan tampilan dependen REA, di mana informasi yang tidak
diklasifikasikan dapat disaring dan dibagi dalam ruang kolaborasi menggunakan tampilan independen REA yang
diperoleh secara otomatis dari tampilan dependen dengan pernyataan seperti yang ada di Bagian A.2. Kosa kata
yang mendefinisikan pemfilteran dapat diperluas atau dikurangi sesuai dengan persyaratan dan preferensi mitra
dagang yang terlibat.
Karena ontologi REA menemukan asal-usulnya dalam akuntansi, teknik integrasi tampilan yang ditunjukkan di
atas dapat memungkinkan jenis akuntansi terintegrasi yang dapat memanfaatkan teknologi cloud yang sukses
secara luas. Kemampuan untuk berbagi data akuntansi secara otomatis, yang diharapkan dapat mengurangi biaya
kepatuhan dan tanpa risiko mengungkap informasi yang memiliki kepentingan strategis dapat meningkatkan
kemauan organisasi untuk berbagi informasi perdagangan. Informasi tersebut dapat membantu menerapkan 'e-
customs' dan menerapkan sistem pemantauan rantai pasokan seperti dengan blockchain. Demikian pula, informasi
tersembunyi yang dijelaskan oleh pendekatan kami dapat meningkatkan keamanan pangan, memerangi pemalsuan,
dan pencucian uang.
9.3. Penemuan masa depan
Makalah ini terutama berfokus pada kekakuan konstruksi dan desain. Sementara memiliki ambisi untuk menjadi bagian dari penelitian
REA yang tertanam dalam paradigma ilmu desain, evaluasi relevansi akan mengikuti fase selanjutnya dari proyek ini. Relevansi akan diuji
dengan membuat dan menguji prototipe dalam bahasa pemrograman komersial (misalnya, C#, Java, Python, Ethereum). Skenario pengujian
prototipe awal ini juga akan mencakup pelacakan dan penelusuran (Laurier dan Poels, 2012). Setelah menguji prototipe awal ini, komitmen,
tipe, dan grup akan ditambahkan ke prototipe. Setelah menguji prototipe ini untuk akuntansi berbasis cloud dan blockchain, kami bermaksud
untuk menambahkan perencanaan lintas perusahaan ke dalam prototipe.
Perencanaan lintas perusahaan adalah dasar pemikiran untuk teknik integrasi tampilan yang diperkenalkan di atas dan diharapkan untuk
memajukan keadaan-of-the-art secara signifikan, karena tujuan kami adalah membangun prototipe yang merencanakan seluruh jaringan
nilai (rantai pasokan) sementara pemrosesan harus bersifat lokal dan terdesentralisasi. Setelah membangun dan menguji prototipe
perencanaan lintas perusahaan, tujuan kami adalah membangun perpustakaan, prototipe, dan menguji prototipe komersial dalam pengaturan
dunia nyata. Kami berencana untuk memanfaatkan pengalaman yang ada. Misalnya, sistem perencanaan intra-perusahaan berbasis REA
yang telah dibangun di Jawa (Buysse dan Jonnaert, 2012).
Makalah ini terutama menggunakan (McCarthy, 1982) dan ISO OeBTO 15944-4 sebagai sumber kosakata REA. Mengingat pekerjaan
di masa depan di atas, istilah yang lebih umum atau lebih spesifik mungkin diperlukan. Misalnya, mungkin nyaman untuk memiliki istilah
yang lebih elegan namun independen perspektif yang diterima secara umum untuk penjual dan pembeli, vendor dan klien. Akan lebih mudah
juga untuk menemukan syarat-syarat yang diterima secara umum untuk penjualan dan pembelian, serta penerimaan kas dan pengeluaran
kas dalam logika dominan barang, logika dominan layanan, logika dominan hak, perdagangan barter dan keuangan (yaitu, pertukaran uang
dengan uang).
10. Kesimpulan
Makalah ini telah memperkenalkan formalisasi inovatif dari Ontologi REA yang disebut REA2, yang memungkinkan untuk melihat integrasi
lintas mitra dagang dan pihak ketiga. REA2 menggunakan konstruksi REA sebagai rolemixin yang ditugaskan oleh mitra dagang yang
diidentifikasi secara eksplisit sebagai pemodel alih-alih jenis kaku yang ditugaskan oleh pemodel implisit. Integrasi tampilan didefinisikan
sebagai integrasi tampilan lokal ke dalam model global, menentukan bagaimana masing-masing tampilan lokal ini dapat diturunkan dari
tampilan global (McCarthy, 1982). Berbeda dengan definisi integrasi tampilan McCarthy, model global yang REA2 dan disajikan di sini
adalah ruang kolaborasi yang luas dan tidak terbatas pada perusahaan, sedangkan pandangan lokal dapat tetap bergantung pada
perspektif mitra dagang.
Formalisasi REA2 juga memungkinkan kita untuk membedakan antara format data untuk informasi yang relevan bagi seluruh komunitas
perdagangan dan pihak ketiga – yaitu, tampilan independen – dan format data untuk informasi yang hanya relevan bagi anggota organisasi
– yaitu, pandangan tergantung
Selain itu, sebuah teknik ditunjukkan yang dapat secara langsung atau tidak langsung menghasilkan informasi yang relevan dengan pihak
ketiga yang independen atau mitra dagang dengan perspektif yang berlawanan dari informasi yang dibagikan oleh satu mitra dagang. Teknik
ini menunjukkan bahwa penghilangan perspektif yang mendefinisikan mitra dagang menghalangi transformasi otomatis dari tampilan
dependen ke independen, atau dari satu pandangan mitra dagang ke pandangan berlawanan dari mitra dagang lain karena komputer tidak
dapat menangani ambiguitas. Pada Gambar 6, perspektif yang mendefinisikan mitra dagang mendefinisikan namespace dalam tag seperti
“106::sale”. Dalam Lampiran A, perspektif mitra dagang yang menentukan ini ditampilkan sebagai variabel P dalam pernyataan. Manusia
dapat dengan mudah menghadapi ambiguitas ini karena mereka mengetahui mitra dagang itu
mendefinisikan perspektif yang diambil oleh sistem informasi. Manusia juga mengetahui kenyataan bahwa apa yang
dihibahkan oleh seorang mitra dagang, harus diterima oleh mitra dagang dengan pandangan yang berlawanan.
Mengingat komputer tidak dapat melakukan hal yang sama, kami telah membawa produktivitas komputer ke upaya yang
murni manusiawi ini. REA2 meningkatkan kesadaran bahwa membuat mitra dagang penentu pandangan ini secara eksplisit
dalam model tampilan dependen memungkinkan transformasi otomatis antara pandangan mitra dagang yang berlawanan
dan antara satu atau lebih pandangan mitra dagang dan pandangan independen.
Dalam arti luas, makalah ini menyoroti implikasi REA2 untuk pengembangan masa depan yang bermanfaat dari a) sistem
informasi perusahaan (EIS) di cloud, b) EIS berbasis media sosial, c) EIS blockchain, dan d) interoperabilitas EIS. Kontribusi
sederhana yang ditunjukkan oleh REA2 sejauh ini semakin mendekatkan REA ke tujuan tersebut.
data pelengkap
Lampiran A–E tersedia di: http://dx.doi.org/AO198.
Terima kasih
Kami ingin berterima kasih kepada WE McCarthy, yang telah membantu kami menyadari bahwa upaya mengintegrasikan
pandangan ketergantungan dan independen REA yang kami lakukan sebelumnya dapat disederhanakan sekaligus
menjadikannya lebih kuat. Kami juga ingin berterima kasih kepada Robert Haugen, Pavel Hruby, Paul Johannesson dan
pengulas anonim atas komentar mereka yang berharga, dan Karl Dawson dari Amazon.com untuk diskusi inspiratif tentang potensi
kasus penggunaan.
Referensi
Brandenburger, A. & Nalebuff, B. (1996). Ko-opetisi (edisi ke-1). New York: Dua hari.
Buysse, F. & Jonnaert, T. (2012). Het ontwikkelen van een MRP(II) to passing op basis van het REA referencemodel. Tesis master,
Universitas Ghent, Ghent. Tersedia di: http://lib.ugent.be/fulltxt/RUG01/001/893/296/RUG01-001893296_2012_ 0001_AC.pdf.
Colmerauer, A. & Roussel, P. (1993). Kelahiran Prolog. Makalah yang dipresentasikan pada Konferensi ACM SIGPLAN Kedua pada
Sejarah Bahasa Pemrograman, Cambridge, Massachusetts, AS.
Dunn, CL, Gerard, GJ & Grabski, SV (2016). Sumber daya-Acara-Agen desain teori: Sebuah pendekatan revolusioner untuk desain
sistem perusahaan. Komunikasi Asosiasi Sistem Informasi, 38(5), 554–595. doi:10.17705/1CAIS.03829.
Fisher-Pauzenberger, C. & Schwaiger, WSA (2017). Model akuntansi OntoREA: pemodelan berbasis ontologi dari domain
penghitungan ac. Sistem Kompleks Informatika dan Pemodelan Triwulanan, 54(11), 20–37. doi:10.7250/csimq.2017-11.02.
Gailly, F. & Geerts, GL (2013). Spesifikasi aturan bisnis berbasis ontologi. Jurnal Sistem Informasi, 27(1), 79–104.
doi:10.2308/isys-50428.
Gailly, F., Laurier, W. & Poels, G. (2008). Memposisikan dan memformalkan ontologi perusahaan REA. Jurnal Sistem Informasi, 22(2),
219–248. doi:10.2308/jis.2008.22.2.219.
Gailly, F. & Poels, G. (2009). Menggunakan ontologi REA untuk menciptakan interoperabilitas antara standar pemodelan kolaborasi-E.
Dalam P. Eck, J. Gordijn dan R. Wieringa (Eds.), Rekayasa Sistem Informasi Lanjutan (Vol. 5565, hlm. 395–409). Berlin, Heidelberg:
Peloncat. doi:10.1007/978-3-642-02144-2_32.
Geerts, GL (2011). Metodologi penelitian ilmu desain dan penerapannya pada penelitian sistem informasi akuntansi.
Jurnal Internasional Sistem Informasi Akuntansi, 12(2), 142–151. doi:10.1016/j.accinf.2011.02.004.
Geerts, GL & McCarthy, KAMI (2000a). Menambah penalaran intensional dalam sistem akuntansi berbasis pengetahuan. Jurnal
Sistem Informasi, 14(2), 127–150. doi:10.2308/jis.2000.14.2.127.
Geerts, GL & McCarthy, KAMI (2000b). Yayasan Ontologis Sistem Informasi Perusahaan REA. Tersedia di: http://www.msu.edu/user/
mccarthy4/Alabama.doc.
Geerts, GL & McCarthy, KAMI (2002). Sebuah analisis ontologis primitif ekonomi dari extended-REA memasuki arsitektur informasi hadiah. Jurnal
Internasional Sistem Informasi Akuntansi, 3(1), 1–16. doi:10.1016/S1467- 0895(01)00020-3.
Geerts, GL & McCarthy, KAMI (2005). Yayasan Ontologi Sistem Informasi Perusahaan REA. Newark: Universitas Delaware. Lansing Timur: Universitas
Negeri Michigan. Tersedia di: http://www.msu.edu/user/mccarth4/Tulane.doc.
Geerts, GL & McCarthy, KAMI (2006). Spesifikasi tingkat kebijakan dalam sistem informasi perusahaan REA. Jurnal Sistem Informasi, 20(2), 37–63.
doi:10.2308/jis.2006.20.2.37.
Gordijn, J. (2002). e3-Nilai Singkatnya. Amsterdam: Universitas Vrijeit.
Guizzardi, G. (2014). Pola ontologis, anti-pola, dan bahasa pola untuk pemodelan konseptual generasi mendatang. Di E.
Yu, G. Dobbie, M. Jarke dan S. Purao (Eds.), Prosiding Konferensi Internasional ke-33 tentang Pemodelan Konseptual, ER 2014, Atlanta, GA, AS,
27–29 Oktober 2014 (hlm. 27–29). Cham: Springer.
Haugen, R. (2007). Beyond the Enterprise: Membawa REA ke Tingkat yang Lebih Tinggi.
Hevner, A. & Chatterjee, S. (2010). Desain Ilmu Penelitian di Sistem Informasi Desain Penelitian di Sistem Informasi: Teori dan Praktek (pp. 9-22).
Boston, MA: Springer. doi:10.1007/978-1-4419-5653-8_2.
Hruby, P. & Kiehn, J. (2006). Revisi Klasifikasi Elemen Arsitektur Informasi Perusahaan. Makalah dipresentasikan pada Konferensi Internasional ke-3
tentang Sistem dan Akuntansi Perusahaan (ICESAcc'06), Pulau Santorini, Yunani. Tersedia di: http://www.itu.dk/people/hessellund/REA2006/papers/
HrubyKiehn.pdf.
Hruby, P., Kiehn, J. & Scheller, CV (2006). Desain Berbasis Model Menggunakan Pola Bisnis. Berlin: Springer.
ISO/IEC (2007). Teknologi informasi – Tampilan Operasional Bisnis Bagian 4: Skenario transaksi bisnis – Akuntansi dan ontologi ekonomi. ISO/IEC
FDIS 15944-4: 2007(E).
ÿ
Ito, S. & Vymetal, D. (2013). Model REA formal di tingkat operasional. Ontologi Terapan, 8(4), 275–300. doi:10.3233/
AO-140129.
Jaquet, M. (2006). Pendekatan berbasis properti untuk mendeskripsikan semantik entitas REA. Dalam Prosiding Lokakarya Teknologi REA Internasional
ke-2.
Kaneko, M. & Kline, JJ (2008). Teori permainan induktif: Skenario dasar. Jurnal Ekonomi Matematika, 44(12), 1332–
1363.doi :10.1016/j.jmateco.2008.07.009.
Kaneko, M. & Kline, JJ (2010). Dua dialog tentang logika epistemik dan teori permainan induktif. Dalam Kemajuan dalam Matematika
Penelitian (Vol. 12, hlm. 199–238). New York: Nova Science Publishers.
Laurier, W. & Poels, G. (2012). Lacak dan lacak arus produk dan uang masa depan, sekarang, dan masa lalu dengan Resource-Event-Agent
model. Manajemen Sistem Informasi, 29(2), 123–136. doi:10.1080/10580530.2012.662102.
Laurier, W. & Poels, G. (2014). Tata bahasa pemodelan konseptual berbasis ontologi perusahaan untuk mewakili skrip rantai nilai dan rantai pasokan.
Jurnal Internasional Struktur Konseptual dan Aplikasi Cerdas (IJCSSA), 2(1), 18–35. doi:10. 4018/ijcssa.2014010102.
Letaifa, SB (2014). Transisi yang tidak mudah dari rantai pasokan ke ekosistem: Dilema penciptaan nilai/penangkapan nilai. Pria
keputusan manajemen, 52(2), 278–295. doi:10.1108/MD-06-2013-0329.
McCarthy, KAMI (1979). Pandangan entitas-hubungan model akuntansi. Tinjauan Akuntansi, 54(4), 667–686.
McCarthy, KAMI (1982). Model akuntansi REA: Kerangka umum untuk sistem akuntansi dalam lingkungan data bersama
ronment. Tinjauan Akuntansi, 57(3), 554–578.
McCarthy, KAMI (2003). Pendekatan pemodelan REA untuk mengajar sistem informasi akuntansi. Masalah dalam Pendidikan Akuntansi, 18(4), 427–
441. doi:10.2308/iace.2003.18.4.427.
McCarthy, WE (Produser) (2017). Model REA dari pertukaran ekonomi [presentasi MS Powerpoint]. Tersedia di:
https://msu.edu/user/mccarth4/cookie--elmo--basic%20REA.ppt.
McCarthy, KAMI, Geerts, GL & Gal, G. (2016a). Congruent en Meronymic Constellation dalam Ontologi REA. Makalah dipresentasikan pada Lokakarya
Internasional ke-10 tentang Pemodelan Nilai dan Ontologi Bisnis, Trento, Italia. Tersedia di: http://www.loa.istc.cnr.it/vmbo2016/wp-content/uploads/
2016/02/VMBO2016_paper_15.pdf .
McCarthy, KAMI, Geerts, GL & Gal, G. (2016b). Struktur Ekonomi Pertukaran vs. Konversi di REA En terprise Ontology. Makalah yang dipresentasikan
pada Understanding the Notion of Value in the Service Economy, Trento, Via S.
Croce 77. Tersedia di: http://www.loa.istc.cnr.it/vmbo2016/wp-content/uploads/2016/02/conversion-paper-trento-22-FEB. -embedded-figures.pdf.
NEMO (2015). Spesifikasi OntoUML 1.0: da Fonseca, Lucas Bassetti R.

O'Leary, DE (2004). Tentang hubungan antara REA dan SAP. Jurnal Internasional Sistem Informasi Akuntansi,
5(1), 65–81. doi:10.1016/j.accinf.2004.02.004.
Aduh (2016). Fasilitas Objek Meta. Needham, MA 02494, AS: Grup Manajemen Objek.
Sowa, JF (2000). Representasi Pengetahuan: Fondasi Logis, Filosofis, dan Komputasi. Hutan Pasifik:
Brooks/Cole.
Steiner, J. & Baker, J. (2016). Blockchain: Solusi untuk transparansi dalam rantai pasokan produk. Tersedia di: https://www. provenance.org/whitepaper.
Tan, Y.-H., Niels, B.-A., Klein, S. & Rukanova, B. (Eds.) (2010). Mempercepat Rantai Pasokan Global dengan Inovasi TI:
Alat dan Metode ITAIDE. Berlin: Springer.
Value Flows vf vocab (2016). Tersedia di: https://valueflo.ws.
Perangkat Lunak Jaringan Nilai (NRP) (2016). Tersedia di: http://mikorizal.org/software.html.
Zdravkovic, J., Zikra, I. & Ilayperuma, T. (2011). Metode MDA untuk pemodelan layanan dengan memformalkan kerangka bisnis
REA dan open-edi dengan SBVR. Dalam J. Ralyté, I. Mirbel dan R. Deneckère (Eds.), Metode Rekayasa dalam Konteks
Berorientasi Layanan, ME 2011, Kemajuan IFIP dalam Teknologi Informasi dan Komunikasi (Vol. 351, hlm. 219–224). Berlin,
Heidelberg: Peloncat. doi:10.1007/978-3-642-19997-4_20.

REA2: Sebuah Formalisasi Terpadu Dari Ontologi Resource-Event-Agent

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

REA2: Sebuah Formalisasi Terpadu Dari Ontologi Resource-Event-Agent

Diunggah oleh

Hak Cipta:

Format Tersedia

Machine Translated by Google

Ontologi Terapan 13 (2018) 201–224 201

REA2 : Sebuah formalisasi terpadu dari

Diterima oleh: Michael Gruninger

*Penulis yang sesuai. Email: wim.laurier@usaintlouis.be.

1570-5838/18/$35.00 © 2018 – IOS Press dan penulis.

202 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 203

Gambar 1. Integrasi tampilan REA2: konteks aplikasi.

204 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

Gambar 2. Meta-model REA2 untuk aliran stok.

Gambar 3. Meta-model REA2 untuk dualitas.

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 205

Gambar 4. Meta-model REA2 untuk partisipasi.

Gambar 5. Semantik ruang kolaborasi.

4. Metodologi penelitian dan penelitian terkait

206 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

Gambar 6. Skenario evaluasi.

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 207

208 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 209

210 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

6. Ruang kolaborasi: Pola semantik

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 211

212 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 213

Ringkasan semantik skenario evaluasi

Objek Mandiri pandangan 104 pandangan 106 pandangan 107

104 Mitra dagang Pembeli Penjual

114 Uang tunai

115 Pengiriman Penjualan Pembelian

8. Bukti konsep: Kode prolog

214 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

Cuplikan Kode 1. Pernyataan apa adanya dalam kisi semantik.

/*A.1. Aturan Inferensi*/ /*A.1.1.

/*A.1.2. Semantik yang Diwarisi*/

Cuplikan Kode 2. Memproses pernyataan is-a dalam kisi semantik.

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 215

Cuplikan Kode 3. Mendapatkan tampilan independen dari tampilan dependen.

216 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

/*A.2.3. Mirror (Relasi formal)*/

/*A.2.3.1. Menentang Semantik dalam Menentang Views*/

Cuplikan Kode 4. Menambahkan pemodel dalam tampilan independen.

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 217

/*A.3.2.2. Semantik acara*/

menurut 106 (yaitu, oebto_relator([102,101],is_a,stock-flow,to,106)), maka stock-flow ini harus merupakan

218 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 219

220 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 221

9.3. Penemuan masa depan

222 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

Lampiran A–E tersedia di: http://dx.doi.org/AO198.

W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent 223

NEMO (2015). Spesifikasi OntoUML 1.0: da Fonseca, Lucas Bassetti R.

224 W. Laurier dkk. / REA2: Formalisasi terpadu ontologi Resource-Event-Agent

Anda mungkin juga menyukai

/A.1. Aturan Inferensi/ /*A.1.1.

/A.1.2. Semantik yang Diwarisi/

/A.2.3. Mirror (Relasi formal)/

/A.2.3.1. Menentang Semantik dalam Menentang Views/

/A.3.2.2. Semantik acara/