ClassL(part 2): Reasoning with a TBOX - SLIDE 01 
ClassL(part 2): Reasoning with a TBOX - SLIDE 02
ClassL(part 2): Reasoning with a TBOX - SLIDE 03
ClassL(part 2): Reasoning with a TBOX - SLIDE 04 
ClassL(part 2): Reasoning with a TBOX - SLIDE 05 
ClassL(part 2): Reasoning with a TBOX - SLIDE 06 
ClassL(part 2): Reasoning with a TBOX - SLIDE 07 
ClassL(part 2): Reasoning with a TBOX - SLIDE 08 
ClassL(part 2): Reasoning with a TBOX - SLIDE 09 
ClassL(part 2): Reasoning with a TBOX - SLIDE 10 
ClassL(part 2): Reasoning with a TBOX - SLIDE 11 
ClassL(part 2): Reasoning with a TBOX - SLIDE 12 
ClassL(part 2): Reasoning with a TBOX - SLIDE 13 
ClassL(part 2): Reasoning with a TBOX - SLIDE 14 
ClassL(part 2): Reasoning with a TBOX - SLIDE 15 
ClassL(part 2): Reasoning with a TBOX - SLIDE 16 
ClassL(part 2): Reasoning with a TBOX - SLIDE 17 
ClassL(part 2): Reasoning with a TBOX - SLIDE 18 
ClassL(part 2): Reasoning with a TBOX - SLIDE 19
ClassL(part 2): Reasoning with a TBOX - SLIDE 20
ClassL(part 2): Reasoning with a TBOX - SLIDE 21 
ClassL(part 2): Reasoning with a TBOX - SLIDE 22
ClassL(part 2): Reasoning with a TBOX - SLIDE 23
ClassL(part 2): Reasoning with a TBOX - SLIDE 24
ClassL(part 2): Reasoning with a TBOX - SLIDE 25
ClassL(part 2): Reasoning with a TBOX - SLIDE 26
ClassL(part 2): Reasoning with a TBOX - SLIDE 27
ClassL(part 2): Reasoning with a TBOX - SLIDE 28
ClassL(part 2): Reasoning with a TBOX - SLIDE 29
ClassL(part 2): Reasoning with a TBOX - SLIDE 30
ClassL(part 2): Reasoning with a TBOX - SLIDE 31
ClassL(part 2): Reasoning with a TBOX - SLIDE 32
ClassL(part 2): Reasoning with a TBOX - SLIDE 33
EXAMPLE: In a canine competition there are a lot of participants. Dogs can come from a pedigree mother or father; there are also some dog without pedigree.
It is noticed that all the Rottweilers have both pedigree parents, while all Dalmatas have a pedigree father. It is also noticed that all the finalist of the competition have both parents with pedigree, and there are no other dogs except of Dalmatas and Rottweilers.
Model this situation in ClassL.
Solutions:
A)
R = Rottweiler, D = Dalmata, F = finalists, MP = mother with pedigree, PP = father with pedigree:
R ⊆ MP ∩ PP
D ⊆ PP
F ⊆ MP ∩ PP
F ⊆ R ∪ D
|
