Re: minor bug with S&AS 4.2

Jeremy Carroll wrote:

> I hope to generate some tests and test on Jena, WonderWeb and Pellet and 
> circulate the results tomorrow.

(better late than never)


I attach the test data as a zip.

Summary of results.

All the systems agree that anything can be used as the value of an 
annotation property.
The various tests on which builtins can be used in which roles give 
variable results. It is of course unknown whether this is:
a) a problem with the implementations
b) a problem with the text (the text I have proposed some changes to in 
section 4.2)
c) a problem with the test cases

I will try and make a cleaner format of the results before the meeting.

Jeremy

Jena:
type as annotation value;Lite
Property as annotation value;Lite
isDefinedBy as annotation value;Lite
seeAlso as annotation value;Lite
subClassOf as annotation value;Lite
member as annotation value;Lite
Datatype as annotation value;Lite
Statement as annotation value;Lite
Bag as annotation value;Lite
Seq as annotation value;Lite
Thing as annotation value;Lite
Nothing as annotation value;Lite
versionInfo as annotation value;Lite
priorVersion as annotation value;Lite
imports as annotation value;Lite
_2 as annotation value;Lite
subject as annotation value;Lite
predicate as annotation value;Lite
type as Datatype;Full
Property as Datatype;Full
isDefinedBy as Datatype;Full
seeAlso as Datatype;Full
subClassOf as Datatype;Full
member as Datatype;Full
Datatype as Datatype;Full
Statement as Datatype;Full
Bag as Datatype;Full
Seq as Datatype;Full
Thing as Datatype;Full
Nothing as Datatype;Full
versionInfo as Datatype;Full
priorVersion as Datatype;Full
imports as Datatype;Full
_2 as Datatype;Lite
subject as Datatype;Full
predicate as Datatype;Full
type as Class;Full
Property as Class;Full
isDefinedBy as Class;Full
seeAlso as Class;Full
subClassOf as Class;Full
member as Class;Full
Datatype as Class;Full
Statement as Class;Lite
Bag as Class;Lite
Seq as Class;Lite
Thing as Class;Lite
Nothing as Class;Lite
versionInfo as Class;Full
priorVersion as Class;Full
imports as Class;Full
_2 as Class;Lite
subject as Class;Full
predicate as Class;Full
type as AnnotationProperty;Full
Property as AnnotationProperty;Full
isDefinedBy as AnnotationProperty;Lite
seeAlso as AnnotationProperty;Lite
subClassOf as AnnotationProperty;Full
member as AnnotationProperty;Full
Datatype as AnnotationProperty;Full
Statement as AnnotationProperty;Full
Bag as AnnotationProperty;Full
Seq as AnnotationProperty;Full
Thing as AnnotationProperty;Full
Nothing as AnnotationProperty;Full
versionInfo as AnnotationProperty;Lite
priorVersion as AnnotationProperty;Full
imports as AnnotationProperty;Full
_2 as AnnotationProperty;Lite
subject as AnnotationProperty;Lite
predicate as AnnotationProperty;Lite
type as ObjectProperty;Full
Property as ObjectProperty;Full
isDefinedBy as ObjectProperty;Full
seeAlso as ObjectProperty;Full
subClassOf as ObjectProperty;Full
member as ObjectProperty;Full
Datatype as ObjectProperty;Full
Statement as ObjectProperty;Full
Bag as ObjectProperty;Full
Seq as ObjectProperty;Full
Thing as ObjectProperty;Full
Nothing as ObjectProperty;Full
versionInfo as ObjectProperty;Full
priorVersion as ObjectProperty;Full
imports as ObjectProperty;Full
_2 as ObjectProperty;Lite
subject as ObjectProperty;Lite
predicate as ObjectProperty;Lite
_2 as OntologyProperty;Lite
subject as OntologyProperty;Full
predicate as OntologyProperty;Full


WonderWeb:
type as annotation value;LITE
Property as annotation value;LITE
isDefinedBy as annotation value;LITE
seeAlso as annotation value;LITE
subClassOf as annotation value;LITE
member as annotation value;LITE
Datatype as annotation value;LITE
Statement as annotation value;LITE
Bag as annotation value;LITE
Seq as annotation value;LITE
Thing as annotation value;LITE
Nothing as annotation value;LITE
versionInfo as annotation value;LITE
priorVersion as annotation value;LITE
imports as annotation value;LITE
_2 as annotation value;LITE
subject as annotation value;LITE
predicate as annotation value;LITE
type as Datatype;LITE
Property as Datatype;LITE
isDefinedBy as Datatype;LITE
seeAlso as Datatype;LITE
subClassOf as Datatype;LITE
member as Datatype;LITE
Datatype as Datatype;LITE
Statement as Datatype;LITE
Bag as Datatype;LITE
Seq as Datatype;LITE
Thing as Datatype;LITE
Nothing as Datatype;LITE
versionInfo as Datatype;LITE
priorVersion as Datatype;LITE
imports as Datatype;LITE
_2 as Datatype;LITE
subject as Datatype;LITE
predicate as Datatype;LITE
type as Class;FULL
Property as Class;FULL
isDefinedBy as Class;LITE
seeAlso as Class;LITE
subClassOf as Class;FULL
member as Class;LITE
Datatype as Class;LITE
Statement as Class;LITE
Bag as Class;LITE
Seq as Class;LITE
Thing as Class;LITE
Nothing as Class;LITE
versionInfo as Class;FULL
priorVersion as Class;FULL
imports as Class;FULL
_2 as Class;LITE
subject as Class;FULL
predicate as Class;FULL
type as AnnotationProperty;LITE
Property as AnnotationProperty;LITE
isDefinedBy as AnnotationProperty;LITE
seeAlso as AnnotationProperty;LITE
subClassOf as AnnotationProperty;LITE
member as AnnotationProperty;LITE
Datatype as AnnotationProperty;LITE
Statement as AnnotationProperty;LITE
Bag as AnnotationProperty;LITE
Seq as AnnotationProperty;LITE
Thing as AnnotationProperty;LITE
Nothing as AnnotationProperty;LITE
versionInfo as AnnotationProperty;LITE
priorVersion as AnnotationProperty;FULL
imports as AnnotationProperty;FULL
_2 as AnnotationProperty;LITE
subject as AnnotationProperty;LITE
predicate as AnnotationProperty;LITE
type as ObjectProperty;FULL
Property as ObjectProperty;FULL
isDefinedBy as ObjectProperty;LITE
seeAlso as ObjectProperty;LITE
subClassOf as ObjectProperty;FULL
member as ObjectProperty;LITE
Datatype as ObjectProperty;LITE
Statement as ObjectProperty;LITE
Bag as ObjectProperty;FULL
Seq as ObjectProperty;LITE
Thing as ObjectProperty;LITE
Nothing as ObjectProperty;LITE
versionInfo as ObjectProperty;FULL
priorVersion as ObjectProperty;FULL
imports as ObjectProperty;FULL
_2 as ObjectProperty;LITE
subject as ObjectProperty;FULL
predicate as ObjectProperty;FULL
_2 as OntologyProperty;FULL
subject as OntologyProperty;FULL
predicate as OntologyProperty;FULL



Pellet:
type as annotation value;Lite
Property as annotation value;Lite
isDefinedBy as annotation value;Lite
seeAlso as annotation value;Lite
subClassOf as annotation value;Lite
member as annotation value;Lite
Datatype as annotation value;Lite
Statement as annotation value;Lite
Bag as annotation value;Lite
Seq as annotation value;Lite
Thing as annotation value;Lite
Nothing as annotation value;Lite
versionInfo as annotation value;Lite
priorVersion as annotation value;Lite
imports as annotation value;Lite
_2 as annotation value;Lite
subject as annotation value;Lite
predicate as annotation value;Lite
type as Datatype;Lite
Property as Datatype;Lite
isDefinedBy as Datatype;Lite
seeAlso as Datatype;Lite
subClassOf as Datatype;Lite
member as Datatype;Lite
Datatype as Datatype;Lite
Statement as Datatype;Lite
Bag as Datatype;Lite
Seq as Datatype;Lite
Thing as Datatype;Lite
Nothing as Datatype;Lite
versionInfo as Datatype;Lite
priorVersion as Datatype;Lite
imports as Datatype;Lite
_2 as Datatype;Lite
subject as Datatype;Lite
predicate as Datatype;Lite
type as Class;Lite
Property as Class;Lite
isDefinedBy as Class;http://www.w3.org/2000/01/rdf-schema#isDefinedBy is 
defined both as a class and a property
File has unsupported features
Unknown
seeAlso as Class;http://www.w3.org/2000/01/rdf-schema#seeAlso is defined 
both as a class and a property
File has unsupported features
Unknown
subClassOf as Class;Lite
member as Class;Lite
Datatype as Class;Lite
Statement as Class;Lite
Bag as Class;Lite
Seq as Class;Lite
Thing as Class;Lite
Nothing as Class;Lite
versionInfo as Class;http://www.w3.org/2002/07/owl#versionInfo is defined 
both as a class and a property
File has unsupported features
Unknown
priorVersion as Class;http://www.w3.org/2002/07/owl#priorVersion is defined 
both as a class and a property
File has unsupported features
Unknown
imports as Class;Lite
_2 as Class;Lite
subject as Class;Lite
predicate as Class;Lite
type as AnnotationProperty;Lite
Property as AnnotationProperty;Lite
isDefinedBy as AnnotationProperty;Lite
seeAlso as AnnotationProperty;Lite
subClassOf as AnnotationProperty;Lite
member as AnnotationProperty;Lite
Datatype as AnnotationProperty;Lite
Statement as AnnotationProperty;Lite
Bag as AnnotationProperty;Lite
Seq as AnnotationProperty;Lite
Thing as AnnotationProperty;Lite
Nothing as AnnotationProperty;Lite
versionInfo as AnnotationProperty;Lite
priorVersion as 
AnnotationProperty;http://www.w3.org/2002/07/owl#priorVersionis defined 
both as an AnnotationProperty and a OntologyProperty
File has unsupported features
Unknown
imports as AnnotationProperty;Lite
_2 as AnnotationProperty;Lite
subject as AnnotationProperty;Lite
predicate as AnnotationProperty;Lite
type as ObjectProperty;Lite
Property as ObjectProperty;Lite
isDefinedBy as 
ObjectProperty;http://www.w3.org/2000/01/rdf-schema#isDefinedBy is defined 
both as an ObjectProperty and a AnnotationProperty
File has unsupported features
Unknown
seeAlso as ObjectProperty;http://www.w3.org/2000/01/rdf-schema#seeAlso is 
defined both as an ObjectProperty and a AnnotationProperty
File has unsupported features
Unknown
subClassOf as ObjectProperty;Lite
member as ObjectProperty;Lite
Datatype as ObjectProperty;Lite
Statement as ObjectProperty;Lite
Bag as ObjectProperty;Lite
Seq as ObjectProperty;Lite
Thing as ObjectProperty;Lite
Nothing as ObjectProperty;Lite
versionInfo as ObjectProperty;http://www.w3.org/2002/07/owl#versionInfo is 
defined both as an ObjectProperty and a AnnotationProperty
File has unsupported features
Unknown
priorVersion as ObjectProperty;http://www.w3.org/2002/07/owl#priorVersion 
is defined both as an ObjectProperty and a OntologyProperty
File has unsupported features
Unknown
imports as ObjectProperty;Lite
_2 as ObjectProperty;Lite
subject as ObjectProperty;Lite
predicate as ObjectProperty;Lite
_2 as OntologyProperty;http://www.w3.org/2002/07/owl#OntologyProperty does 
not belong to OWL namespace
File has unsupported features
Unknown
subject as OntologyProperty;http://www.w3.org/2002/07/owl#OntologyProperty 
does not belong to OWL namespace
File has unsupported features
Unknown
predicate as 
OntologyProperty;http://www.w3.org/2002/07/owl#OntologyProperty does not 
belong to OWL namespace
File has unsupported features
Unknown

Received on Thursday, 15 January 2004 08:59:46 UTC