$Id: ont27,v 1.1.1.1 2002-12-19 19:24:22 bwm Exp $
Chimaera-JTP testing ontology
QueryList
List of queries on the given kb
QueryList
List of answers to the query
Query
a query class
This property specifies a query submitted to JTP.
This property specifies the answers returned by JTP.
This property specifies the number of erros found by JTP.
Test
Test is the template class of chimaera-jtp test cases.
This property specifies the query list submitted to JTP.
This property specifies the type of this test, either mandatory
or optional
KB to be tested.
Correct-Cardinality-Query
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
0
Test-Cardinality-1-1
normal case
(max-cardinality child fred 2)
(min-cardinality child fred 1)
Test-Cardinality-1-2
max-cardinality == min-cardinality
(max-cardinality child fred 2)
(min-cardinality child fred 2)
Test-Cardinality-1-3
max-cardinality less than min-cardinality
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 1 2)
1
(max-cardinality child fred 1)
(min-cardinality child fred 2)
Test-Cardinality-1-4
min-cardinality undefined
(max-cardinality child fred 2)
Test-Cardinality-1-5
max-cardinality undefined
(min-cardinality child fred 2)
Test-Cardinality-2-1
own slot/inheritance
(Own-slot-of child Person)
(max-cardinality child Person 2)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Own-slot-of child Male)
(max-cardinality child Male 3)
(min-cardinality child Male 0)
Test-Cardinality-2-2
own slot/inheritance
(Own-slot-of child Person)
(max-cardinality child Person 2)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Own-slot-of child Male)
(max-cardinality child Male 4)
(min-cardinality child Male 3)
Test-Cardinality-2-3
own slot/inheritance
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict Person child 1 2)
(frame-bounds-conflict Male child 1 3)
2
(Own-slot-of child Person)
(max-cardinality child Person 1)
(min-cardinality child Person 2)
(Subclass-Of Male Person)
(Own-slot-of child Male)
(max-cardinality child Male 1)
(min-cardinality child Male 3)
Test-Cardinality-3-1
template slot/inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 3)
(min-cardinality child fred 2)
Test-Cardinality-3-2
template slot/inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 3)
(min-cardinality child fred 3)
Test-Cardinality-3-3
template slot/inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 4)
(min-cardinality child fred 4)
Test-Cardinality-3-4
template slot/inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 4)
(min-cardinality child fred 1)
Test-Cardinality-3-5
fred-child max and min error
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 2 3)
1
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 2)
(min-cardinality child fred 3)
Test-Cardinality-3-6
Person-child max and fred-child min error
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 4 6)
1
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 7)
(min-cardinality child fred 6)
Test-Cardinality-3-7
Person-child max and fred-child min error;
fred-child max and fred-child min error
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 4 8)
(frame-bounds-conflict fred child 7 8)
2
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 7)
(min-cardinality child fred 8)
Test-Cardinality-3-8
inheritance/ Person-child max undefined
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 7)
(min-cardinality child fred 6)
Test-Cardinality-3-9
Person-child min and fred-child max error
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 0 1)
1
(min-cardinality child Person 1)
(Instance-of fred Person)
(max-cardinality child fred 0)
(min-cardinality child fred 0)
Test-Cardinality-3-10
Inheritance / Male-child max and min not redefined
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
Test-Cardinality-3-11
Inheritance / Subclass
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(max-cardinality child Male 4)
(min-cardinality child Male 2)
Test-Cardinality-3-12
Person-child max and Male-child min error;
Person-child min and Male-child max error;
Male-child max and Male-child min error;
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict Male child 4 5)
(frame-bounds-conflict Male child 0 5)
(frame-bounds-conflict Male child 0 1)
3
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(max-cardinality child Male 0)
(min-cardinality child Male 5)
Test-Cardinality-4-1
complex inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Instance-of fred Male)
(max-cardinality child fred 3)
(min-cardinality child fred 2)
Test-Cardinality-4-2
complex inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Instance-of fred Male)
(max-cardinality child fred 4)
(min-cardinality child fred 1)
Test-Cardinality-4-3
complex inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Instance-of fred Male)
(max-cardinality child fred 3)
(min-cardinality child fred 0)
Test-Cardinality-4-4
complex inheritance
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Instance-of fred Male)
(max-cardinality child fred 5)
(min-cardinality child fred 0)
Test-Cardinality-4-5
Person-child min and fred-child max error;
Person-child max and fred-child min error;
fred-child min and fred-child max error.
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 4 5)
(frame-bounds-conflict fred child 0 1)
(frame-bounds-conflict fred child 0 5)
3
(max-cardinality child Person 4)
(min-cardinality child Person 1)
(Subclass-Of Male Person)
(Instance-of fred Male)
(max-cardinality child fred 0)
(min-cardinality child fred 5)
Test-Cardinality-4-4
complex inheritance
(max-cardinality child Person 4)
(Subclass-Of Male Person)
(min-cardinality child Male 1)
(Instance-of fred Male)
(max-cardinality child fred 3)
(min-cardinality child fred 2)
Test-Cardinality-4-7
Person-child max and fred-child min error;
Male-child min and fred-child max error;
fred-child max and fred-child min error.
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 4 5)
(frame-bounds-conflict fred child 2 3)
(frame-bounds-conflict fred child 2 5)
3
(max-cardinality child Person 4)
(Subclass-Of Male Person)
(min-cardinality child Male 3)
(Instance-of fred Male)
(max-cardinality child fred 2)
(min-cardinality child fred 5)
Test-Cardinality-4-8
Mammal-child max and fred-child min error;
Male-child min and fred-child max error;
fred-child max and fred-child min error.
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 4 5)
(frame-bounds-conflict fred child 2 3)
(frame-bounds-conflict fred child 2 5)
3
(max-cardinality child Mammal 4)
(Subclass-Of Person Mammal)
(Subclass-Of Male Person)
(min-cardinality child Male 3)
(Instance-of fred Male)
(max-cardinality child fred 2)
(min-cardinality child fred 5)
Test-Cardinality-4-9
Mammal-child min and fred-child max error;
Person-child min and fred-child max error.
(frame-bounds-conflict ?fr ?sl ?hi ?lo)
(frame-bounds-conflict fred child 2 4)
(frame-bounds-conflict fred child 2 3)
2
(min-cardinality child Mammal 4)
(Subclass-Of Person Mammal)
(min-cardinality child Person 3)
(Subclass-Of Male Person)
(min-cardinality child Male 2)
(Instance-of fred Male)
(max-cardinality child fred 2)
(min-cardinality child fred 1)
All_Cardinality_test_cases