Warning:
This wiki has been archived and is now read-only.
Test Queue
For all of the tests listed, the following abbreviated annotations are used
- (c) - consistency test
- (i) - inconsistency test
- (e) - positive entailment test
- (n) - negative entailment test
Contents
Tests Proposed 2008-12-10 (Not Yet Approved)
The test cases below were pulled forward from the WebOnt test cases and are complete (i.e., contain all necessary input and metadata)
The test run results were produced using Pellet-2.0.0-rc3, HermiT-0.9.2, and FaCT++-1.2.1.
Test | Pellet | HermiT | FaCT++ |
---|---|---|---|
WebOnt-description-logic-003 (i) | PASS | PASS | FAIL |
WebOnt-description-logic-013 (i) | PASS | PASS | FAIL |
WebOnt-description-logic-017 (i) | PASS | PASS | FAIL |
Tests Proposed 2009-01-05 (Description Logic Tests) (Not Yet Approved)
The test cases below were pulled forward from the WebOnt test cases and are complete (i.e., contain all necessary input and metadata)
The test run results were produced using Pellet-2.0.0-rc3, HermiT-0.9.2, and FaCT++-1.2.1.
Test | Pellet | HermiT | FaCT++ |
---|---|---|---|
WebOnt-description-logic-201 (e) | PASS | FAIL | PASS |
WebOnt-description-logic-202 (e) | PASS | ERROR (Timeout) | PASS |
WebOnt-description-logic-203 (e) | PASS | ERROR (Timeout) | PASS |
WebOnt-description-logic-205 (e) | PASS | FAIL | PASS |
WebOnt-description-logic-207 (e) | PASS | FAIL | PASS |
WebOnt-description-logic-601 (i) | PASS | FAIL | PASS |
WebOnt-description-logic-613 (i) | PASS | PASS | FAIL |
WebOnt-description-logic-662 (e) | ERROR (Timeout) | FAIL | ERROR (Timeout) |
WebOnt-description-logic-665 (e) | PASS | FAIL | PASS |
WebOnt-description-logic-667 (e) | PASS | FAIL | PASS |
WebOnt-description-logic-902 (n) | PASS | FAIL | PASS |
WebOnt-description-logic-903 (e) | ERROR (Timeout) | ERROR (Timeout) | PASS |
WebOnt-description-logic-904 (n) | PASS | ERROR (Timeout) | PASS |
WebOnt-description-logic-905 (c) | ERROR | PASS | PASS |
WebOnt-description-logic-906 (c) | ERROR (Memory) | ERROR (Timeout) | ERROR (Timeout) |
WebOnt-description-logic-907 (c) | ERROR (Memory) | ERROR (Memory) | ERROR (Timeout) |
WebOnt-description-logic-909 (c) | ERROR (Memory) | ERROR (Memory) | ERROR |
WebOnt-description-logic-910 (c) | ERROR (Memory) | ERROR (Memory) | FAIL |
Tests Proposed 2009-01-06 (OWL Issue Tests) (Not Yet Approved)
The following test cases do not satisfy the syntactic constraints of OWL 2 DL.
- WebOnt-I5.1-001
- WebOnt-I5.1-010
- WebOnt-I5.2-010
- WebOnt-I5.2-011
- WebOnt-I5.24-001
- WebOnt-I5.24-002
- WebOnt-I5.26-006
- WebOnt-I5.26-007
- WebOnt-I5.3-005
- WebOnt-I5.3-007
- WebOnt-I5.3-009
- WebOnt-I5.3-014
- WebOnt-I5.3-015
- WebOnt-I5.5-001
- WebOnt-I5.5-002
- WebOnt-I5.5-003
- WebOnt-I5.5-004
- WebOnt-I5.5-007
- WebOnt-I5.8-014
- WebOnt-I5.8-016
- WebOnt-I5.8-017
- WebOnt-I6.1-001
The tests below satisfy the constraints of OWL 2 DL. For these tests, the results below were generated with Pellet-2.0.0-rc3, HermiT-0.9.2, and FaCT++-1.2.1.
Test | Pellet | HermiT | FaCT++ |
---|---|---|---|
WebOnt-I5.3-008 (c) | PASS | ERROR | PASS |
WebOnt-I5.21-002 (e) | PASS | ERROR | PASS |
WebOnt-I5.24-003 (e) | PASS | FAIL | PASS |
WebOnt-I5.24-004 (e) | PASS | FAIL | PASS |
WebOnt-I5.8-001 (i) | PASS | ERROR (Timeout) | ERROR (Unsupported) |
WebOnt-I5.8-002 (c) | PASS | ERROR (Timeout) | ERROR (Unsupported) |
WebOnt-I5.8-003 (i) | PASS | ERROR (Timeout) | ERROR (Unsupported) |
WebOnt-I5.8-004 (e) | PASS | FAIL | ERROR (Unsupported) |
WebOnt-I5.8-005 (n) | PASS | PASS | ERROR (Unsupported) |
WebOnt-I5.8-006 (e) | PASS | FAIL | ERROR (Unsupported) |
WebOnt-I5.8-007 (n) | PASS | PASS | ERROR (Unsupported) |
WebOnt-I5.8-008 (e) | PASS | FAIL | ERROR (Unsupported) |
WebOnt-I5.8-009 (e) | PASS | FAIL | ERROR (Unsupported) |
WebOnt-I5.8-010 (e) | PASS | FAIL | ERROR (Unsupported) |
WebOnt-I5.8-012 (c) | FAIL | ERROR (Timeout) | ERROR (Unsupported) |
WebOnt-I5.8-013 (c) | PASS | ERROR | ERROR (Unsupported) |
WebOnt-I5.8-015 (c) | PASS | ERROR | ERROR (Unsupported) |
Tests Proposed 2009-01-08 (Structure Sharing Constraints Changed Since WebOnt)
The results below were generated with Pellet-2.0.0-rc3, HermiT-0.9.2, and FaCT++-1.2.1.
Test | Pellet | HermiT | FaCT++ |
---|---|---|---|
WebOnt-I5.26-001 (c) | PASS | PASS | PASS |
WebOnt-I5.26-002 (c) | PASS | PASS | PASS |
WebOnt-I5.26-003 (c) | PASS | PASS | PASS |
WebOnt-I5.26-004 (c) | PASS | PASS | PASS |
WebOnt-I5.26-005 (c) | PASS | PASS | PASS |