$Id: daml+oil-ex.daml,v 1.4 2001/01/11 20:33:52 mdean 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