CB

A Consequence-Based reasoner for Horn-SHIF ontologies
Download

CB Ranking & Summary

Advertisement

  • Rating:
  • License:
  • LGPL
  • Publisher Name:
  • Yevgeny Kazakov
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 385 KB

CB Tags


CB Description

CB (Consequence-Based) is a free and open-source ontology reasoner that is based on a new kind of "consequence-based" reasoning procedure.At the moment, CB supports a fragment of OWL 2 which corresponds to the DL Horn-SHIF.CB is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).


CB Related Software

About SoftwareSea