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.
Abstraksi (ilmu komputer)
Dalam ilmu komputer, abstraksi adalah proses representasi data dan program dalam bentuk sama dengan pengertiannya (semantik), dengan menyembunyikan rincian / detail implementasi. Abstraksi mencoba menyembunyikan detail agar programmer dapat berfokus pada konsep tertentu saja pada satu waktu.