Test Queue

From OWL
Revision as of 18:02, 7 January 2009 by MikeSmith (Talk | contribs)

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

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-001 (i) PASS PASS PASS
WebOnt-description-logic-002 (i) PASS PASS PASS
WebOnt-description-logic-003 (i) PASS PASS FAIL
WebOnt-description-logic-004 (i) PASS PASS PASS
WebOnt-description-logic-005 (c) PASS PASS PASS
WebOnt-description-logic-006 (c) PASS PASS PASS
WebOnt-description-logic-007 (i) PASS PASS PASS
WebOnt-description-logic-008 (i) PASS PASS PASS
WebOnt-description-logic-009 (c) PASS PASS PASS
WebOnt-description-logic-010 (i) PASS PASS PASS
WebOnt-description-logic-011 (i) PASS PASS PASS
WebOnt-description-logic-012 (i) PASS PASS PASS
WebOnt-description-logic-013 (i) PASS PASS FAIL
WebOnt-description-logic-014 (i) PASS PASS PASS
WebOnt-description-logic-015 (i) PASS PASS PASS
WebOnt-description-logic-016 (c) PASS PASS PASS
WebOnt-description-logic-017 (i) PASS PASS FAIL
WebOnt-description-logic-018 (c) PASS PASS PASS
WebOnt-description-logic-019 (i) PASS PASS PASS
WebOnt-description-logic-020 (c) PASS PASS PASS
WebOnt-description-logic-021 (c) PASS PASS PASS
WebOnt-description-logic-022 (i) PASS PASS PASS
WebOnt-description-logic-023 (i) PASS PASS PASS
WebOnt-description-logic-024 (c) PASS PASS PASS
WebOnt-description-logic-025 (c) PASS PASS PASS
WebOnt-description-logic-026 (i) PASS PASS PASS
WebOnt-description-logic-027 (i) PASS PASS PASS
WebOnt-description-logic-028 (c) PASS PASS PASS
WebOnt-description-logic-029 (i) PASS PASS PASS
WebOnt-description-logic-030 (i) PASS PASS PASS
WebOnt-description-logic-031 (c) PASS PASS PASS
WebOnt-description-logic-032 (i) PASS PASS PASS
WebOnt-description-logic-033 (i) PASS PASS PASS
WebOnt-description-logic-034 (c) PASS PASS PASS
WebOnt-description-logic-035 (i) PASS PASS PASS
WebOnt-description-logic-040 (i) PASS PASS PASS

Tests Proposed 2009-01-05 (Description Logic Tests)

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-101 (i) PASS PASS PASS
WebOnt-description-logic-102 (i) PASS PASS PASS
WebOnt-description-logic-103 (i) PASS PASS PASS
WebOnt-description-logic-104 (i) PASS PASS PASS
WebOnt-description-logic-105 (i) PASS PASS PASS
WebOnt-description-logic-106 (i) PASS PASS PASS
WebOnt-description-logic-107 (i) PASS PASS PASS
WebOnt-description-logic-108 (i) PASS PASS PASS
WebOnt-description-logic-109 (i) PASS PASS PASS
WebOnt-description-logic-110 (i) PASS PASS PASS
WebOnt-description-logic-111 (i) PASS PASS PASS
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-501 (c) PASS PASS PASS
WebOnt-description-logic-502 (i) PASS PASS PASS
WebOnt-description-logic-503 (c) PASS PASS PASS
WebOnt-description-logic-504 (i) PASS PASS PASS
WebOnt-description-logic-601 (i) PASS FAIL PASS
WebOnt-description-logic-602 (i) PASS PASS PASS
WebOnt-description-logic-603 (i) PASS PASS PASS
WebOnt-description-logic-604 (i) PASS PASS PASS
WebOnt-description-logic-605 (c) PASS PASS PASS
WebOnt-description-logic-606 (c) PASS PASS PASS
WebOnt-description-logic-608 (i) PASS PASS PASS
WebOnt-description-logic-609 (c) PASS PASS PASS
WebOnt-description-logic-610 (i) PASS PASS PASS
WebOnt-description-logic-611 (i) PASS PASS PASS
WebOnt-description-logic-612 (i) PASS PASS PASS
WebOnt-description-logic-613 (i) PASS PASS FAIL
WebOnt-description-logic-614 (i) PASS PASS PASS
WebOnt-description-logic-615 (i) PASS PASS PASS
WebOnt-description-logic-616 (c) PASS PASS PASS
WebOnt-description-logic-617 (i) PASS PASS PASS
WebOnt-description-logic-623 (i) PASS PASS PASS
WebOnt-description-logic-624 (c) PASS PASS PASS
WebOnt-description-logic-625 (c) PASS PASS PASS
WebOnt-description-logic-626 (i) PASS PASS PASS
WebOnt-description-logic-627 (i) PASS PASS PASS
WebOnt-description-logic-628 (c) PASS PASS PASS
WebOnt-description-logic-629 (i) PASS PASS PASS
WebOnt-description-logic-630 (i) PASS PASS PASS
WebOnt-description-logic-631 (c) PASS PASS PASS
WebOnt-description-logic-632 (i) PASS PASS PASS
WebOnt-description-logic-633 (i) PASS PASS PASS
WebOnt-description-logic-634 (c) PASS PASS PASS
WebOnt-description-logic-641 (i) PASS PASS PASS
WebOnt-description-logic-642 (i) PASS PASS PASS
WebOnt-description-logic-643 (i) PASS PASS PASS
WebOnt-description-logic-644 (i) PASS PASS PASS
WebOnt-description-logic-646 (i) PASS PASS PASS
WebOnt-description-logic-650 (i) PASS PASS PASS
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-901 (e) PASS PASS 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-908 (c) PASS PASS PASS
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)

Many of the tests above satisfy the constraints of DL. For those 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-I4.5-001 (e) PASS PASS PASS
WebOnt-I4.5-002 (i) PASS PASS PASS
WebOnt-I5.2-001 (c) PASS PASS PASS
WebOnt-I5.2-002 (e) PASS PASS PASS
WebOnt-I5.2-003 (c) PASS PASS PASS
WebOnt-I5.2-004 (e) PASS PASS PASS
WebOnt-I5.2-005 (c) PASS PASS PASS
WebOnt-I5.2-006 (e) PASS PASS 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.26-009 (e) PASS PASS PASS
WebOnt-I5.3-006 (c) PASS PASS PASS
WebOnt-I5.3-011 (c) PASS PASS 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-011 (e) PASS PASS PASS
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)