owl
type: Ontology
imports: rdf-schema
comment: This file specifies in RDF Schema format the built-in classes and properties that together form the basis of the RDF/XML syntax of OWL Full, OWL DL and OWL Lite. We do not expect people to import this file explicitly into their ontology. People that do import this file should expect their ontology to be an OWL Full ontology.
versionInfo: 9 December 2003

Ontology
type: Class

Issue
type: Class
comment: A member of this class is an issue in some issue list.

ImportLevelTest
type: Class
comment: These tests use two documents. One is named importsNNN.rdf, the other is named mainNNN.rdf. These tests indicate the interaction between owl:imports and the sublanguage levels of the main document.

ConsistencyTest
type: Class
subclass of: NegativeEntailmentTest
subclass of: Restriction
  onProperty: conclusionDocument
  hasValue: false
comment: A consistent OWL document. (One that does not entail falsehood).

NegativeEntailmentTest
type: Class
subclass of: NegativeEntailmentTest
comment: This is a negative entailment test according to the OWL entailment rules.
subclass of: Restriction
  onProperty: entailmentRules
  hasValue: owl#

FunctionalProperty
type: Class
subclass of: Property

InconsistencyTest
type: Class
subclass of: PositiveEntailmentTest
subclass of: Restriction
  onProperty: conclusionDocument
  hasValue: false
comment: An inconsistent OWL document. (One that entails falsehood).

PositiveEntailmentTest
type: Class
subclass of: PositiveEntailmentTest
comment: This is a positive entailment test according to the OWL entailment rules.
subclass of: Restriction
  onProperty: entailmentRules
  hasValue: owl#

Restriction
type: Class
subclass of: Class

Class
subclass of: Class

ObjectProperty
type: Class
subclass of: Property

InverseFunctionalProperty
type: Class
subclass of: ObjectProperty

DeprecatedClass
type: Class
subclass of: Class

NotOwlFeatureTest
type: Class
comment: This is a negative test. The input document contains some use of the OWL namespace which is not a feature of OWL. These typically show DAML+OIL features that are not being carried forward into OWL.
subclass of: Restriction
  cardinality: 1
  onProperty: inputDocument

DeprecatedProperty
type: Class
subclass of: Property

OWLforOWLTest
type: Class
subclass of: TrueTest
comment: Illustrative of the use of OWL to describe OWL Full.

TrueTest
type: Class
subclass of: PositiveEntailmentTest
comment: The conclusions follow from the empty premises.
subclass of: Restriction
  onProperty: premiseDocument
  hasValue: empty

ImportEntailmentTest
type: Class
subclass of: PositiveEntailmentTest
comment: The premise document, and its imports closure, entails the conclusion document.

DataRange
type: Class

TransitiveProperty
type: Class
subclass of: ObjectProperty

DatatypeProperty
type: Class
subclass of: Property

AllDifferent
type: Class

SymmetricProperty
type: Class
subclass of: ObjectProperty

Thing
type: Class
unionOf: Nothing
unionOf: Class
  complementOf: Nothing

Nothing
type: Class
complementOf: Thing

usedDatatype
type: ObjectProperty
domain: Test
range: Datatype
comment: The object is a datatype that appears in one of the test files in the subject test.

supportedDatatype
type: ObjectProperty
sub property of: usedDatatype
comment: The subject test is valid only when the object datatype is included in the datatype theory.

inverseOf
type: Property
domain: ObjectProperty
range: ObjectProperty

versionInfo
type: Property
type: AnnotationProperty

priorVersion
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

unionOf
type: Property
domain: Class
range: List

differentFrom
type: Property
domain: Thing
range: Thing

maxCardinality
type: Property
domain: Restriction
range: nonNegativeInteger

feature
type: Property
comment: This property relates a test to a language feature. The language feature is usually indicated by a class or property.

distinctMembers
type: Property
domain: AllDifferent
range: List

oneOf
type: Property
domain: Class
range: List

disjointWith
type: Property
domain: Class
range: Class

someValuesFrom
type: Property
domain: Restriction
range: Class

intersectionOf
type: Property
domain: Class
range: List

equivalentProperty
type: Property
sub property of: subPropertyOf

incompatibleWith
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

backwardCompatibleWith
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

complementOf
type: Property
domain: Class
range: Class

minCardinality
type: Property
domain: Restriction
range: nonNegativeInteger

sameAs
type: Property
domain: Thing
range: Thing

hasValue
type: Property
domain: Restriction

cardinality
type: Property
domain: Restriction
range: nonNegativeInteger

imports
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

equivalentClass
type: Property
sub property of: subClassOf
domain: Class
range: Class

allValuesFrom
type: Property
domain: Restriction
range: Class

onProperty
type: Property
domain: Restriction
range: Property

issueNumber
type: DatatypeProperty
domain: Issue
comment: A string valued property that gives a numeral (or some other quasi-numeric string) associated with an issue.

level
type: FunctionalProperty
range: Class
  oneOf: Lite
  oneOf: DL
  oneOf: Full
comment: Indicates the conformance level of a document or test in the OWL test suite.

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: Structure sharing is not permitted in OWL DL, between two class descriptions.
input document: consistent003

OWL DL Sytntax
type: Issue
issue number: 5.26

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: disjointWith
level: Full
description: If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL.
input document: consistent006

test
type: NegativeEntailmentTest
status: APPROVED
approval: 0000.html
feature: Restriction
level: Lite
level: Full
creator: Jeremy J. Carroll
description: This test shows a potential misapplication of OWL Full comprehension rules. It also shows optional type triples on an owl:Restriction.
premise document: premises005
conclusion document: nonconclusions005

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: imports
level: DL
description: If an OWL Lite document imports an OWL DL document then it becomes OWL DL.
imported premise document: imports005
input document: main005

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Ian Horrocks
issue: Semantic-Layering
level: Full
description: This is a typical definition of range from description logic. It works both ways.
premise document: premises004
conclusion document: conclusions004

Semantic-Layering
type: Issue
issue number: 5.3
label: Semantic Layering

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t10.1
input document: consistent609

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Peter F. Patel-Schneider
issue: UniqueProp BadName
feature: FunctionalProperty
level: Full
description: If prop belongs to owl:FunctionalProperty then an OWL individual has at most one value for prop.
premise document: premises005
conclusion document: conclusions005

UniqueProp BadName
type: Issue
issue number: 4.1

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: oneOf
level: Full
description: The order of the instances in an owl:oneOf construct is unimportant.
premise document: premises003
conclusion document: conclusions003

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: fact2.1
input document: inconsistent002

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model
input document: consistent624

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Full
size: Small
description: owl:sameAs is stronger than owl:equivalentClass.
premise document: premises003
conclusion document: conclusions003

EquivalentTo
type: Issue
issue number: 4.6

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: Datatypes
level: Full
used datatype: type
description: This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.
input document: consistent014

Datatypes
type: Issue
issue number: 5.8

Adding Properties to Other Classes
type: Issue
issue number: 2.3

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: differentFrom
description: differentFrom is a SymmetricProperty.
premise document: premises001
conclusion document: conclusions001

Closed Sets
type: Issue
issue number: 2.5

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t10.1
input document: consistent009

importedPremiseDocument
type: Property
sub property of: inputDocument
comment: Despite the property URI, the document indicated by this property may or may not be imported into the test.

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model
input document: consistent024

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions
input document: inconsistent646

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Ian Horrocks
issue: Language Compliance Levels
level: DL
description: The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.
premise document: premises006
conclusion document: conclusions006

Language Compliance Levels
type: Issue
issue number: 5.2

Qualified Restrictions
type: Issue
issue number: 3.2

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_branch ABox test from DL98 systems comparison.
premise document: premises661
conclusion document: conclusions661

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent104

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: Lite
description: The inverse entailment also holds.
premise document: premises003
conclusion document: conclusions003

Feature decision for CL1 cardinality
type: Issue
issue number: 5.16

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: Full
description: Comprehension does not build illformed lists.
premise document: premises006
conclusion document: nonconclusions006

List syntax or semantics
type: Issue
issue number: 5.5

test
type: PositiveEntailmentTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: DL
level: Full
description: The abstract syntax form of the conclusions is: EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p ) This is trivially true given that first:p is an individualvaluedPropertyID.
premise document: premises010
conclusion document: conclusions010

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: imports
level: Lite
level: Full
description: A simple test for infinite loops in imports processing code.
input document: consistent012

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Dan Connolly
issue: Uniform treatment of literal data values
level: Full
description: stateCode example using an inverseFunctionalProperty and literals
premise document: premises001
conclusion document: conclusions001

Uniform treatment of literal data values
type: Issue
issue number: 5.1

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: cardinality
level: Full
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises005
conclusion document: conclusions005

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Lite
description: Classes can be the object of annotation properties in OWL Lite and DL.
input document: consistent011

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_poly ABox test from DL98 systems comparison.
premise document: premises668
conclusion document: conclusions668

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t2.1
input document: consistent616

test
type: PositiveEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
supported datatype: byte
supported datatype: short
description: All xsd:byte are xsd:short.
premise document: premises006
conclusion document: conclusions006

Ontology versioning
type: Issue
issue number: 5.14

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
creator: Jeremy J. Carroll
feature: sameClassAs
level: DL
description: De Morgan's law.
premise document: premises006
conclusion document: conclusions006

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7f.1
input document: consistent631

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentClass
level: Lite
description: Two classes with the same partial description are not equivalent.
premise document: premises005
conclusion document: nonconclusions005

Variables
type: Issue
issue number: 1.1

test
type: PositiveEntailmentTest
status: OBSOLETED
size: Large
creator: Jeremy J. Carroll
issuette: extra-000-arithmetic
level: Full
description: This test shows a relationship between integer addition and OWL Full.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Class
level: Full
description: In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t2.1
input document: consistent016

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 0000.html
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_path ABox test from DL98 systems comparison.
premise document: premises206
conclusion document: conclusions206

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5.
premise document: premises901
conclusion document: conclusions901

Classes-as-instances
type: Issue
issue number: 5.19

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7f.1
input document: consistent031

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jos De Roo
level: DL
level: Full
issuette: misc-000-guide
description: Which wine hasSugar OffDry.
premise document: premises011
imported premise document: consistent001
imported premise document: consistent002
conclusion document: conclusions011

test
type: ConsistencyTest
status: APPROVED
level: Full
used datatype: XMLLiteral
approval: 11-webont-irc
creator: Martin Dürst, Masayasu Ishikawa
issuette: misc-200-xmlliteral
level: Lite
size: Small
description: This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation.
input document: consistent201

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable.
input document: inconsistent601

daml:imports as magic syntax
type: Issue
issue number: 5.6

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jim Hendler
feature: DatatypeProperty
level: Full
description: DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.
input document: consistent001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This test shows integer multiplication in OWL DL, interacting with infinity. N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.
input document: consistent908

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple.
input document: consistent002

test
type: ConsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: disjointWith
level: DL
level: Full
description: If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.
input document: consistent005

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions
input document: inconsistent111

test
type: ConsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: Restriction
level: Lite
level: Full
used datatype: byte
description: This test shows OWL Lite syntax for using two equivalent restrictions.
input document: consistent004

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: imports
level: Full
description: Importing OWL Full documents may change the level of OWL Lite or OWL DL documents.
imported premise document: imports004
input document: main004

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Ian Horrocks
issue: Semantic-Layering
level: Full
description: This is a typical definition of range from description logic.
premise document: premises003
conclusion document: conclusions003

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t1.3
input document: inconsistent608

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UniqueProp BadName
feature: FunctionalProperty
description: If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain has a single value) and so it is an owl:FunctionalProperty.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: oneOf
description: oneOf describes a class by enumerating its individuals.
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: backwardCompatibleWith
level: Full
description: In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith must both be explicitly typed as owl:Ontology.
input document: consistent002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable.
input document: inconsistent001

test
type: PositiveEntailmentTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: DL
level: Full
description: The abstract syntax form of the conclusions is: EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p ) This is trivially true given that first:p is an individualvaluedPropertyID.
premise document: premises009
conclusion document: conclusions009

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t4.1 Dynamic blocking example
input document: inconsistent623

test
type: PositiveEntailmentTest
status: OBSOLETED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Full
description: sameAs and sameIndividualAs are equivalent.
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
level: Full
used datatype: type
description: This test illustrates the use of a user defined datatype. The informal description has no formal semantics.
input document: consistent013

Feature decision for CL1 local range
type: Issue
issue number: 5.15

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: misc-300-annotations
level: Lite
description: dc:creator may be declared as an annotation property.
input document: consistent303

DAML+OIL-semantics-is-too-weak
type: Issue
issue number: 5.10
label: DAML+OIL semantics is too weak

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t1.3
input document: inconsistent008

Trust and Ontology
type: Issue
issue number: 4.8

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t4.1 Dynamic blocking example
input document: inconsistent023

test
type: NotOwlFeatureTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0339
creator: Jeremy J. Carroll
issue: Qualified Restrictions
level: Lite
description: The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace.
input document: bad003

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Ian Horrocks
issue: Language Compliance Levels
level: DL
description: The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.
input document: consistent005

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent103

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: Lite
description: A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: DL
level: Full
description: This test exhibits the effect of the comprehension principles in OWL Full.
premise document: premises005
conclusion document: conclusions005

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: unionOf
level: DL
description: An inverse to test 003.
premise document: premises004
conclusion document: conclusions004

test
type: ImportEntailmentTest
status: APPROVED
level: Lite
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeff Heflin
feature: imports
description: A Lite version of test imports-001.
premise document: premises011
imported premise document: support011-A
conclusion document: conclusions011

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: allValuesFrom
level: Lite
description: Another simple example; contrast with owl:someValuesFrom.
premise document: premises002
conclusion document: nonconclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: cardinality
level: DL
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises004
conclusion document: conclusions004

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0064
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: Classes cannot be the object of regular properties in OWL DL.
input document: consistent010

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Unnamed Individual Restrictions
level: Full
description: The blank nodes in a individual description in OWL DL may not form a directed cycle.
input document: consistent001

Unnamed Individual Restrictions
type: Issue
issue number: 6.1

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_ph ABox test from DL98 systems comparison.
premise document: premises667
conclusion document: conclusions667

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t12.1
input document: inconsistent615

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: 0000.html
creator: Jeremy J. Carroll
issue: Datatypes
level: DL
used datatype: byte
used datatype: unsignedInt
description: There are 128 different values of xsd:byte that are also xsd:unsignedInt.
premise document: premises005
conclusion document: nonconclusions005

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: Full
description: hasLeader may be stated to be the owl:equivalentProperty of hasHead.
premise document: premises006
conclusion document: conclusions006

test
type: NegativeEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: sameClassAs
level: Lite
description: Two classes with the same partial description are not the same.
premise document: premises005
conclusion document: nonconclusions005

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UnambiguousProperty
feature: InverseFunctionalProperty
description: If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its range is the value of a single item) so it is an owl:InverseFunctionalProperty.
premise document: premises004
conclusion document: conclusions004

UnambiguousProperty
type: Issue
issue number: 3.4

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7.3
input document: inconsistent630

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentClass
level: Lite
description: Two classes with the same complete description are equivalent.
premise document: premises004
conclusion document: conclusions004

test
type: OWLforOWLTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Class
level: Full
description: In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class.
conclusion document: conclusions001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t12.1
input document: inconsistent015

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_lin ABox test from DL98 systems comparison.
premise document: premises205
conclusion document: conclusions205

InverseOf
type: Issue
issue number: 4.5

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7.3
input document: inconsistent030

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jos De Roo
level: DL
level: Full
issuette: misc-000-guide
description: Which wine goes well with which food.
premise document: premises010
imported premise document: consistent001
imported premise document: consistent002
conclusion document: conclusions010

test
type: ConsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This test shows integer multiplication in OWL DL. N is 200. M is 300. N times M is 60000.
input document: consistent907

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: Structure sharing is not permitted in OWL DL, between a class description and a type triple.
input document: consistent001

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: disjointWith
level: Full
description: This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D.
input document: consistent004

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions
input document: inconsistent110

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Restriction
level: Full
used datatype: byte
description: This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.
input document: consistent003

test
type: ImportEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeff Heflin
feature: imports
description: If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive.
level: Full
premise document: premises003
imported premise document: support003-A
imported premise document: support003-B
conclusion document: conclusions003

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jonathan Borden
issue: Semantic-Layering
level: Full
description: OWL, unlike RDFS, uses iff semantics for range.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UniqueProp BadName
feature: FunctionalProperty
description: If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.
premise document: premises003
conclusion document: conclusions003

test
type: ConsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: oneOf
description: oneOf does not indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual.
input document: consistent001

Justifications
type: Issue
issue number: 5.25

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: backwardCompatibleWith
level: Lite
level: Full
description: An example of use.
input document: consistent001

test
type: ConsistencyTest
status: OBSOLETED
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: The blank nodes in a individual description in OWL DL may not form a directed cycle.
input document: consistent008

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Ontology
level: Lite
level: Full
description: This is a variation of equivalentClass-001, showing the use of two owl:Ontology triples in the premises.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: OBSOLETED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Full
description: sameAs and sameIndividualAs are equivalent.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 0000.html
creator: Jeremy J. Carroll
issue: Datatypes
level: DL
not supported datatype: byte
not supported datatype: unsignedInt
description: There might be only 128 different values of xsd:byte that are also xsd:unsignedInt; but this does not follow from the datatype theory of this test. (cf. the similar inconsistency test).
input document: consistent012

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: The use of blank nodes in OWL DL and OWL Lite is restricted.
input document: consistent009

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: misc-300-annotations
level: Lite
description: Annotations participate a little in the semantics.
premise document: premises302
conclusion document: nonconclusions302

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t1.2
input document: inconsistent007

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7.2
input document: inconsistent629

should-OWL-provide-synonyms-for-RDF-and-RDFS-objects
type: Issue
issue number: 5.20

test
type: NotOwlFeatureTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Lite
size: Small
description: owl:samePropertyAs is not an OWL property.
input document: bad008

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case
input document: inconsistent022

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: the Guide editors
issuette: misc-000-guide
level: DL
level: Full
size: Large
description: Food example taken from the guide.
input document: consistent002

OWL:QUOTE
type: Issue
issue number: 5.4

test
type: NotOwlFeatureTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0339
creator: Jeremy J. Carroll
issue: Qualified Restrictions
level: Lite
description: The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace.
input document: bad002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent644

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Ian Horrocks
issue: Language Compliance Levels
level: DL
description: The complement of a class can be defined using OWL Lite restrictions.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jos De Roo
feature: AllDistinct
level: Full
description: AllDistinct is a subclass of rdf:List
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: Lite
description: hasLeader may be stated to be the samePropertyAs hasHead.
premise document: premises001
conclusion document: conclusions001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent102

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7.2
input document: inconsistent029

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: Full
description: rdf:nil cannot have an rdf:first property.
input document: inconsistent004

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0287
creator: Dan Connolly
issue: InverseOf
feature: inverseOf
level: Full
description: If the pair (x,y) is an instance of P, than the pair (y,x) is an instance of the named property.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: unionOf
level: DL
description: Sets with appropriate extensions are related by unionOf.
premise document: premises003
conclusion document: conclusions003

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Sean Bechhofer
feature: AnnotationProperty
level: Full
description: AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints.
input document: consistent004

test
type: OWLforOWLTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: imports
level: Full
description: This test specifies the domain and range for owl:imports.
conclusion document: conclusions010

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: allValuesFrom
level: Lite
description: A simple example.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: cardinality
level: DL
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises003
conclusion document: conclusions003

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_path ABox test from DL98 systems comparison.
premise document: premises666
conclusion document: conclusions666

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t11.1
input document: inconsistent614

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy
input document: inconsistent109

Extra-logical feature set
type: Issue
issue number: 4.4

test
type: PositiveEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Datatypes
level: DL
supported datatype: byte
supported datatype: unsignedInt
description: There are precisely 128 different values of xsd:byte that are also xsd:unsignedInt.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: Full
description: If p and q have the same property extension then p owl:equivalentProperty q.
premise document: premises005
conclusion document: conclusions005

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: sameClassAs
level: Lite
description: Two classes with the same complete description are the same.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UnambiguousProperty
feature: InverseFunctionalProperty
description: If prop is an owl:InverseFunctionalProperty, then its inverse is an owl:FunctionalProperty.
premise document: premises003
conclusion document: conclusions003

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentClass
level: Lite
description: Two classes may be different names for the same set of individuals
premise document: premises003
conclusion document: conclusions003

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 0000.html
creator: Ian Horrocks
issuette: dl-500-SAT
level: DL
size: Large
description: This is a different encoding of test 502.
input document: inconsistent504

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t11.1
input document: inconsistent014

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_grz ABox test from DL98 systems comparison.
premise document: premises204
conclusion document: conclusions204

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Thing
level: Full
description: The extension of OWL Thing may not be a singleton in OWL Full.
input document: inconsistent005

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: distinctMembers
level: Full
description: using distinctMembers to derive differentFrom
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: Language Compliance Levels
level: Lite
description: The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.
input document: consistent011

hasValue-in-owl
type: Issue
issue number: 5.23

test
type: ConsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is 600.
input document: consistent906

test
type: ConsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: disjointWith
level: DL
level: Full
description: If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.
input document: consistent003

test
type: InconsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: Restriction
level: Full
description: This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.
input document: inconsistent002

test
type: NegativeEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeff Heflin
feature: imports
description: If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents.
premise document: premises002
imported premise document: support002-A
conclusion document: nonconclusions002

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: This entailment is similar to one that does not hold in RDFS.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t1.1
input document: consistent606

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Sep/0047
creator: Jeremy J. Carroll
issue: UniqueProp BadName
feature: FunctionalProperty
level: Full
description: If prop belongs to owl:FunctionalProperty, and subject denotes a resource which is the subject of two prop triples, then the objects of these triples have the same denotation.Hence any assertion made using one of them can be transferred to the other.
premise document: premises002
conclusion document: conclusions002

Adding Properties to Other Instances
type: Issue
issue number: 2.2

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: The blank nodes in a class description in OWL DL may not form a directed cycle.
input document: consistent007

test
type: NegativeEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Ontology
level: Lite
level: Full
description: This is a variation of equivalentClass-001, showing the use of owl:Ontology triple only in the conclusions.
premise document: premises003
conclusion document: nonconclusions003

test
type: OWLforOWLTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jos De Roo
issue: Datatypes
level: Lite
description: The empty graph entails that xsd:integer and xsd:string are a rdfs:Datatype
conclusion document: conclusions011

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Lite
description: An OWL Lite version of test 007.
input document: consistent008

Cardinality Constructs Levels
type: Issue
issue number: 4.2

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: misc-300-annotations
level: Full
description: Annotations participate a little in the semantics.
premise document: premises301
conclusion document: nonconclusions301

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t1.1
input document: consistent006

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7.1
input document: consistent628

test
type: NotOwlFeatureTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Lite
size: Small
description: owl:sameClassAs is not an OWL property.
input document: bad007

Ordered Property Values
type: Issue
issue number: 2.6

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case
input document: consistent021

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: the Guide editors
issuette: misc-000-guide
level: DL
level: Full
size: Large
used datatype: positiveInteger
description: Wine example taken from the guide.
input document: consistent001

test
type: NotOwlFeatureTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0339
creator: Jeremy J. Carroll
issue: Qualified Restrictions
level: Lite
description: The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace.
input document: bad001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent643

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Ian Horrocks
issue: Language Compliance Levels
level: Lite
description: The complement of a class can be defined using OWL Lite restrictions.
input document: consistent003

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jos De Roo
feature: AllDistinct
level: Full
description: using AllDistinct to derive differentFrom
premise document: premises001
conclusion document: conclusions001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent101

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7.1
input document: consistent028

test
type: InconsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Charles White
issue: InverseOf
level: DL
level: Full
description: An example combining owl:oneOf and owl:inverseOf.
input document: inconsistent002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: List syntax or semantics
description: rdf:nil cannot have an rdf:rest property.
input document: inconsistent003

test
type: InconsistencyTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
feature: disjointWith
level: Full
description: The owl:disjointWith loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.
input document: inconsistent010

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: unionOf
description: A union behaves quite like set theoretic union.
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: AnnotationProperty
level: Full
description: URI references used in annotations don't need to be typed.
input document: consistent003

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: cardinality
level: Lite
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_lin ABox test from DL98 systems comparison.
premise document: premises665
conclusion document: conclusions665

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t10.5
input document: inconsistent613

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy
input document: inconsistent108

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Peter F. Patel-Schneider
issue: Datatypes
level: DL
supported datatype: byte
supported datatype: unsignedInt
description: There are only 128 different values of xsd:byte that are also xsd:unsignedInt.
input document: inconsistent003

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: DL
description: If p and q have the same property extension then p equivalentProperty q.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: sameClassAs
level: Lite
description: Two classes may be different names for the same set of individuals
premise document: premises003
conclusion document: conclusions003

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Ian Horrocks
issue: IF-or-IFF-property-properties
level: Lite
description: This is a typical definition of range from description logic. It works both ways.
premise document: premises004
conclusion document: conclusions004

IF-or-IFF-property-properties
type: Issue
issue number: 5.24

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Sep/0047
creator: Jeremy J. Carroll
issue: UnambiguousProperty
feature: InverseFunctionalProperty
level: Full
description: If prop belongs to owl:InverseFunctionalProperty, and object denotes a resource which is the object of two prop triples, then the subjects of these triples have the same denotation. Hence any assertion made using one of them can be transferred to the other.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentClass
level: Lite
description: Two classes may be different names for the same set of individuals
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: misc-100-syntax
level: DL
description: This description cannot be expressed as a multicomponent restriction in the abstract syntax.
input document: consistent103

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 0000.html
creator: Ian Horrocks
issuette: dl-500-SAT
level: DL
size: Large
description: This is a different encoding of test 501.
input document: consistent503

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL.
premise document: premises015
conclusion document: conclusions015

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: sameAs
level: Full
description: Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance.
premise document: premises001
conclusion document: conclusions001

test
type: OWLforOWLTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: Nothing
level: DL
description: An empty owl:Class has the same class extension as owl:Nothing.
conclusion document: conclusions002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t10.5
input document: inconsistent013

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Thing
level: DL
description: The extension of OWL Thing may be a singleton in OWL DL.
input document: consistent004

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_dum ABox test from DL98 systems comparison.
premise document: premises203
conclusion document: conclusions203

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
feature: equivalentClass
level: DL
description: A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.
input document: consistent009

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Class
level: Full
description: This test shows a correct application of OWL Full comprehension rules. It also shows that use of rdfs:Class instead of owl:Class may make a file fall outside OWL DL.
premise document: premises006
conclusion document: conclusions006

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: TransitiveProperty
level: DL
level: Full
description: Test illustrating extensional semantics of owl:TransitiveProperty.
premise document: premises002
conclusion document: conclusions002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions
input document: inconsistent650

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: Language Compliance Levels
level: Lite
description: The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.
input document: consistent010

test
type: ConsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6.
input document: consistent905

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: disjointWith
level: Full
description: Disjoint classes have different members.
premise document: premises002
conclusion document: conclusions002

test
type: InconsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: Restriction
level: Lite
level: Full
description: This test shows the syntax for using the same restriction twice in OWL Lite.
input document: inconsistent001

test
type: InconsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
level: Full
description: A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.
input document: inconsistent035

test
type: ImportEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeff Heflin
feature: imports
description: If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents.
premise document: premises001
imported premise document: support001-A
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issuette: misc-200-xmlliteral
level: Lite
not supported datatype: XMLLiteral
description: This shows that an OWL consistency checker which does not support the datatype rdf:XMLLiteral should not detect inconsistencies depending on it. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, but consistent in this test, which excludes such support.
input document: consistent205

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: fact4.2
input document: consistent605

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Aug/0021
creator: Jeremy J. Carroll
issue: UniqueProp BadName
feature: FunctionalProperty
level: Full
description: If prop belongs to owl:FunctionalProperty, and subject denotes a resource which is the subject of two prop triples, then the objects of these triples have the same denotation.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: The blank nodes in a class description in OWL DL may not form a directed cycle.
input document: consistent006

test
type: ConsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: disjointWith
level: DL
level: Full
description: If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.
input document: consistent009

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: Ontology
level: Lite
description: This is a variation of equivalentClass-001, showing the use of owl:Ontology triple only in the conclusions.
premise document: premises002
conclusion document: conclusions002

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: imports
level: Lite
description: It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document.
imported premise document: imports008
input document: main008

test
type: PositiveEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
supported datatype: nonNegativeInteger
supported datatype: nonPositiveInteger
supported datatype: int
description: 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger.
premise document: premises010
conclusion document: conclusions010

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: Any RDF/XML document is in OWL Full.
input document: consistent007

URI naming of instances
type: Issue
issue number: 2.1

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0064
creator: Dave Reynolds
feature: someValuesFrom
level: Lite
level: Full
description: A simple infinite loop for implementors to avoid.
premise document: premises003
conclusion document: conclusions003

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: fact4.2
input document: consistent005

Local Restrictions
type: Issue
issue number: 3.1

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking
input document: inconsistent627

test
type: NotOwlFeatureTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Lite
size: Small
description: owl:sameIndividualAs is not an OWL property.
input document: bad006

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Dan Connolly
issue: Datatypes
level: Full
supported datatype: decimal
description: This explores aliases of builtin datatypes.
premise document: premises017
conclusion document: conclusions017

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case
input document: consistent020

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent642

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Ian Horrocks
issue: Language Compliance Levels
level: Lite
description: A class like owl:Nothing can be defined using OWL Lite restrictions.
premise document: premises002
conclusion document: conclusions002

Malformed DAML+OIL Restrictions
type: Issue
issue number: 5.9

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking
input document: inconsistent027

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Charles White
issue: InverseOf
level: DL
level: Full
description: An example combinging owl:oneOf and owl:inverseOf.
premise document: premises001
conclusion document: conclusions001

test
type: OWLforOWLTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: Full
description: rdf:rest is a FunctionalProperty.
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: unionOf
description: A union is a superclass of its parts.
level: Full
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0064
creator: Jeremy J. Carroll
feature: AnnotationProperty
level: Full
description: Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment.
premise document: premises002
conclusion document: conclusions002

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: maxCardinality
description: A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit.
level: Full
input document: inconsistent002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: cardinality
level: Lite
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises001
conclusion document: conclusions001

Structured Datatypes
type: Issue
issue number: 4.3

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_grz ABox test from DL98 systems comparison.
premise document: premises664
conclusion document: conclusions664

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t10.4
input document: inconsistent612

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy
input document: inconsistent107

test
type: PositiveEntailmentTest
status: OBSOLETED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: Full
description: hasLeader may be stated to be the samePropertyAs hasHead.
premise document: premises006
conclusion document: conclusions006

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 0000.html
creator: Peter F. Patel-Schneider
issue: Datatypes
level: DL
used datatype: string
used datatype: integer
used datatype: byte
description: There are 256 different values for xsd:byte.
input document: consistent002

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: intersectionOf
level: Full
description: The order of the classes in an intersectionOf construct is unimportant.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: Lite
description: The inverse entailment of test 002 also holds.
premise document: premises003
conclusion document: conclusions003

XML presentation syntax
type: Issue
issue number: 5.17

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: sameClassAs
level: Lite
description: Two classes may be different names for the same set of individuals
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Ian Horrocks
issue: IF-or-IFF-property-properties
level: Lite
description: This is a typical definition of range from description logic.
premise document: premises003
conclusion document: conclusions003

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2002Sep/0047
creator: Jeremy J. Carroll
issue: UnambiguousProperty
feature: InverseFunctionalProperty
level: Full
description: If prop belongs to owl:InverseFunctionalProperty, and object denotes a resource which is the object of two prop triples, then the subjects of these triples have the same denotation.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentClass
level: Lite
description: Two classes may have the same class extension.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: misc-100-syntax
level: DL
description: Abstract syntax restrictions with multiple components are in OWL DL.
input document: consistent102

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0064
size: Large
creator: Jeremy J. Carroll
issuette: dl-500-SAT
level: DL
description: This is the classic 3 SAT problem.
comment: c genAlea with seed 67700557 p cnf 9 45 1 2 -4 0 -3 6 -4 0 9 -4 5 0 4 -6 -2 0 -2 -3 1 0 -3 8 7 0 -8 -2 3 0 -7 -6 9 0 1 -4 -6 0 -8 -5 -3 0 4 3 6 0 2 -1 4 0 -3 8 2 0 6 -2 9 0 7 -9 -2 0 2 -5 -7 0 5 2 9 0 6 -2 -7 0 -9 3 -2 0 1 7 4 0 -4 1 9 0 2 1 -6 0 7 -4 9 0 -5 3 -9 0 -4 9 -8 0 4 3 9 0 -7 9 5 0 4 1 3 0 -5 8 7 0 8 -7 3 0 4 -8 6 0 4 6 -5 0 -6 1 -9 0 1 9 -6 0 9 -8 3 0 6 3 -4 0 8 -4 6 0 -3 5 -8 0 -9 4 3 0 8 -4 2 0 -5 -2 -9 0 -7 -3 -4 0 -9 -4 -8 0 6 -4 -1 0 6 -7 -8 0
input document: inconsistent502

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Herman ter Horst
issue: Semantic-Layering
level: Full
description: This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL.
premise document: premises014
conclusion document: conclusions014

Entailing inconsistencies
type: Issue
issue number: 5.12

test
type: PositiveEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
supported datatype: nonNegativeInteger
supported datatype: nonPositiveInteger
supported datatype: short
description: 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger. 0 is an xsd:short.
premise document: premises009
conclusion document: conclusions009

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: Nothing
level: Lite
description: The triple asserts something of type owl:Nothing, however that is the empty class.
input document: inconsistent001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t10.4
input document: inconsistent012

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jos De Roo
feature: SymmetricProperty
level: Lite
level: Full
description: A Lite version of test 001.
premise document: premises003
conclusion document: conclusions003

drop-disjointUnionOf
type: Issue
issue number: 5.21

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_d4 ABox test from DL98 systems comparison.
premise document: premises202
conclusion document: conclusions202

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Thing
level: Lite
level: Full
description: The extension of OWL Thing may not be empty.
input document: inconsistent003

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t8.1
input document: consistent634

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: equivalentClass
level: DL
description: Annotation properties refer to a class instance. equivalentClass refers to the class extension.
premise document: premises008
conclusion document: nonconclusions008

test
type: PositiveEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: extra-000-arithmetic
level: Full
supported datatype: int
description: A more difficult prime factorization example.
premise document: premises004
conclusion document: conclusions004

test
type: NegativeEntailmentTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
feature: Class
level: DL
level: Full
description: This test shows a potential misapplication of OWL Full comprehension rules. It also shows optional type triples on an owl:Class.
premise document: premises005
conclusion document: nonconclusions005

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: TransitiveProperty
description: A simple illustration of transitivity.
premise document: premises001
conclusion document: conclusions001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case
input document: inconsistent019

test
type: NegativeEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
level: Full
size: Large
description: DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208).
premise document: premises209
conclusion document: nonconclusions209

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600.
premise document: premises904
conclusion document: nonconclusions904

Definitional Constraints on Conjunctive Types
type: Issue
issue number: 1.2

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: disjointWith
level: DL
description: Disjoint classes have different members.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t8.1
input document: consistent034

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: misc-200-xmlliteral
level: Lite
supported datatype: XMLLiteral
description: This shows a simple inconsistency depending on the datatype rdf:XMLLiteral. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, and consistent otherwise.
input document: inconsistent204

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: fact4.1
input document: inconsistent604

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: complementOf
description: complementOf is a SymmetricProperty.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple.
input document: consistent005

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: disjointWith
level: Full
description: A further example that cannot be generated from the mapping rule for DisjointClasses.
input document: consistent008

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Ontology
level: Lite
level: Full
description: This is a variation of equivalentClass-001, showing the use of owl:Ontology triples in the premises and conclusions.
premise document: premises001
conclusion document: conclusions001

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: imports
level: Lite
description: The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.
imported premise document: imports007
input document: main007

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Lite
description: A minimal OWL Lite version of test 005.
input document: consistent006

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: someValuesFrom
level: Full
description: A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom.
premise document: premises002
conclusion document: nonconclusions002

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: fact4.1
input document: inconsistent004

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking
input document: inconsistent626

test
type: NegativeEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Lite
level: Full
size: Small
description: owl:equivalentClass is not related to annotations on classes.
premise document: premises005
conclusion document: nonconclusions005

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0064
creator: Jeremy J. Carroll
issue: Datatypes
level: Full
used datatype: type
description: This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.
input document: consistent016

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept
input document: inconsistent641

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Ian Horrocks
issue: Language Compliance Levels
level: Lite
description: A class like owl:Nothing can be defined using OWL Lite restrictions.
input document: consistent001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking
input document: inconsistent026

test
type: OWLforOWLTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: Full
description: rdf:first is a FunctionalProperty.
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Ian Horrocks
issue: drop-disjointUnionOf
level: DL
level: Full
description: The construct used here shows how to express mutual disjointness between classes with O(N) triples.
premise document: premises002
conclusion document: conclusions002

Range restrictions should not be separate URIs
type: Issue
issue number: 5.7

test
type: NegativeEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: AnnotationProperty
level: Lite
description: The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.
premise document: premises001
conclusion document: nonconclusions001

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: maxCardinality
level: Full
description: A property with maximum cardinality of two cannot take three distinct values on some subject node.
input document: inconsistent001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 0000.html
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_dum ABox test from DL98 systems comparison.
premise document: premises663
conclusion document: conclusions663

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t10.3
input document: inconsistent611

test
type: PositiveEntailmentTest
status: OBSOLETED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: Full
description: If p and q have the same property extension then they p samePropertyAs q.
premise document: premises005
conclusion document: conclusions005

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
size: Large
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions
input document: inconsistent106

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: sameIndividualAs
level: Full
description: Annotation properties refer to a class instance. sameIndividualAs, in OWL Full, also refers to the class instance.
premise document: premises001
conclusion document: conclusions001

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Peter F. Patel-Schneider
issue: Datatypes
level: DL
supported datatype: byte
description: There are only 256 different values for xsd:byte.
input document: inconsistent001

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: Lite
description: A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: sameClassAs
level: Lite
description: Two classes may be different names for the same set of individuals
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Jonathan Borden
issue: IF-or-IFF-property-properties
level: Full
description: OWL, unlike RDFS, uses iff semantics for range.
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: OBSOLETED
creator: Jeremy J. Carroll
issuette: misc-100-syntax
level: Full
description: This document is OWL Lite according to the 3rd February working draft and to the 15th February editor's draft .
input document: consistent101

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Sean Bechhofer
creator: Jeremy J. Carroll
feature: imports
level: Full
description: When importing a file that uses an xml:base declaration, if you use a different URL in an owl:imports triple, that URL may be without an explicit type.
imported premise document: imports014
input document: main014

test
type: ConsistencyTest
status: EXTRACREDIT
level: Full
size: Large
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-500-SAT
level: DL
description: This is the classic 3 SAT problem.
comment: c genAlea with seed 1366722535 p cnf 9 45 7 -9 -8 0 1 2 -8 0 4 7 -5 0 2 3 -1 0 -1 5 8 0 -8 -6 -3 0 -3 -8 7 0 -3 6 8 0 -4 -6 8 0 6 7 3 0 3 6 -9 0 -5 -2 3 0 5 8 2 0 -2 -7 -3 0 -6 -8 -5 0 2 7 -3 0 9 -1 -2 0 1 7 -6 0 1 9 -3 0 -8 -9 -2 0 -9 -8 2 0 5 8 4 0 -7 2 5 0 -1 7 -4 0 7 -8 4 0 -3 2 -6 0 1 -2 -9 0 7 3 -2 0 -7 8 4 0 1 -7 -5 0 -5 4 -3 0 6 7 -1 0 -1 7 -9 0 3 2 6 0 8 3 -7 0 -1 9 -8 0 5 -9 -7 0 -7 3 -9 0 3 -1 -2 0 6 1 4 0 6 -7 5 0 8 -6 3 0 5 -2 6 0 8 3 -5 0 -2 -4 -9 0
input document: consistent501

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: Under the RDFS compatible semantics the entailment holds.
premise document: premises013
conclusion document: conclusions013

test
type: NegativeEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: cardinality
level: Full
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises007
conclusion document: nonconclusions007

test
type: PositiveEntailmentTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
supported datatype: short
supported datatype: unsignedInt
supported datatype: unsignedShort
description: -1 is an xsd:short that is not an xsd:unsignedShort; 100000 is an xsd:unsignedInt that is not an xsd:unsignedShort; but there are no xsd:unsignedShort which are neither xsd:short nor xsd:unsignedInt
premise document: premises008
conclusion document: conclusions008

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t10.3
input document: inconsistent011

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
creator: Jos De Roo
feature: SymmetricProperty
level: DL
level: Full
description: Test illustrating extensional semantics of owl:SymmetricProperty.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_branch ABox test from DL98 systems comparison.
premise document: premises201
conclusion document: conclusions201

test
type: InconsistencyTest
status: OBSOLETED
approval: 0000.html
creator: Jeremy J. Carroll
feature: Thing
level: Full
description: The extension of owl:Thing may not be emtpy in OWL Full.
input document: inconsistent002

test
type: NotOwlFeatureTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UnambiguousProperty
level: Lite
description: The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty.
input document: bad001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7f.3
input document: inconsistent633

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: equivalentClass
level: Full
description: De Morgan's law.
premise document: premises007
conclusion document: conclusions007

test
type: PositiveEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: extra-000-arithmetic
level: Full
supported datatype: int
description: Prime factorization can be expressed in OWL Full.
premise document: premises003
conclusion document: conclusions003

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Class
level: Full
description: Annotations about owl:Class are not related to those about rdfs:Class.
premise document: premises004
conclusion document: nonconclusions004

Internet Media Type for OWL
type: Issue
issue number: 5.13

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t3.1 There are 90 possible partitions in the satisfiable case
input document: consistent018

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
level: Full
size: Large
description: DL Test: k_poly ABox test from DL98 systems comparison.
premise document: premises208
conclusion document: conclusions208

owl:Class-still-needed
type: Issue
issue number: 5.22

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500.
premise document: premises903
conclusion document: conclusions903

Compound Keys
type: Issue
issue number: 6.2

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7f.3
input document: inconsistent033

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: misc-200-xmlliteral
level: Lite
supported datatype: XMLLiteral
description: This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL.
input document: inconsistent203

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: fact3.1
input document: inconsistent603

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: OWL DL Sytntax
level: Full
description: Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple.
input document: consistent004

test
type: ConsistencyTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: disjointWith
level: DL
level: Full
description: If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.
input document: consistent007

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: Restriction
level: Full
description: This test shows a correct application of OWL Full comprehension rules. It also shows that optional type triples on an owl:Restriction do not replace the obligatory ones.
premise document: premises006
conclusion document: conclusions006

test
type: ImportLevelTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: imports
level: Lite
description: The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.
imported premise document: imports006
input document: main006

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: Full
description: Any RDF/XML document is in OWL Full.
input document: consistent005

DisjointFrom
type: Issue
issue number: 3.3

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: oneOf
level: DL
size: Large
description: This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL.
premise document: premises004
conclusion document: conclusions004

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
feature: someValuesFrom
description: A simple example.
premise document: premises001
conclusion document: conclusions001

Enumerated Classes
type: Issue
issue number: 2.4

test
type: ConsistencyTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: Uniform treatment of literal data values
level: Full
used datatype: byte
used datatype: unsignedInt
description: There are 128 different bytes that are also unsigned integers; and hence also 127.
input document: consistent010

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: fact3.1
input document: inconsistent003

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model
input document: consistent625

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: EquivalentTo
level: Full
size: Small
description: owl:sameAs is stronger than owl:equivalentClass.
premise document: premises004
conclusion document: nonconclusions004

test
type: ConsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
level: Full
used datatype: type
description: This test illustrates the use of a user defined datatype. The informal description has no formal semantics.
input document: consistent015

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: differentFrom
level: Full
description: using distinctMembers to derive differentFrom
premise document: premises002
conclusion document: conclusions002

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model
input document: consistent025

test
type: InconsistencyTest
status: EXTRACREDIT
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is not 601.
input document: inconsistent910

test
type: NotOwlFeatureTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: drop-disjointUnionOf
level: Lite
description: daml:disjointUnionOf did not make it into OWL.
input document: bad001

test
type: InconsistencyTest
status: APPROVED
approval: 0000.html
creator: Ian Horrocks
issuette: dl-000-satisfiability
level: DL
level: Full
size: Large
description: This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies.
input document: inconsistent040

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: k_d4 ABox test from DL98 systems comparison.
premise document: premises662
conclusion document: conclusions662

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t10.2
input document: inconsistent610

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Sean Bechhofer
issuette: dl-100-heinsohn
level: DL
description: DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions
input document: inconsistent105

test
type: PositiveEntailmentTest
status: OBSOLETED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: samePropertyAs
level: DL
description: If p and q have the same property extension then they p samePropertyAs q.
premise document: premises004
conclusion document: conclusions004

test
type: NegativeEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issue: List syntax or semantics
level: Full
description: Comprehension does not build illformed lists.
premise document: premises007
conclusion document: nonconclusions007

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
feature: equivalentProperty
level: Lite
description: hasLeader may be stated to be the owl:equivalentProperty of hasHead.
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: IF-or-IFF-property-properties
level: Full
description: This entailment is similar to one that does not hold in RDFS.
premise document: premises001
conclusion document: conclusions001

test
type: ImportLevelTest
status: APPROVED
approval: 0000.html
creator: Jeremy J. Carroll
feature: imports
level: Full
description: An imported ontology must have type owl:Ontology to be in DL.
imported premise document: imports013
input document: main013

test
type: NotOwlFeatureTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jeremy J. Carroll
issue: UniqueProp BadName
level: Lite
description: The name UniqueProperty is not defined in the OWL namespace. daml:UniqueProperty corresponds to owl:FunctionalProperty.
input document: bad001

test
type: NegativeEntailmentTest
status: OBSOLETED
level: Full
creator: Jeremy J. Carroll
issue: Semantic-Layering
level: DL
description: Class valued annotations are different from object valued annotations under the direct semantics.
premise document: premises012
conclusion document: nonconclusions012

test
type: PositiveEntailmentTest
status: APPROVED
approval: 11-webont-irc
creator: Jeremy J. Carroll
feature: cardinality
level: Full
description: An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
premise document: premises006
conclusion document: conclusions006

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t2.2
input document: inconsistent617

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issue: Datatypes
level: Lite
used datatype: short
used datatype: unsignedByte
description: -1 is an xsd:short that is not an xsd:unsignedByte.
premise document: premises007
conclusion document: nonconclusions007

Unique-Names-Assumption-Support-in-OWL
type: Issue
issue number: 5.18

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: sameClassAs
level: Full
description: De Morgan's law.
premise document: premises007
conclusion document: conclusions007

Does OWL provide built in 'model checking' functionality
type: Issue
issue number: 4.7

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t10.2
input document: inconsistent010

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: SymmetricProperty
description: A simple illustration of symmetric properties.
premise document: premises001
conclusion document: conclusions001

test
type: ConsistencyTest
status: OBSOLETED
creator: Jeremy J. Carroll
feature: Thing
level: Lite
description: The extension of OWL Thing may be emtpy.
input document: consistent001

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: t7f.2
input document: inconsistent632

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Jeremy J. Carroll
feature: equivalentClass
level: DL
description: De Morgan's law.
premise document: premises006
conclusion document: conclusions006

hasClass ToClass names
type: Issue
issue number: 5.11

test
type: PositiveEntailmentTest
status: EXTRACREDIT
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: extra-000-arithmetic
level: Full
supported datatype: int
description: This test shows a relationship between integer multiplication and OWL Full.
premise document: premises002
conclusion document: conclusions002

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Oct/0040
creator: Jeremy J. Carroll
feature: Class
level: Full
description: In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
premise document: premises003
conclusion document: conclusions003

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t2.2
input document: inconsistent017

test
type: PositiveEntailmentTest
status: APPROVED
level: Full
approval: 11-webont-irc
size: Large
creator: Sean Bechhofer
issuette: dl-200-instance
level: DL
description: DL Test: k_ph ABox test from DL98 systems comparison.
premise document: premises207
conclusion document: conclusions207

test
type: NegativeEntailmentTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
description: This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6.
premise document: premises902
conclusion document: nonconclusions902

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
size: Large
creator: Sean Bechhofer
issuette: dl-000-satisfiability
level: DL
description: DL Test: t7f.2
input document: inconsistent032

test
type: ConsistencyTest
status: APPROVED
level: Full
approval: 11-webont-irc
creator: Jeremy J. Carroll
issuette: misc-200-xmlliteral
level: Lite
used datatype: XMLLiteral
description: This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL.
input document: consistent202

test
type: InconsistencyTest
status: APPROVED
level: Full
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0271
creator: Sean Bechhofer
issuette: dl-600-harderlite
level: Lite
description: DL Test: fact2.1
input document: inconsistent602

test
type: PositiveEntailmentTest
status: OBSOLETED
creator: Jos De Roo
feature: oneOfDistinct
level: Full
description: using oneOfDistinct to derive differentFrom
premise document: premises001
conclusion document: conclusions001

test
type: PositiveEntailmentTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444
creator: Jos De Roo
feature: AllDifferent
level: Full
description: using AllDifferent to derive differentFrom
premise document: premises001
conclusion document: conclusions001

test
type: InconsistencyTest
status: APPROVED
approval: http://lists.w3.org/Archives/Public/www-webont-wg/2003Dec/0006
creator: Jeremy J. Carroll
issuette: dl-900-arith
level: DL
level: Full
description: This test shows integer multiplication in OWL DL. For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K.
input document: inconsistent909