Semantik
Dalam ilmu komputer, semantik merujuk pada arti bahasa, sebagai lawan dari bentuk mereka (sintaks). Menurut Euzenat, semantik "menyediakan aturan untuk menafsirkan sintaks yang tidak memberikan makna secara langsung tetapi membatasi kemungkinan penafsiran dari apa yang dinyatakan." Dengan kata lain, semantik adalah tentang penafsiran dari sebuah ekspresi. Selain itu, istilah ini diterapkan untuk beberapa jenis struktur data khusus dirancang dan digunakan untuk mewakili konten informasi.
Konsistensi (logika)
Konsistensi dalam ilmu logika adalah teori konsistensi merupakan sebuah sematik dengan sematik yang lainnya tidak mengandung kontradiksi. Tidak adanya kontradiksi dapat diartikan baik dalam hal semantik atau berhubung dengan sintaksis. Definisi semantik yang menyatakan bahwa sebuah teori yang konsisten jika ia memiliki model; ini digunakan dalam arti logika tradisional Aristoteles walaupun dalam logika matematika kontemporer terdapat istilah "satisfiable" yang digunakan. Berhubungan dengan pengertian sintaksis yang menyatakan bahwa sebuah teori yang konsisten jika tidak terdapat rumus P seperti yang kedua P dan penyangkalan adalah pembuktian dari aksioma dari teori yang terkait di bawah sistem deduktif.