在計算機科學、信息科學和系統工程中，本體工程是一個研究建立本體的方法和手段的領域，它包含了對概念、數據和實體之間的類別、屬性和關系的表示、正式命名和定義。在更廣泛的意義上，這個領域還包括使用OWL/RDF等正式的本體表示法對該領域進行知識構建。對行動、時間、物理對象和信仰等抽象概念的大規模表示將是本體工程的一個例子。本體工程是應用本體的領域之一，可以被看作是哲學本體的應用。本體工程的核心思想和目標也是概念建模的核心。本體工程的目的是使軟件應用中、企業中和特定領域的商業程序中包含的知識明確化。本體工程為解決由語義障礙帶來的互操作性問題提供了一個方向，即與商業術語和軟件類的定義有關的障礙。本體工程是一組與特定領域的本體發展相關的任務。對軟件代理無法解釋的信息的自動處理，可以通過給相應的資源（如視頻文件）增加豐富的語義來改善。表示知識領域的正式概念化的方法之一是使用機器可解釋的本體，它提供了RDF、RDFS和OWL中的結構化數據，或基于這些數據的結構化數據。本體工程是設計和創建這樣的本體，它不僅僅包含術語列表（受控詞匯）；它們包含術語、斷言和關系公理，以定義概念（類）、個體和角色（屬性）（分別是TBox、ABox和RBox）。本體工程是一個相對較新的研究領域，涉及本體開發過程、本體生命周期、構建本體的方法和方法論，以及支持本體的工具套件和語言。提供本體邏輯基礎的一個常見方法是用描述邏輯將公理形式化，然后可以翻譯成RDF的任何序列化，如RDF/XML或Turtle。除了描述邏輯公理，本體還可能包含SWRL規則。概念定義可以被映射到RDF中的任何一種資源或資源段，如圖像、視頻和感興趣的區域，以注釋物體、人物等，并與跨知識庫、本體論和LOD數據集的相關資源相互連接。這些基于人類經驗和知識的信息對于推理者來說很有價值，可以自動解釋復雜和模糊的內容，比如多媒體資源的視覺內容。基于本體的推理的應用范圍包括但不限于信息檢索、自動場景解釋和知識發現。

本體語言是用來編碼本體的形式語言。有許多這樣的本體語言，包括專有的和基于標準的。通用邏輯是ISO標準24707，這是一個本體語言家族的規范，可以準確地相互翻譯。Cyc項目有自己的本體語言，叫做CycL，基于一階謂詞微積分，有一些高階擴展。Gellish語言包括自己的擴展規則，因此將本體與本體語言結合起來。IDEF5是一種軟件工程方法，用于開發和維護可用的、準確的領域本體。KIF是一種基于S表達式的一階邏輯的語法。規則交換格式（RIF）、F-Logic及其后續的ObjectLogic結合了本體和規則。

OWL是一種做本體聲明的語言，是作為RDF和RDFS以及早期本體語言項目（包括OIL、DAML和DAML+OIL）的后續發展。OWL旨在通過萬維網使用，它的所有元素（類、屬性和個體）都被定義為RDF資源，并由URI識別。OntoUML是一種基礎良好的語言，用于指定參考本體。SHACL（RDF形狀約束語言）是一種用于描述RDF數據結構的語言。它可以與RDFS和OWL一起使用，也可以獨立于它們使用。XBRL（可擴展商業報告語言）是一種表達商業語義的語法。生命科學中的本體工程生命科學中的本體正在蓬勃發展，生物學家用本體來理解他們的實驗。為了從實驗中推斷出正確的結論，本體必須針對它們所代表的知識庫進行優化結構。