1개 데이터셋을 찾았습니다

라이선스: GNU-General-Public-License-2.0 포맷: java

필터 결과

  • Hermit: OWL推理机

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 HermiT是使用OWL编写的本体论的推理者。 给定一个OWL文件，HermiT可以确定本体是否一致，识别类之间的包含关系，等等。 HermiT是第一个公开可用的OWL推理器，基于一种新颖的“超高级”演算，提供比任何以前已知的算法更有效的推理。...