Sumários

11th

8 maio 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

An ontology on the cooking domain.

19th

3 maio 2019, 14:30 • Helena Sofia Andrade Nunes Pereira Pinto

Computing satisfaction in AL+.
Taxonomies in DL's.
Classification in AL+. Computing subsumers and subsumees.
Why DL's grow linearly with the taxonomy depth.
Taxonomies versus frame hierarchies; inheritance and role propagation.
More expressive DL's and their applications.
The Semantic Web.

10th P

3 maio 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

Representation of knowledge in AL+ and specification of the Semantics of operators in DL's.

18th

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

Correction of the Messages KL-ONE exercise.
Subsumption: Normalization and Structure Matching.
Exercises of Normalization and Structure Matching.

9th

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

Representation exercises in KL-ONE.