Sumários

17th T

24 abril 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto

Sum up of the KL-ONE T-Box Representation primitives. Sum up of the KL-ONE A-Box Representation primitives. The concrete syntax of KL-ONE.

The Semantics of KL-ONE:  Extension and the Semantics of the several T-Box Primitives.
AL+. Syntax, Semantics, Computing Entailments and Subsumption: KB simplification and Normalization.

9th P

24 abril 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

Representation exercises in KL-ONE.

16th T

12 abril 2019, 14:30 • Helena Sofia Andrade Nunes Pereira Pinto

Sum up of the KL-ONE T-Box Representation primitives. The concrete syntax of KL-ONE.
The A-Box and representing in it.
Reasoning in KL-ONE.
The Semantic System of KL-ONE:
The several Layers. The concept of Extension.

8th P

12 abril 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

Exercices on KEE.

15th T

10 abril 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto

Finding a Semantics for Frame Systems (Pat Hays, 1979) by translation.
Motivation for the Descriptions Logics family, main ideas.
KL-ONE system: Components. The Terminological Box (Concepts, Roles, Structural Conditions).