ProtegeMCP
概念证明 门生 启动Protege模型上下文协议服务器的插件，允许您处理本体并使用Claude Desktop或任何兼容MCP的LLM/Agent进行查询。
需求
- .NET 10
- JavaSE-11+
运作原理
其核心只是Protege插件，通过简单的REST API提供Protege功能。 在最后一个工件插件jar中，有一个在dotnet中开发的嵌入式MCP服务器，它消耗了上面提到的REST API。 我很少尝试只使用java MCP Server，但我对java的生态系统和依赖关系管理不太精通，因此采用了dotnet+java方法。
能力
所有MCP服务器功能都作为工具公开。
概念-4个工具
list-concepts-列出当前本体中存在的所有概念create-concept-创造新概念rename-concept-重命名已存在的概念delete-concept-从当前本体中删除/移除概念
概念公理-3个工具
list-concept-axioms-列出当前本体中给定概念按类别组织的所有公理add-concept-axiom-将公理分配给概念（等价类、子类、不相交类、不交联类）remove-concept-axiom-从概念中删除指定的公理（等价类、子类、不相交类、不交联类）
对象属性-5个工具
list-object-properties-列出当前本体中存在的所有对象属性create-object-property-创建新的对象属性rename-object-property-重命名已存在的对象属性delete-object-property-从当前本体中删除/移除对象属性set-object-property-characteristics-设置/重置给定对象属性的特征（函数性、逆函数性、传递性、对称性、非对称性、自反性、非自反性）
对象属性公理-3个工具
list-object-property-axioms-列出按类别组织的给定对象属性的所有对象属性公理（equaltTo、subPropertyOf、inverteOf、域、范围、不相交With、superPropertyOf）add-object-property-axiom-添加对象属性公理delete-object-property-axiom-删除对象属性公理
个人-4个工具
list-individuals-列出当前本体中存在的所有个人create-individual-创建新个人delete-individual-删除个人rename-individual-重命名个人
单个属性-10个工具
assign-type-为给定的个人指定类型（概念）remove-type-删除类型分配assign-same-individual-表示两个人实际上是相同的remove-same-individual-删除相同的个人任务assign-different-individual-表示两个人是分开的remove-different-individual-删除不同的个人分配assign-object-property-assertion-向单个对象添加对象属性断言remove-object-property-assertion-删除对象属性断言assign-negative-object-property-assertion-添加负对象属性断言remove-negative-object-property-assertion-删除负对象属性断言
IO-4工具
get-current-ontology-获取当前本体的信息。在处理多个文件时很有用，以确保正确的文件得到更新new-ontology-使用新的空Ontology创建新窗口open-ontology-从给定文件打开本体（由Protege支持）。将当前本体切换到它。save-as-ontology-保存本体