This page contains the results of various tests conducted on IOF Core including evaluations of consequences of axioms and rules in IOF Core, validations through competency questions, checking of data models, and benchmarking of the performance of various tools for IOF Core.
...
Table of contents
Table of Contents | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
...