CB
 

CB

Build 12
CB for Mac, A Consequence-Based reasoner for Horn-SHIF ontologies

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 .

Conclusion

To conclude CB works on Mac operating system and can be easily downloaded using the below download link according to LGPL license. The download file is only 385 KB  in size.
CB was filed under the Math category and was reviewed in softlookup.com and receive 3/5 Score.
CB has been tested by our team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. We will recheck CB when updated to assure that it remains clean.

CB user Review

Please review CB application and submit your comments below. We will collect all comments in an effort to determine whether the CB software is reliable, perform as expected and deliver the promised features and functionalities.

Popularity 6/10 - Downloads - 425 - Score - 3/5



Category: Math 
Publisher: Yevgeny Kazakov
Last Updated: 03/09/2019
Requirements: Mac OS X
License: LGPL
Operating system: Mac
Hits: 307
File size: 385 KB 
Price: Not specified

An easy screen recording

Leave A comment
Name: *
E-Mail: *
Comment: *