Abstract
In this paper we present the results of running the ORE test suite and its reasoning tasks with three reasoners: Chainsaw, JFact and FaCT++. We describe the newest of these reasoners, Chainsaw, in detail, and we compare and contrast its advantages and disadvantages with the other two reasoners. We show the results obtained and how they compare to each other, and we list the cases in which the reasoners fail to complete a task in the assigned time.
| Original language | English |
|---|---|
| Title of host publication | CEUR Workshop Proceedings|CEUR Workshop Proc. |
| Publisher | RWTH Aachen University |
| Volume | 858 |
| Publication status | Published - 2012 |
| Event | 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 - Manchester Duration: 1 Jul 2012 → … http://ceur-ws.org/ |
Conference
| Conference | 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 |
|---|---|
| City | Manchester |
| Period | 1/07/12 → … |
| Internet address |