User:MikeSmith

From OWL

Contents 1 Introduction 2 Links 3 Test Cases 3.1 WebOnt 3.1.1 Features 3.1.2 Issues 3.1.3 Miscellaneous 3.1.4 Description Logic 3.1.5 Extra Credit

[edit] Introduction

I am an engineer with Clark & Parsia LLC, focused on the development and support of Pellet and related software (e.g., OwlSight). C&P and I are interested in the application of OWL to large scale government and commercial problems, with a particular interest in solutions that leverage reasoning services.

I am participating in the WG as an implementer and intend to keep Pellet and related software in alignment with WG documents. As such, I have particular interest in a useful, complete test cases document and anticipate contributing to and/or editing that document. Further, as an implementer, I am interested in useful, well-defined fragments for which reasoning can be heavily optimized.

[edit] Links

DLP As Horn Rules

[edit] Test Cases

Test Document

[edit] WebOnt

All tests from http://www.w3.org/TR/owl-test/

[edit] Features

• TestCase:WebOnt-AllDifferent-001
• TestCase:WebOnt-AnnotationProperty-001
• TestCase:WebOnt-AnnotationProperty-002
• TestCase:WebOnt-AnnotationProperty-003
• TestCase:WebOnt-AnnotationProperty-004
• TestCase:WebOnt-Class-001
• TestCase:WebOnt-Class-002
• TestCase:WebOnt-Class-003
• TestCase:WebOnt-Class-004
• TestCase:WebOnt-Class-005
• TestCase:WebOnt-Class-006
• TestCase:WebOnt-DatatypeProperty-001
• TestCase:WebOnt-FunctionalProperty-001
• TestCase:WebOnt-FunctionalProperty-002
• TestCase:WebOnt-FunctionalProperty-003
• TestCase:WebOnt-FunctionalProperty-004
• TestCase:WebOnt-FunctionalProperty-005
• TestCase:WebOnt-InverseFunctionalProperty-001
• TestCase:WebOnt-InverseFunctionalProperty-002
• TestCase:WebOnt-InverseFunctionalProperty-003
• TestCase:WebOnt-InverseFunctionalProperty-004
• TestCase:WebOnt-Nothing-001
• TestCase:WebOnt-Nothing-002
• TestCase:WebOnt-Ontology-001
• TestCase:WebOnt-Ontology-003
• TestCase:WebOnt-Ontology-004
• TestCase:WebOnt-Restriction-001
• TestCase:WebOnt-Restriction-002
• TestCase:WebOnt-Restriction-003
• TestCase:WebOnt-Restriction-004
• TestCase:WebOnt-Restriction-005
• TestCase:WebOnt-Restriction-006
• TestCase:WebOnt-SymmetricProperty-001
• TestCase:WebOnt-SymmetricProperty-002
• TestCase:WebOnt-SymmetricProperty-003
• TestCase:WebOnt-Thing-003
• TestCase:WebOnt-Thing-004
• TestCase:WebOnt-Thing-005
• TestCase:WebOnt-TransitiveProperty-001
• TestCase:WebOnt-TransitiveProperty-002
• TestCase:WebOnt-allValuesFrom-001
• TestCase:WebOnt-allValuesFrom-002
• TestCase:WebOnt-backwardCompatibleWith-001
• TestCase:WebOnt-backwardCompatibleWith-002
• TestCase:WebOnt-cardinality-001
• TestCase:WebOnt-cardinality-002
• TestCase:WebOnt-cardinality-003
• TestCase:WebOnt-cardinality-004
• TestCase:WebOnt-cardinality-006
• TestCase:WebOnt-complementOf-001
• TestCase:WebOnt-differentFrom-001
• TestCase:WebOnt-differentFrom-002
• TestCase:WebOnt-disjointWith-001
• TestCase:WebOnt-disjointWith-002
• TestCase:WebOnt-disjointWith-003
• TestCase:WebOnt-disjointWith-004
• TestCase:WebOnt-disjointWith-005
• TestCase:WebOnt-disjointWith-006
• TestCase:WebOnt-disjointWith-007
• TestCase:WebOnt-disjointWith-008
• TestCase:WebOnt-disjointWith-009
• TestCase:WebOnt-disjointWith-010
• TestCase:WebOnt-distinctMembers-001
• TestCase:WebOnt-equivalentClass-001
• TestCase:WebOnt-equivalentClass-002
• TestCase:WebOnt-equivalentClass-003
• TestCase:WebOnt-equivalentClass-004
• TestCase:WebOnt-equivalentClass-005
• TestCase:WebOnt-equivalentClass-006
• TestCase:WebOnt-equivalentClass-007
• TestCase:WebOnt-equivalentClass-008
• TestCase:WebOnt-equivalentClass-009
• TestCase:WebOnt-equivalentProperty-001
• TestCase:WebOnt-equivalentProperty-002
• TestCase:WebOnt-equivalentProperty-003
• TestCase:WebOnt-equivalentProperty-004
• TestCase:WebOnt-equivalentProperty-005
• TestCase:WebOnt-equivalentProperty-006
• TestCase:WebOnt-imports-001
• TestCase:WebOnt-imports-002
• TestCase:WebOnt-imports-003
• TestCase:WebOnt-imports-004
• TestCase:WebOnt-imports-005
• TestCase:WebOnt-imports-006
• TestCase:WebOnt-imports-007
• TestCase:WebOnt-imports-008
• TestCase:WebOnt-imports-010
• TestCase:WebOnt-imports-011
• TestCase:WebOnt-imports-012
• TestCase:WebOnt-imports-013
• TestCase:WebOnt-imports-014
• TestCase:WebOnt-intersectionOf-001
• TestCase:WebOnt-inverseOf-001
• TestCase:WebOnt-maxCardinality-001
• TestCase:WebOnt-oneOf-001
• TestCase:WebOnt-oneOf-002
• TestCase:WebOnt-oneOf-003
• TestCase:WebOnt-oneOf-004
• TestCase:WebOnt-sameAs-001
• TestCase:WebOnt-someValuesFrom-001
• TestCase:WebOnt-someValuesFrom-002
• TestCase:WebOnt-someValuesFrom-003
• TestCase:WebOnt-unionOf-001
• TestCase:WebOnt-unionOf-002
• TestCase:WebOnt-unionOf-003
• TestCase:WebOnt-unionOf-004

[edit] Issues

• TestCase:WebOnt-I3.2-001
• TestCase:WebOnt-I3.2-002
• TestCase:WebOnt-I3.2-003

• TestCase:WebOnt-I3.4-001

• TestCase:WebOnt-I4.1-001

• TestCase:WebOnt-I4.5-001
• TestCase:WebOnt-I4.5-002

• TestCase:WebOnt-I4.6-003
• TestCase:WebOnt-I4.6-004
• TestCase:WebOnt-I4.6-005
• TestCase:WebOnt-I4.6-006
• TestCase:WebOnt-I4.6-007
• TestCase:WebOnt-I4.6-008

• TestCase:WebOnt-I5.1-001
• TestCase:WebOnt-I5.1-010

• TestCase:WebOnt-I5.2-001
• TestCase:WebOnt-I5.2-002
• TestCase:WebOnt-I5.2-003
• TestCase:WebOnt-I5.2-004
• TestCase:WebOnt-I5.2-005
• TestCase:WebOnt-I5.2-006
• TestCase:WebOnt-I5.2-010
• TestCase:WebOnt-I5.2-011

• TestCase:WebOnt-I5.21-001
• TestCase:WebOnt-I5.21-002

• TestCase:WebOnt-I5.24-001
• TestCase:WebOnt-I5.24-002
• TestCase:WebOnt-I5.24-003
• TestCase:WebOnt-I5.24-004

• TestCase:WebOnt-I5.26-001
• TestCase:WebOnt-I5.26-002
• TestCase:WebOnt-I5.26-003
• TestCase:WebOnt-I5.26-004
• TestCase:WebOnt-I5.26-005
• TestCase:WebOnt-I5.26-006
• TestCase:WebOnt-I5.26-007
• TestCase:WebOnt-I5.26-009
• TestCase:WebOnt-I5.26-010

• TestCase:WebOnt-I5.3-005
• TestCase:WebOnt-I5.3-006
• TestCase:WebOnt-I5.3-007
• TestCase:WebOnt-I5.3-008
• TestCase:WebOnt-I5.3-009
• TestCase:WebOnt-I5.3-010
• TestCase:WebOnt-I5.3-011
• TestCase:WebOnt-I5.3-014
• TestCase:WebOnt-I5.3-015

• TestCase:WebOnt-I5.5-001
• TestCase:WebOnt-I5.5-002
• TestCase:WebOnt-I5.5-003
• TestCase:WebOnt-I5.5-004
• TestCase:WebOnt-I5.5-005
• TestCase:WebOnt-I5.5-006
• TestCase:WebOnt-I5.5-007

• TestCase:WebOnt-I5.8-001
• TestCase:WebOnt-I5.8-002
• TestCase:WebOnt-I5.8-003
• TestCase:WebOnt-I5.8-004
• TestCase:WebOnt-I5.8-005
• TestCase:WebOnt-I5.8-006
• TestCase:WebOnt-I5.8-007
• TestCase:WebOnt-I5.8-008
• TestCase:WebOnt-I5.8-009
• TestCase:WebOnt-I5.8-010
• TestCase:WebOnt-I5.8-011
• TestCase:WebOnt-I5.8-012
• TestCase:WebOnt-I5.8-013
• TestCase:WebOnt-I5.8-014
• TestCase:WebOnt-I5.8-015
• TestCase:WebOnt-I5.8-016
• TestCase:WebOnt-I5.8-017

• TestCase:WebOnt-I6.1-001

[edit] Miscellaneous

• TestCase:WebOnt-miscellaneous-001
• TestCase:WebOnt-miscellaneous-002
• TestCase:WebOnt-miscellaneous-010
• TestCase:WebOnt-miscellaneous-011
• TestCase:WebOnt-miscellaneous-102
• TestCase:WebOnt-miscellaneous-103
• TestCase:WebOnt-miscellaneous-201
• TestCase:WebOnt-miscellaneous-202
• TestCase:WebOnt-miscellaneous-203
• TestCase:WebOnt-miscellaneous-204
• TestCase:WebOnt-miscellaneous-205
• TestCase:WebOnt-miscellaneous-301
• TestCase:WebOnt-miscellaneous-302
• TestCase:WebOnt-miscellaneous-303

[edit] Description Logic

• TestCase:WebOnt-description-logic-001
• TestCase:WebOnt-description-logic-002
• TestCase:WebOnt-description-logic-003
• TestCase:WebOnt-description-logic-004
• TestCase:WebOnt-description-logic-005
• TestCase:WebOnt-description-logic-006
• TestCase:WebOnt-description-logic-007
• TestCase:WebOnt-description-logic-008
• TestCase:WebOnt-description-logic-009
• TestCase:WebOnt-description-logic-010
• TestCase:WebOnt-description-logic-011
• TestCase:WebOnt-description-logic-012
• TestCase:WebOnt-description-logic-013
• TestCase:WebOnt-description-logic-014
• TestCase:WebOnt-description-logic-015
• TestCase:WebOnt-description-logic-016
• TestCase:WebOnt-description-logic-017
• TestCase:WebOnt-description-logic-018
• TestCase:WebOnt-description-logic-019
• TestCase:WebOnt-description-logic-020
• TestCase:WebOnt-description-logic-021
• TestCase:WebOnt-description-logic-022
• TestCase:WebOnt-description-logic-023
• TestCase:WebOnt-description-logic-024
• TestCase:WebOnt-description-logic-025
• TestCase:WebOnt-description-logic-026
• TestCase:WebOnt-description-logic-027
• TestCase:WebOnt-description-logic-028
• TestCase:WebOnt-description-logic-029
• TestCase:WebOnt-description-logic-030
• TestCase:WebOnt-description-logic-031
• TestCase:WebOnt-description-logic-032
• TestCase:WebOnt-description-logic-033
• TestCase:WebOnt-description-logic-034
• TestCase:WebOnt-description-logic-035
• TestCase:WebOnt-description-logic-040

• TestCase:WebOnt-description-logic-101
• TestCase:WebOnt-description-logic-102
• TestCase:WebOnt-description-logic-103
• TestCase:WebOnt-description-logic-104
• TestCase:WebOnt-description-logic-105
• TestCase:WebOnt-description-logic-106
• TestCase:WebOnt-description-logic-107
• TestCase:WebOnt-description-logic-108
• TestCase:WebOnt-description-logic-109
• TestCase:WebOnt-description-logic-110
• TestCase:WebOnt-description-logic-111

• TestCase:WebOnt-description-logic-201
• TestCase:WebOnt-description-logic-202
• TestCase:WebOnt-description-logic-203
• TestCase:WebOnt-description-logic-204
• TestCase:WebOnt-description-logic-205
• TestCase:WebOnt-description-logic-206
• TestCase:WebOnt-description-logic-207
• TestCase:WebOnt-description-logic-208
• TestCase:WebOnt-description-logic-209

• TestCase:WebOnt-description-logic-501
• TestCase:WebOnt-description-logic-502
• TestCase:WebOnt-description-logic-503
• TestCase:WebOnt-description-logic-504

• TestCase:WebOnt-description-logic-601
• TestCase:WebOnt-description-logic-602
• TestCase:WebOnt-description-logic-603
• TestCase:WebOnt-description-logic-604
• TestCase:WebOnt-description-logic-605
• TestCase:WebOnt-description-logic-606
• TestCase:WebOnt-description-logic-608
• TestCase:WebOnt-description-logic-609
• TestCase:WebOnt-description-logic-610
• TestCase:WebOnt-description-logic-611
• TestCase:WebOnt-description-logic-612
• TestCase:WebOnt-description-logic-613
• TestCase:WebOnt-description-logic-614
• TestCase:WebOnt-description-logic-615
• TestCase:WebOnt-description-logic-616
• TestCase:WebOnt-description-logic-617
• TestCase:WebOnt-description-logic-623
• TestCase:WebOnt-description-logic-624
• TestCase:WebOnt-description-logic-625
• TestCase:WebOnt-description-logic-626
• TestCase:WebOnt-description-logic-627
• TestCase:WebOnt-description-logic-628
• TestCase:WebOnt-description-logic-629
• TestCase:WebOnt-description-logic-630
• TestCase:WebOnt-description-logic-631
• TestCase:WebOnt-description-logic-632
• TestCase:WebOnt-description-logic-633
• TestCase:WebOnt-description-logic-634
• TestCase:WebOnt-description-logic-641
• TestCase:WebOnt-description-logic-642
• TestCase:WebOnt-description-logic-643
• TestCase:WebOnt-description-logic-644
• TestCase:WebOnt-description-logic-646
• TestCase:WebOnt-description-logic-650
• TestCase:WebOnt-description-logic-661
• TestCase:WebOnt-description-logic-662
• TestCase:WebOnt-description-logic-663
• TestCase:WebOnt-description-logic-664
• TestCase:WebOnt-description-logic-665
• TestCase:WebOnt-description-logic-667

• TestCase:WebOnt-description-logic-901
• TestCase:WebOnt-description-logic-902
• TestCase:WebOnt-description-logic-903
• TestCase:WebOnt-description-logic-904
• TestCase:WebOnt-description-logic-905
• TestCase:WebOnt-description-logic-906
• TestCase:WebOnt-description-logic-907
• TestCase:WebOnt-description-logic-908
• TestCase:WebOnt-description-logic-909
• TestCase:WebOnt-description-logic-910

[edit] Extra Credit

• TestCase:WebOnt-extra-credit-002
• TestCase:WebOnt-extra-credit-003
• TestCase:WebOnt-extra-credit-004