Pellet

Pellet是一種基於Tableau算法的描述邏輯推理機 ， 由美國馬里蘭大學 （ College Park分校 ） 的MindSwap實驗室開發 。 Pellet是基於Java的開放源碼系統 。 目前 ， Pellet支持OWL 1.1 。