Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakWeb Ontology Language
Protokol, format & antarmuka

Web Ontology Language

OWL menyediakan kosakata ontologi untuk menyatakan kelas, properti, individu, dan batasan bermakna formal.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan teknologi
Peta fungsi teknologi: Web Ontology LanguageMasukan: Definisi kelas dan hubungan pada sebuah ontologi. Bagian: Axiom; Reasoner. Keluaran: Ontologi serta implikasi yang dapat diturunkan penalar. Bagian dikelompokkan menurut fungsi, bukan urutan perakitan.MASUKANDefinisi kelas dan hubunganpada sebuah ontologi.BAGIAN FUNGSIONALAxiomMenyatakan aturan ontologi.ReasonerMenilai implikasi formal.KELUARANOntologi serta implikasi yangdapat diturunkan penalar.
Peta fungsi teknologi

Diagram konseptual dari masukan, fungsi bagian, dan keluaran dalam profil. Susunan kotak tidak menunjukkan urutan perakitan atau posisi fisik.

Teknologi · CC BY 4.0 · Sumber data

Bagaimana cara kerjanya?

Aksioma menghubungkan kelas, properti, dan individu. Semantik yang ditentukan memungkinkan penalar menilai implikasi atau konsistensi sesuai profil ontologi.

Rujukan penjelasan

Bagian fungsional

  1. 01

    Axiom

    Menyatakan aturan ontologi.

  2. 02

    Reasoner

    Menilai implikasi formal.

Masukan dan keluaran

01 / Masukan

Definisi kelas dan hubungan pada sebuah ontologi.

02 / Keluaran

Ontologi serta implikasi yang dapat diturunkan penalar.

Parameter teknis

Informasi dengan rujukan belum tersedia untuk bagian ini. Profil ini tidak menyajikan spesifikasi angka untuk model tertentu atau nilai yang berlaku bagi seluruh keluarga teknologi.

Versi dan status

Profil membahas konsep atau kategori teknologi; versi implementasi tertentu belum ditetapkan.

Status terbit profil berbeda dari status produksi, dukungan, atau sertifikasi perangkat.

Penerapan dan keterbatasan

  • Pemodelan pengetahuan yang membutuhkan aturan formal.

Batas cakupan

Penalaran dan kelengkapan bergantung profil serta implementasi.

Teknologi yang terhubung

Hubungan terverifikasi belum tersedia untuk profil ini. Kedekatan topik tidak membuktikan kompatibilitas atau ketergantungan.

Buka peta teknologi

Dasar penjelasan

Penjelasan asli bahasa Indonesia disusun dengan pemeriksaan rujukan primer oleh agen AI. Belum ditinjau ahli. Baca metodologi dan batas pemeriksaan. Ringkasan standar tidak menggantikan teks normatif; ilustrasi konseptual tidak menjadi bukti konfigurasi model.