Arsitektur Web

Extensible Markup Language (XML) lapisan dengan namespace XML dan skema XML definisi memastikan bahwa ada sintaks yang umum digunakan di web semantik. XML adalah bahasa markup tujuan umum untuk dokumen yang mengandung informasi terstruktur. Sebuah dokumen XML berisi elemen yang dapat diulang dan yang mungkin memiliki atribut dan isi. XML namespaces membolehkan untuk menentukan kosakata markup yang berbeda dalam satu dokumen XML. skema XML berfungsi untuk mengungkapkan skema set tertentu dari dokumen XML.

Sebuah format representasi data inti untuk web semantik adalah Resource Description Framework (RDF). RDF merupakan framework untuk merepresentasikan informasi tentang sumber daya dalam bentuk grafik. Hal itu terutama ditujukan untuk mewakili metadata tentang sumber daya WWW, seperti judul, penulis, dan tanggal modifikasi dari halaman web, tetapi dapat digunakan untuk menyimpan data lainnya. Hal ini didasarkan pada tiga kali lipat subyek-predikat-obyek yang membentuk grafik data. Semua data dalam penggunaan web RDF semantik sebagai bahasa representasi utama. Sintaks normatif untuk serialisasi RDF adalah XML dalam bentuk / RDF XML. semantik formal RDF didefinisikan juga.

RDF itu sendiri berfungsi sebagai deskripsi dari grafik yang dibentuk oleh tiga kali lipat. Siapapun dapat menentukan kosa kata istilah yang digunakan untuk keterangan lebih rinci. Untuk memungkinkan deskripsi standar taksonomi dan lainnya ontologis konstruksi, sebuah Skema RDF (RDFS) telah dibuat bersama dengan semantik formal di dalam RDF. RDFS dapat digunakan untuk menggambarkan taksonomi kelas dan properti dan menggunakannya untuk membuat ontologi ringan.

Ontologi lebih rinci dapat dibuat dengan Web Ontologi Bahasa OWL. The OWL adalah bahasa berasal dari logika deskripsi, dan menawarkan lebih konstruksi atas RDFS. Ini adalah sintaksis tertanam ke dalam RDF, jadi seperti RDFS, ia menyediakan kosakata standar tambahan. OWL datang dalam tiga spesies - OWL Lite untuk taksonomi dan sederhana kendala, OWL DL untuk dukungan logika deskripsi lengkap, dan Full OWL untuk ekspresif maksimum dan kebebasan sintaksis dari RDF. Sejak OWL didasarkan pada logika deskripsi, maka tidak mengherankan bahwa semantik formal didefinisikan untuk bahasa ini.

RDFS dan OWL memiliki semantik didefinisikan dan semantik ini dapat digunakan untuk penalaran dalam ontologi dan basis pengetahuan dijelaskan menggunakan bahasa. Untuk memberikan aturan di luar konstruksi yang tersedia dari bahasa-bahasa ini, bahasa aturan sedang standar untuk web semantik juga. Dua standar muncul - RIF dan SWRL.

Untuk query data RDF serta ontologi RDFS dan OWL dengan basis pengetahuan, Sederhana Protokol dan RDF Query Language (SPARQL) tersedia. SPARQL adalah bahasa SQL-suka, tetapi menggunakan RDF tiga kali lipat dan sumber daya untuk kedua bagian yang cocok dari permintaan dan untuk mengembalikan hasil query. Karena baik RDFS dan OWL dibangun di RDF, SPARQL dapat digunakan untuk query ontologi dan basis pengetahuan secara langsung juga. Perhatikan bahwa SPARQL tidak hanya bahasa query, juga merupakan protokol untuk mengakses data RDF.

Diharapkan bahwa semua semantik dan aturan akan dijalankan pada lapisan bawah Bukti dan hasilnya akan digunakan untuk membuktikan pemotongan. bukti formal bersama-sama dengan masukan dipercaya untuk bukti akan berarti bahwa hasilnya bisa dipercaya, yang ditunjukkan di lapisan atas gambar di atas. Untuk masukan dapat diandalkan, berarti kriptografi yang akan digunakan, seperti tanda tangan digital untuk verifikasi asal sumber. Di atas lapisan ini, aplikasi dengan user interface dapat dibangun.