Index of /ont/tests/NewResults
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
AnnotationProperty-c..> 02-Dec-2003 13:00 2.1K
AnnotationProperty-c..> 02-Dec-2003 13:01 2.1K
![[ ]](/icons/unknown.gif)
ConsVISor-Results.rdf 02-Dec-2003 13:03 65K
ConsVISor-Results2.rdf 03-Dec-2003 09:02 68K
DatatypeProperty-con..> 02-Dec-2003 13:01 2.1K
I3.2-bad001-Lite.html 02-Dec-2003 13:02 9.2K
I3.2-bad002-Lite.html 02-Dec-2003 13:02 9.2K
I3.2-bad003-Lite.html 02-Dec-2003 13:02 9.2K
I3.4-bad001-Lite.html 02-Dec-2003 13:02 3.7K
I4.1-bad001-Lite.html 02-Dec-2003 13:02 3.7K
I4.5-inconsistent002..> 02-Dec-2003 13:02 3.5K
I4.6-bad006-Lite.html 02-Dec-2003 13:02 2.0K
I4.6-bad007-Lite.html 02-Dec-2003 13:02 2.0K
I4.6-bad008-Lite.html 02-Dec-2003 13:02 2.0K
I5.1-consistent010-F..> 02-Dec-2003 13:02 9.0K
I5.2-consistent001-L..> 02-Dec-2003 13:02 2.1K
I5.2-consistent003-L..> 02-Dec-2003 13:02 2.1K
I5.2-consistent005-D..> 02-Dec-2003 13:02 2.1K
I5.2-consistent010-L..> 02-Dec-2003 13:02 2.1K
I5.2-consistent011-L..> 02-Dec-2003 13:02 2.1K
I5.21-bad001-Lite.html 02-Dec-2003 13:02 3.4K
I5.26-consistent001-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent002-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent003-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent004-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent005-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent006-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent007-..> 02-Dec-2003 13:02 2.1K
I5.26-consistent008-..> 02-Dec-2003 13:02 2.1K
I5.3-consistent005-F..> 02-Dec-2003 13:02 3.4K
I5.3-consistent006-L..> 02-Dec-2003 13:02 2.1K
I5.3-consistent007-F..> 02-Dec-2003 13:02 3.4K
I5.3-consistent008-L..> 02-Dec-2003 13:02 2.1K
I5.3-consistent009-F..> 02-Dec-2003 13:02 2.1K
I5.3-consistent010-F..> 02-Dec-2003 13:02 2.1K
I5.3-consistent011-L..> 02-Dec-2003 13:02 2.1K
I5.5-inconsistent003..> 02-Dec-2003 13:02 6.9K
I5.5-inconsistent004..> 02-Dec-2003 13:02 3.1K
I5.8-consistent002-D..> 02-Dec-2003 13:02 5.3K
I5.8-consistent012-D..> 02-Dec-2003 13:02 6.8K
I5.8-consistent013-L..> 02-Dec-2003 13:02 3.3K
I5.8-consistent014-F..> 02-Dec-2003 13:02 3.5K
I5.8-consistent015-L..> 02-Dec-2003 13:02 4.5K
I5.8-consistent016-F..> 02-Dec-2003 13:02 3.5K
I5.8-inconsistent001..> 02-Dec-2003 13:02 6.6K
I5.8-inconsistent003..> 02-Dec-2003 13:02 6.8K
I6.1-consistent001-F..> 02-Dec-2003 13:02 2.1K
Nothing-inconsistent..> 02-Dec-2003 13:03 3.2K
Restriction-consiste..> 02-Dec-2003 13:03 2.1K
Restriction-consiste..> 02-Dec-2003 13:03 2.1K
Restriction-inconsis..> 02-Dec-2003 13:03 4.2K
Restriction-inconsis..> 02-Dec-2003 13:03 19K
Thing-consistent001-..> 02-Dec-2003 13:03 2.1K
Thing-consistent004-..> 02-Dec-2003 13:03 6.2K
Thing-inconsistent00..> 02-Dec-2003 13:03 8.5K
Thing-inconsistent00..> 02-Dec-2003 13:03 2.1K
Thing-inconsistent00..> 02-Dec-2003 13:03 17K
backwardCompatibleWi..> 02-Dec-2003 13:01 3.3K
backwardCompatibleWi..> 02-Dec-2003 13:01 4.9K
description-logic-co..> 02-Dec-2003 13:01 6.4K
description-logic-co..> 02-Dec-2003 13:01 8.2K
description-logic-co..> 02-Dec-2003 13:01 6.4K
description-logic-co..> 02-Dec-2003 13:01 6.3K
description-logic-co..> 02-Dec-2003 13:01 8.5K
description-logic-co..> 02-Dec-2003 13:01 11K
description-logic-co..> 02-Dec-2003 13:01 13K
description-logic-co..> 02-Dec-2003 13:01 8.5K
description-logic-co..> 02-Dec-2003 13:01 8.5K
description-logic-co..> 02-Dec-2003 13:01 12K
description-logic-co..> 02-Dec-2003 13:01 12K
description-logic-co..> 02-Dec-2003 13:01 11K
description-logic-co..> 02-Dec-2003 13:01 2.1K
description-logic-co..> 02-Dec-2003 13:01 3.4K
description-logic-co..> 02-Dec-2003 13:01 51K
description-logic-co..> 02-Dec-2003 13:01 31K
description-logic-co..> 02-Dec-2003 13:01 13K
description-logic-co..> 02-Dec-2003 13:01 13K
description-logic-co..> 02-Dec-2003 13:01 15K
description-logic-co..> 02-Dec-2003 13:01 12K
description-logic-co..> 02-Dec-2003 13:01 20K
description-logic-co..> 02-Dec-2003 13:01 20K
description-logic-co..> 02-Dec-2003 13:01 14K
description-logic-co..> 02-Dec-2003 13:01 19K
description-logic-co..> 02-Dec-2003 13:01 13K
description-logic-co..> 02-Dec-2003 13:01 18K
description-logic-co..> 02-Dec-2003 13:01 6.7K
description-logic-in..> 02-Dec-2003 13:01 3.4K
description-logic-in..> 02-Dec-2003 13:01 3.6K
description-logic-in..> 02-Dec-2003 13:01 16K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 10K
description-logic-in..> 02-Dec-2003 13:01 11K
description-logic-in..> 02-Dec-2003 13:01 14K
description-logic-in..> 02-Dec-2003 13:01 10K
description-logic-in..> 02-Dec-2003 13:01 16K
description-logic-in..> 02-Dec-2003 13:01 18K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 14K
description-logic-in..> 02-Dec-2003 13:01 17K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 15K
description-logic-in..> 02-Dec-2003 13:01 30K
description-logic-in..> 02-Dec-2003 13:01 6.4K
description-logic-in..> 02-Dec-2003 13:01 6.4K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 13K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 13K
description-logic-in..> 02-Dec-2003 13:01 4.2K
description-logic-in..> 02-Dec-2003 13:01 7.7K
description-logic-in..> 02-Dec-2003 13:01 3.6K
description-logic-in..> 02-Dec-2003 13:01 7.9K
description-logic-in..> 02-Dec-2003 13:01 3.6K
description-logic-in..> 02-Dec-2003 13:01 3.6K
description-logic-in..> 02-Dec-2003 13:01 7.5K
description-logic-in..> 02-Dec-2003 13:01 11K
description-logic-in..> 02-Dec-2003 13:01 7.8K
description-logic-in..> 02-Dec-2003 13:01 15K
description-logic-in..> 02-Dec-2003 13:01 15K
description-logic-in..> 02-Dec-2003 13:01 9.8K
description-logic-in..> 02-Dec-2003 13:01 13K
description-logic-in..> 02-Dec-2003 13:01 2.1K
description-logic-in..> 02-Dec-2003 13:01 3.4K
description-logic-in..> 02-Dec-2003 13:01 21K
description-logic-in..> 02-Dec-2003 13:01 14K
description-logic-in..> 02-Dec-2003 13:01 16K
description-logic-in..> 02-Dec-2003 13:01 9.8K
description-logic-in..> 02-Dec-2003 13:01 17K
description-logic-in..> 02-Dec-2003 13:01 12K
description-logic-in..> 02-Dec-2003 13:01 20K
description-logic-in..> 02-Dec-2003 13:01 34K
description-logic-in..> 02-Dec-2003 13:01 36K
description-logic-in..> 02-Dec-2003 13:01 9.7K
description-logic-in..> 02-Dec-2003 13:01 27K
description-logic-in..> 02-Dec-2003 13:01 35K
description-logic-in..> 02-Dec-2003 13:01 24K
description-logic-in..> 02-Dec-2003 13:01 6.4K
description-logic-in..> 02-Dec-2003 13:01 6.4K
description-logic-in..> 02-Dec-2003 13:01 26K
description-logic-in..> 02-Dec-2003 13:01 28K
description-logic-in..> 02-Dec-2003 13:01 26K
description-logic-in..> 02-Dec-2003 13:01 27K
description-logic-in..> 02-Dec-2003 13:01 17K
description-logic-in..> 02-Dec-2003 13:01 21K
description-logic-in..> 02-Dec-2003 13:01 17K
description-logic-in..> 02-Dec-2003 13:01 15K
description-logic-in..> 02-Dec-2003 13:02 25K
description-logic-in..> 02-Dec-2003 13:02 24K
description-logic-in..> 02-Dec-2003 13:02 12K
description-logic-in..> 02-Dec-2003 13:02 49K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-consist..> 02-Dec-2003 13:02 2.1K
disjointWith-inconsi..> 02-Dec-2003 13:02 5.1K
equivalentClass-cons..> 02-Dec-2003 13:02 2.1K
imports-consistent01..> 02-Dec-2003 13:02 2.1K
maxCardinality-incon..> 02-Dec-2003 13:02 3.9K
maxCardinality-incon..> 02-Dec-2003 13:02 5.2K
miscellaneous-consis..> 02-Dec-2003 13:02 431K
miscellaneous-consis..> 02-Dec-2003 13:02 575K
miscellaneous-consis..> 02-Dec-2003 13:02 7.8K
miscellaneous-consis..> 02-Dec-2003 13:02 6.3K
miscellaneous-consis..> 02-Dec-2003 13:02 4.2K
miscellaneous-consis..> 02-Dec-2003 13:02 11K
miscellaneous-consis..> 02-Dec-2003 13:02 2.1K
miscellaneous-consis..> 02-Dec-2003 13:02 5.7K
miscellaneous-consis..> 02-Dec-2003 13:02 2.1K
miscellaneous-incons..> 02-Dec-2003 13:02 6.2K
miscellaneous-incons..> 02-Dec-2003 13:02 5.7K
oneOf-consistent001-..> 02-Dec-2003 13:03 6.0K