Yevgeny Kazakov
1 application totalLast updated: Sep 9th 2012, 01:39 GMT
Full list of applications developed by Yevgeny Kazakov:
- 168 downloads
- 385 KB
CB Build 12
A Consequence-Based reasoner for Horn-SHIF ontologies
Sep 9th 2012, 01:39 GMT
1 application totalLast updated: Sep 9th 2012, 01:39 GMT
Full list of applications developed by Yevgeny Kazakov:
A Consequence-Based reasoner for Horn-SHIF ontologies