ConDOR is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure described in this paper.
Currently ConDOR supports a fragment of OWL 2 which corresponds to the description logic SH.
文 件 列 表
condor-src-r.12 bin examples INSTALL LICENCE Makefile README src