Pellet: OWL 2 Reasoner for Java Overview For applications that need to represent and reason about information using OWL, Pellet is the leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support for OWL

protege 4.1 语义网开发工具 用于本体建模和推理实现