OWL Test Results (Semi-Official Semi-Static View)

Primary version lives at http://www.w3.org/2003/08/owl-systems/test-results-out

about this document

Testold-surniaSurnia
AllDifferent-001 Med L XXLPassPass
FunctionalProperty-001 Med L XXLPassPass
FunctionalProperty-002 Med L XXLPassPass
FunctionalProperty-003 Med L XXLPassPass
FunctionalProperty-004 Med L XXLPassPass
I4.6-003 Med L XXLIncompleteIncomplete
I5.1-001 Med L XXLIncompleteIncomplete
I5.2-002 Med L XXLIncompleteIncomplete
I5.24-001 Med L XXLIncompleteIncomplete
I5.24-004 Med L XXLIncompleteIncomplete
I5.5-003 Med L XXLPassPass
I5.5-004 Med L XXLPassPass
InverseFunctionalProperty-001 Med L XXLPassPass
InverseFunctionalProperty-002 Med L XXLPassPass
InverseFunctionalProperty-003 Med L XXLPassPass
InverseFunctionalProperty-004 Med L XXLPassPass
SymmetricProperty-001 Med L XXLPassPass
TransitiveProperty-001 Med L XXLPassPass
allValuesFrom-001 Med L XXLIncompleteIncomplete
allValuesFrom-002 Med L XXLIncompleteIncomplete
cardinality-001 Med L XXLPassPass
cardinality-002 Med L XXLPassPass
cardinality-003 Med L XXLPassPass
cardinality-004 Med L XXLIncompleteIncomplete
complementOf-001 Med L XXLIncompleteIncomplete
description-logic-001 Med L XXLIncompleteIncomplete
description-logic-002 Med L XXLIncompleteIncomplete
description-logic-003 Med L XXLIncompleteIncomplete
description-logic-004 Med L XXLIncompleteIncomplete
description-logic-007 Med L XXLIncompleteIncomplete
description-logic-008 Med L XXLIncompleteIncomplete
description-logic-010 Med L XXLIncompleteIncomplete
description-logic-011 Med L XXLIncompleteIncomplete
description-logic-012 Med L XXLIncompleteIncomplete
description-logic-013 Med L XXLIncompleteIncomplete
description-logic-014 Med L XXLIncompleteIncomplete
description-logic-015 Med L XXLIncompleteIncomplete
description-logic-017 Med L XXLIncompleteIncomplete
description-logic-019 Med L XXLIncompleteIncomplete
description-logic-022 Med L XXLIncompleteIncomplete
description-logic-023 Med L XXLIncompleteIncomplete
description-logic-026 Med L XXLIncompleteIncomplete
description-logic-027 Med L XXLIncompleteIncomplete
description-logic-029 Med L XXLIncompleteIncomplete
description-logic-030 Med L XXLIncompleteIncomplete
description-logic-032 Med L XXLIncompleteIncomplete
description-logic-033 Med L XXLIncompleteIncomplete
description-logic-101 Med L XXLIncompleteIncomplete
description-logic-102 Med L XXLIncompleteIncomplete
description-logic-103 Med L XXLIncompleteIncomplete
description-logic-104 Med L XXLIncompleteIncomplete
description-logic-105 Med L XXLIncompleteIncomplete
description-logic-106 Med L XXLIncompleteIncomplete
description-logic-107 Med L XXLIncompleteIncomplete
description-logic-108 Med L XXLIncompleteIncomplete
description-logic-109 Med L XXLIncompleteIncomplete
description-logic-110 Med L XXLIncompleteIncomplete
description-logic-111 Med L XXLIncompleteIncomplete
description-logic-602 Med L XXLIncompleteIncomplete
description-logic-603 Med L XXLIncompleteIncomplete
description-logic-604 Med L XXLIncompleteIncomplete
description-logic-608 Med L XXLIncompleteIncomplete
description-logic-610 Med L XXLIncompleteIncomplete
description-logic-611 Med L XXLIncompleteIncomplete
description-logic-612 Med L XXLIncompleteIncomplete
description-logic-613 Med L XXLIncompleteIncomplete
description-logic-614 Med L XXLIncompleteIncomplete
description-logic-615 Med L XXLIncompleteIncomplete
description-logic-617 Med L XXLIncompleteIncomplete
description-logic-623 Med L XXLIncompleteIncomplete
description-logic-626 Med L XXLIncompleteIncomplete
description-logic-627 Med L XXLIncompleteIncomplete
description-logic-629 Med L XXLIncompleteIncomplete
description-logic-630 Med L XXLIncompleteIncomplete
description-logic-632 Med L XXLIncompleteIncomplete
description-logic-633 Med L XXLIncompleteIncomplete
description-logic-641 Med L XXLIncompleteIncomplete
description-logic-642 Med L XXLIncompleteIncomplete
description-logic-643 Med L XXLIncompleteIncomplete
description-logic-901 Med L XXLIncompleteIncomplete
description-logic-902 Med L XXLIncompleteIncomplete
differentFrom-001 Med L XXLPassPass
differentFrom-002 Med L XXLIncompleteIncomplete
disjointWith-001 Med L XXLIncompleteIncomplete
disjointWith-002 Med L XXLIncompleteIncomplete
distinctMembers-001 Med L XXLIncompleteIncomplete
equivalentClass-001 Med L XXLIncompleteIncomplete
equivalentClass-002 Med L XXLIncompleteIncomplete
equivalentClass-003 Med L XXLPassPass
equivalentClass-004 Med L XXLIncompleteIncomplete
equivalentClass-005 Med L XXLIncompleteIncomplete
equivalentClass-006 Med L XXLIncompleteIncomplete
equivalentProperty-001 Med L XXLPassPass
equivalentProperty-002 Med L XXLPassPass
equivalentProperty-003 Med L XXLPassPass
equivalentProperty-004 Med L XXLIncompleteIncomplete
equivalentProperty-005 Med L XXLIncompleteIncomplete
equivalentProperty-006 Med L XXLPassPass
imports-002 Med L XXLIncompleteIncomplete
intersectionOf-001 Med L XXLIncompleteIncomplete
inverseOf-001 Med L XXLPassPass
maxCardinality-001 Med L XXLPassPass
maxCardinality-002 Med L XXLIncompleteIncomplete
oneOf-002 Med L XXLIncompletePass
oneOf-003 Med L XXLPassPass
someValuesFrom-002 Med L XXLIncompleteIncomplete
unionOf-001 Med L XXLPassPass
unionOf-002 Med L XXLIncompleteIncomplete

Tested Systems

System 1: old-surnia

This is a placeholder, really, to illustrate that the page can display multiple systems. Since the system is identified with a BNode, multiple inclusions of http://www.w3.org/2003/08/surnia/test-results/00010/results.rdf result in multiple columns.

System 2: Surnia

Surnia is an OWL Full reasoner using Python (including rdflib) for language translation, OTTER for inference, and custom axioms. Project homepage is http://www.w3.org/2003/08/surnia.

About This Document

There's not much real data here yet. If you have some, see if it works here, then send sandro@w3.org a pointer, cc public-webont-comments@w3.org.

This is generated from RDF by some python code.

Current Source URIs (one per line):

Generated Thu, 04 Sep 2003 19:39:55 +0000

$Id: res20030904.html,v 1.1 2004/01/05 14:53:30 sandro Exp $

sandro@w3.org