Test Queue

From OWL
Jump to: navigation, search

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

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.

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