separator
University of Trento
Spring 2010

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

separator
University of Trento - Master in Computer Science