Index of /ont/tests/ConsVISorOWLTestResults
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
AnnotationProperty-c..> 22-Nov-2003 16:39 2.3K
AnnotationProperty-c..> 22-Nov-2003 16:39 2.3K
![[ ]](/icons/unknown.gif)
ConsVISor-Results.rdf 25-Nov-2003 11:25 67K
ConsVISor2-Results.rdf 01-Dec-2003 13:28 68K
DatatypeProperty-con..> 22-Nov-2003 16:39 2.3K
I3.2-bad001-Lite.html 22-Nov-2003 16:40 9.3K
I3.2-bad002-Lite.html 22-Nov-2003 16:40 9.3K
I3.2-bad003-Lite.html 22-Nov-2003 16:40 9.3K
I3.4-bad001-Lite.html 22-Nov-2003 16:40 3.8K
I4.1-bad001-Lite.html 22-Nov-2003 16:40 3.8K
I4.5-inconsistent002..> 22-Nov-2003 16:40 3.7K
I4.6-bad006-Lite.html 22-Nov-2003 16:40 2.2K
I4.6-bad007-Lite.html 22-Nov-2003 16:40 2.2K
I4.6-bad008-Lite.html 22-Nov-2003 16:40 2.2K
I5.1-consistent010-F..> 22-Nov-2003 16:40 4.0K
I5.2-consistent001-L..> 22-Nov-2003 16:40 2.2K
I5.2-consistent003-L..> 22-Nov-2003 16:40 2.2K
I5.2-consistent005-D..> 22-Nov-2003 16:40 2.2K
I5.2-consistent010-L..> 22-Nov-2003 16:40 2.2K
I5.2-consistent011-L..> 22-Nov-2003 16:40 2.2K
I5.21-bad001-Lite.html 22-Nov-2003 16:40 3.6K
I5.26-consistent001-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent002-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent003-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent004-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent005-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent006-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent007-..> 22-Nov-2003 16:40 2.2K
I5.26-consistent008-..> 22-Nov-2003 16:40 2.2K
I5.3-consistent005-F..> 22-Nov-2003 16:40 3.5K
I5.3-consistent006-L..> 22-Nov-2003 16:40 2.2K
I5.3-consistent007-F..> 22-Nov-2003 16:40 3.5K
I5.3-consistent008-L..> 22-Nov-2003 16:40 2.2K
I5.3-consistent009-F..> 22-Nov-2003 16:40 2.2K
I5.3-consistent010-F..> 22-Nov-2003 16:40 2.2K
I5.3-consistent011-L..> 22-Nov-2003 16:40 2.2K
I5.5-inconsistent003..> 22-Nov-2003 16:40 7.1K
I5.5-inconsistent004..> 22-Nov-2003 16:40 3.3K
I5.8-consistent002-D..> 22-Nov-2003 16:40 4.0K
I5.8-consistent012-D..> 22-Nov-2003 16:40 4.0K
I5.8-consistent013-L..> 22-Nov-2003 16:40 3.5K
I5.8-consistent014-F..> 22-Nov-2003 16:40 3.7K
I5.8-consistent015-L..> 22-Nov-2003 16:41 4.7K
I5.8-consistent016-F..> 22-Nov-2003 16:41 3.7K
I5.8-inconsistent001..> 22-Nov-2003 16:41 4.0K
I5.8-inconsistent003..> 22-Nov-2003 16:41 4.0K
I6.1-consistent001-F..> 22-Nov-2003 16:41 2.2K
Nothing-inconsistent..> 22-Nov-2003 16:41 3.4K
Restriction-consiste..> 22-Nov-2003 16:41 2.3K
Restriction-consiste..> 22-Nov-2003 16:41 2.3K
Restriction-inconsis..> 22-Nov-2003 16:41 4.4K
Restriction-inconsis..> 22-Nov-2003 16:41 19K
Results.rdf 02-Dec-2003 11:39 68K
Thing-consistent001-..> 22-Nov-2003 16:41 2.2K
Thing-consistent004-..> 22-Nov-2003 16:41 6.4K
Thing-inconsistent00..> 22-Nov-2003 16:41 8.7K
Thing-inconsistent00..> 22-Nov-2003 16:41 2.3K
Thing-inconsistent00..> 22-Nov-2003 16:41 17K
backwardCompatibleWi..> 22-Nov-2003 16:39 3.5K
backwardCompatibleWi..> 22-Nov-2003 16:39 5.0K
description-logic-co..> 22-Nov-2003 16:39 6.5K
description-logic-co..> 22-Nov-2003 16:39 8.3K
description-logic-co..> 22-Nov-2003 16:39 6.5K
description-logic-co..> 22-Nov-2003 16:39 6.5K
description-logic-co..> 22-Nov-2003 16:39 8.7K
description-logic-co..> 22-Nov-2003 16:39 11K
description-logic-co..> 22-Nov-2003 16:39 17K
description-logic-co..> 22-Nov-2003 16:39 8.7K
description-logic-co..> 22-Nov-2003 16:39 8.7K
description-logic-co..> 22-Nov-2003 16:39 12K
description-logic-co..> 22-Nov-2003 16:39 12K
description-logic-co..> 22-Nov-2003 16:39 11K
description-logic-co..> 22-Nov-2003 16:39 2.3K
description-logic-co..> 22-Nov-2003 16:39 3.6K
description-logic-co..> 22-Nov-2003 16:39 51K
description-logic-co..> 22-Nov-2003 16:39 31K
description-logic-co..> 22-Nov-2003 16:39 13K
description-logic-co..> 22-Nov-2003 16:39 13K
description-logic-co..> 22-Nov-2003 16:39 15K
description-logic-co..> 22-Nov-2003 16:39 15K
description-logic-co..> 22-Nov-2003 16:39 21K
description-logic-co..> 22-Nov-2003 16:39 21K
description-logic-co..> 22-Nov-2003 16:39 14K
description-logic-co..> 22-Nov-2003 16:39 3.8K
description-logic-co..> 22-Nov-2003 16:39 3.8K
description-logic-co..> 22-Nov-2003 16:39 3.8K
description-logic-co..> 22-Nov-2003 16:39 6.8K
description-logic-in..> 22-Nov-2003 16:39 3.6K
description-logic-in..> 22-Nov-2003 16:39 3.7K
description-logic-in..> 22-Nov-2003 16:39 16K
description-logic-in..> 22-Nov-2003 16:39 12K
description-logic-in..> 22-Nov-2003 16:39 10K
description-logic-in..> 22-Nov-2003 16:39 11K
description-logic-in..> 22-Nov-2003 16:39 14K
description-logic-in..> 22-Nov-2003 16:39 10K
description-logic-in..> 22-Nov-2003 16:39 16K
description-logic-in..> 22-Nov-2003 16:39 18K
description-logic-in..> 22-Nov-2003 16:39 12K
description-logic-in..> 22-Nov-2003 16:39 14K
description-logic-in..> 22-Nov-2003 16:39 17K
description-logic-in..> 22-Nov-2003 16:39 13K
description-logic-in..> 22-Nov-2003 16:39 15K
description-logic-in..> 22-Nov-2003 16:39 30K
description-logic-in..> 22-Nov-2003 16:39 6.6K
description-logic-in..> 22-Nov-2003 16:39 6.6K
description-logic-in..> 22-Nov-2003 16:39 12K
description-logic-in..> 22-Nov-2003 16:39 13K
description-logic-in..> 22-Nov-2003 16:39 12K
description-logic-in..> 22-Nov-2003 16:39 13K
description-logic-in..> 22-Nov-2003 16:39 4.4K
description-logic-in..> 22-Nov-2003 16:39 7.8K
description-logic-in..> 22-Nov-2003 16:39 3.7K
description-logic-in..> 22-Nov-2003 16:40 8.0K
description-logic-in..> 22-Nov-2003 16:40 3.7K
description-logic-in..> 22-Nov-2003 16:40 3.7K
description-logic-in..> 22-Nov-2003 16:40 11K
description-logic-in..> 22-Nov-2003 16:40 11K
description-logic-in..> 22-Nov-2003 16:40 8.0K
description-logic-in..> 22-Nov-2003 16:40 15K
description-logic-in..> 22-Nov-2003 16:40 58K
description-logic-in..> 22-Nov-2003 16:40 10K
description-logic-in..> 22-Nov-2003 16:40 13K
description-logic-in..> 22-Nov-2003 16:40 2.3K
description-logic-in..> 22-Nov-2003 16:40 3.6K
description-logic-in..> 22-Nov-2003 16:40 21K
description-logic-in..> 22-Nov-2003 16:40 14K
description-logic-in..> 22-Nov-2003 16:40 17K
description-logic-in..> 22-Nov-2003 16:40 9.9K
description-logic-in..> 22-Nov-2003 16:40 19K
description-logic-in..> 22-Nov-2003 16:40 24K
description-logic-in..> 22-Nov-2003 16:40 20K
description-logic-in..> 22-Nov-2003 16:40 17K
description-logic-in..> 22-Nov-2003 16:40 36K
description-logic-in..> 22-Nov-2003 16:40 22K
description-logic-in..> 22-Nov-2003 16:40 27K
description-logic-in..> 22-Nov-2003 16:40 35K
description-logic-in..> 22-Nov-2003 16:40 8.7K
description-logic-in..> 22-Nov-2003 16:40 6.6K
description-logic-in..> 22-Nov-2003 16:40 6.6K
description-logic-in..> 22-Nov-2003 16:40 26K
description-logic-in..> 22-Nov-2003 16:40 28K
description-logic-in..> 22-Nov-2003 16:40 26K
description-logic-in..> 22-Nov-2003 16:40 27K
description-logic-in..> 22-Nov-2003 16:40 17K
description-logic-in..> 22-Nov-2003 16:40 21K
description-logic-in..> 22-Nov-2003 16:40 17K
description-logic-in..> 22-Nov-2003 16:40 16K
description-logic-in..> 22-Nov-2003 16:40 26K
description-logic-in..> 22-Nov-2003 16:40 24K
description-logic-in..> 22-Nov-2003 16:40 13K
description-logic-in..> 22-Nov-2003 16:40 3.8K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-consist..> 22-Nov-2003 16:40 2.3K
disjointWith-inconsi..> 22-Nov-2003 16:40 5.3K
equivalentClass-cons..> 22-Nov-2003 16:40 2.3K
imports-consistent01..> 22-Nov-2003 16:41 2.3K
maxCardinality-incon..> 22-Nov-2003 16:41 4.0K
maxCardinality-incon..> 22-Nov-2003 16:41 5.3K
miscellaneous-consis..> 22-Nov-2003 16:41 435K
miscellaneous-consis..> 22-Nov-2003 16:41 441K
miscellaneous-consis..> 22-Nov-2003 16:41 8.0K
miscellaneous-consis..> 22-Nov-2003 16:41 6.5K
miscellaneous-consis..> 22-Nov-2003 16:41 4.3K
miscellaneous-consis..> 22-Nov-2003 16:41 11K
miscellaneous-consis..> 22-Nov-2003 16:41 2.3K
miscellaneous-consis..> 22-Nov-2003 16:41 5.9K
miscellaneous-consis..> 22-Nov-2003 16:41 2.3K
miscellaneous-incons..> 22-Nov-2003 16:41 6.4K
miscellaneous-incons..> 22-Nov-2003 16:41 5.9K
oneOf-consistent001-..> 22-Nov-2003 16:41 6.2K