Test

From OWL

Jump to: navigation, search

[Hide Review Comments]

Document title:
OWL 2 Web Ontology Language
Test Cases

Copyright © 2008 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark and document use rules apply.

[Show Short TOC]

Contents


1 Introduction

2 Conformance

3 Test Types

3.1 Profile Identification Tests

These tests use one ontology. These tests are used to test the identification of syntactic profiles of OWL. Tests of all other types are also profile identification tests.

3.2 Consistency Tests

These tests use one ontology. The ontology is consistent as defined by [OWL 2 Semantics].

3.3 Inconsistency Tests

These tests use one ontology. The ontology is inconsistent as defined by [OWL 2 Semantics].

3.4 Entailment Tests

These tests use two ontologies, a premise ontology and a conclusion ontology. The premise ontology entails the conclusion ontology as defined by [OWL 2 Semantics]. An entailment test can also be used as a consistency test by using the premise ontology and ignoring the conclusion ontology.

3.5 Non-Entailment Tests

These tests use two ontologies, a premise ontology and a nonconclusion ontology. The premise ontology does not entail by the nonconclusion ontology as defined by [OWL 2 Semantics]. An non-entailment test can be used as a consistency test by using the premise ontology and ignoring the nonconclusion ontology.

3.6 Syntax Translation Tests

These tests use one or more ontologies. These tests are used to test translation of OWL from one syntax to another.

4 Test Case Format

4.1 Status

The test:status property indicates if the test has been PROPOSED (test:PROPOSED), ACCEPTED (test:ACCEPTED), or REJECTED (test:REJECTED).

4.2 Type

The type of the test is indicated by a class assertion between the test and one or more of the following classes

  • test:PositiveEntailmentTest
  • test:NegativeEntailmentTest
  • test:ConsistencyTest
  • test:InconsistencyTest
  • test:ProfileIdentificationTest
  • test:SyntaxTranslationTest

4.3 Description

The description of the test is given using the test:description property.

4.4 Species

If a test has test:species value test:FULL, the input ontology is an OWL Full ontology. All tests should have this value.

If a test has test:species value test:DL, the input ontology satisfies the syntactic restrictions necessary for OWL DL ontologies. Each test must either have a property assertion indicating the input ontology is an OWL DL ontology, or a negative property assertion indicating it is not.

4.5 Profiles

If an input ontology is an OWL DL ontology, it may conform to the syntax restrictions of one or more profile.

If a test has test:profile value test:QL, the input ontology conforms to the syntax restrictions of the OWL QL profile.

If a test has test:profile value test:EL, the input ontology conforms to the syntax restrictions of the OWL EL profile.

If a test has test:profile value test:RL, the input ontology conforms to the syntax restrictions of the OWL RL profile.

For each profile, for each test there must either be a property assertion indicating the input ontology conforms to the restrictions of the profile, or a negative property assertion indicating it does not.

4.6 Input Ontologies

The test:inputOntology property associates a test with one or more input ontologies. For test types which require multiple input ontologies, subproperties of this property are used to differentiate the input ontologies. Subproperties of test:inputOntology are used to provide each input ontology in multiple syntaxes.

4.7 Imported Ontologies

The test:importedOntology property provides ontologies that are contained in the imports closure of the input ontologies. Subproperties of test:importedOntology are used to provide each input ontology in multiple syntaxes.

4.8 Normative Syntax

The test:normativeSyntax functional property is used to indicate which syntax of the input ontologies is normative for a test.

The value test:FUNCTIONAL indicates the functional syntax input ontologies are normative and other syntaxes are informative.

The value test:OWLXML indicates the OWL XML syntax input ontologies are normative and other syntaxes are informative.

The value test:RDFXML indicates the RDF/XML syntax input ontologies are normative and other syntaxes are informative.

If an input ontology is not an OWL DL ontology, the normative syntax must be RDF/XML.


4.9 Normative Translation

The test:normativeTranslation object property is used to indicate formats to which the translation of the input ontologies has been validated and is normative. Any test which is the subject of a statement with this object property is an instance of test:SyntaxTranslationTest.

The extension of this object property is disjoint with the test:normativeSyntax object property.

The value test:FUNCTIONAL indicates the functional syntax translation of the input ontologies is normative.

The value test:OWLXML indicates the OWL/XML syntax translation of the input ontologies is normative.

The value test:RDFXML indicates the RDF/XML syntax translation of the input ontologies is normative.

4.10 Issue

The test:issue annotation can be used to include a link to a specific WG issue.

4.11 Identifier

The test:identifier annotation should be used to associate a unique identifier with a test case. This identifier should conform to irelative-ref as defined in [RFC-3987] so that it may be appended to http://www.w3.org/2007/OWL/owlt/ to generate a URI for the test.


4.12 Test Ontology 

Namespace( = <http://www.w3.org/2007/OWL/testOntology> )
Ontology(<http://www.w3.org/2007/OWL/testOntology>
    Label("The OWL 2 Test Ontology")

    Declaration( Class( :TestCase ) )

    Declaration( AnnotationProperty( :identifier ) )
    Declaration( AnnotationProperty( :description ) )
    Declaration( AnnotationProperty( :creator ) )
    Declaration( AnnotationProperty( :issue ) )


    Declaration( DataProperty( :inputOntology ) )
    SubPropertyOf( :premiseOntology :inputOntology )
    SubPropertyOf( :conclusionOntology :inputOntology )
    SubPropertyOf( :nonConclusionOntology :inputOntology )

    Declaration( DataProperty( :importedOntology ) )

    SubClassOf( :ProfileIdentificationTest :TestCase )
    SubClassOf( :ProfileIdentificationTest MinCardinality( 1 :inputOntology ) )

    SubClassOf( :ConsistencyTest :ProfileIdentificationTest )
    SubClassOf( :InconsistencyTest :ProfileIdentificationTest )
    DisjointClasses( :ConsistencyTest :InconsistencyTest )

    SubClassOf( :PositiveEntailmentTest :ConsistencyTest )
    SubClassOf( :PositiveEntailmentTest MinCardinality( 1 :premiseOntology ) )
    SubClassOf( :PositiveEntailmentTest MinCardinality( 1 :conclusionOntology ) )

    SubClassOf( :NegativeEntailmentTest :ConsistencyTest )
    SubClassOf( :NegativeEntailmentTest MinCardinality( 1 :premiseOntology ) )
    SubClassOf( :NegativeEntailmentTest MinCardinality( 1 :nonConclusionOntology ) )

    FunctionalProperty( :status )
    PropertyRange( :status OneOf( :Proposed :Approved :Rejected ) )
    DifferentIndividuals( :Proposed :Approved :Rejected )

    SubClassOf( :TestCase ExactCardinality( 1 :status ) )


    PropertyRange( :species OneOf( :DL :FULL ) )
    DifferentIndividuals( :DL :FULL )
    SubClassOf( HasValue( :species :DL ) HasValue( :species :FULL ) )


    PropertyRange( :profile OneOf( :EL :QL :RL ) )
    DifferentIndividuals( :EL :QL :RL )


    SubClassOf(
        SomeValuesFrom( :profile OneOf( :EL  :QL ) )
        HasValue( :species :DL )
    )


    FunctionalProperty( :normativeSyntax )
    PropertyRange( :normativeSyntax OneOf( :RDFXML :FUNCTIONAL :OWLXML ) )
    DifferentIndividuals( :RDFXML :FUNCTIONAL :OWLXML )

    SubClassOf( :TestCase ExactCardinality( 1 :normativeSyntax ) )

    PropertyRange( :normativeTranslation OneOf( :RDFXML :FUNCTIONAL :OWLXML ) )
    DisjointProperties( :normativeSyntax :normativeTranslation )
    EquivalentClasses( :SyntaxTranslationTest IntersectionOf( :TestCase MinCardinality( 1 :normativeTranslation ) ) )

    SubClassOf(
        IntersectionOf( :TestCase ComplementOf( HasValue( :species :DL ) ) ) 
        HasValue( :normativeSyntax :RDFXML )
    )
    

    SubPropertyOf( :fsInputOntology :inputOntology )
    SubPropertyOf( :fsPremiseOntology :premiseOntology )
    SubPropertyOf( :fsPremiseOntology :fsInputOntology )
    SubPropertyOf( :fsConclusionOntology :conclusionOntology )
    SubPropertyOf( :fsConclusionOntology :fsInputOntology )
    SubPropertyOf( :fsNonConclusionOntology :nonConclusionOntology )
    SubPropertyOf( :fsNonConclusionOntology :fsInputOntology )

    SubPropertyOf( :owlXmlInputOntology :inputOntology )
    SubPropertyOf( :owlXmlPremiseOntology :premiseOntology )
    SubPropertyOf( :owlXmlPremiseOntology :owlXmlInputOntology )
    SubPropertyOf( :owlXmlConclusionOntology :conclusionOntology )
    SubPropertyOf( :owlXmlConclusionOntology :owlXmlInputOntology )
    SubPropertyOf( :owlXmlNonConclusionOntology :nonConclusionOntology )
    SubPropertyOf( :owlXmlNonConclusionOntology :owlXmlInputOntology )

    SubPropertyOf( :rdfXmlInputOntology :inputOntology )
    SubPropertyOf( :rdfXmlPremiseOntology :premiseOntology )
    SubPropertyOf( :rdfXmlPremiseOntology :rdfXmlInputOntology )
    SubPropertyOf( :rdfXmlConclusionOntology :conclusionOntology )
    SubPropertyOf( :rdfXmlConclusionOntology :rdfXmlInputOntology )
    SubPropertyOf( :rdfXmlNonConclusionOntology :nonConclusionOntology )
    SubPropertyOf( :rdfXmlNonConclusionOntology :rdfXmlInputOntology )

    DisjointProperties( :fsInputOntology :owlXmlInputOntology :rdfXmlInputOntology )

    SubPropertyOf( :fsImportedOntology :importedOntology )
    SubPropertyOf( :owlXmlImportedOntology :importedOntology )
    SubPropertyOf( :rdfXmlImportedOntology :importedOntology )
    DisjointProperties( :fsImportedOntology :owlXmlImportedOntology :rdfXmlImportedOntology )
)

5 Test Cases

5.1 Index By Type

5.1.1 Profile Identification Tests


5.1.2 Consistency Tests

5.1.3 Inconsistency Tests

5.1.4 Entailment Tests

5.1.5 Non-Entailment Tests

5.1.6 Syntax Translation Tests

No test cases currently use this type.

5.2 Index By Issue

5.2.1 ISSUE-126


5.3 Index By Profile

5.3.1 OWL EL

5.3.2 OWL RL

5.3.3 OWL QL

6 Process Overview

At the chair's discretion, individual tests or groups of tests are put to the Working Group in the weekly telecon or at a face-to-face meeting.

The Working Group may approve, reject, or defer decision on a test.

If the Working Group approves a test, its status is changed to APPROVED. All approved and only approved tests are included in the test case document.

If the Working Group rejects a test, its status is change to REJECTED.

If the Working Group defers decision on a test, its status remains PROPOSED.

At the chairs' discretion, the Working Group may review any previous decision regarding any test cases.

The Working Group has complete discretion to approve or reject tests independent of their conformance with this process or their conformance with the OWL Working Drafts.

7 Changes From WebOnt Tests

7.1 Formatting Changes

Each WebOnt test case used multiple files instead of storing ontologies in literals.

7.2 Changes to Test Types

"Profile Identification Tests" and "Syntax Translation Tests" did not exist in the WebOnt test suite.

"Tests for Incorrect Use of OWL Namespace" has been removed as a type. These tests were intended to highlight differences between the OWL RDF vocabulary and the DAML+OIL vocabulary. Time has reduced the motivation for such tests.

"True Tests", "OWL for OWL Tests", and "Import Entailment Tests" have been removed as types. These types were each specializations of entailment tests. To the extent that they are present in the current test suite, these tests are marked as positive entailment tests.

"Import Level Tests" has been removed as a type. This type is now included in the "Profile Identification Tests".

7.3 Changes to Process

Status of each test no longer includes "EXTRACREDIT" and "OBSOLETED".

8 References

[OWL 2 Semantics]
OWL 2 Web Ontology Language: Model-Theoretic Semantics. Bernardo Cuenca Grau and Boris Motik, eds., 2008.
[RFC-3987]
RFC 3987 - Internationalized Resource Identifiers (IRIs). M. Duerst, M. Suignard. IETF, January 2005, http://www.ietf.org/rfc/rfc3987.txt.
Retrieved from "http://www.w3.org/2007/OWL/wiki/Test"
Personal tools