Training:Knowledge Representation Course, Paris, 2012
From Odp
(Difference between revisions)
Line 2: | Line 2: | ||
|Title=Knowledge Representation Course, Paris, 2012 | |Title=Knowledge Representation Course, Paris, 2012 | ||
|Author=AldoGangemi | |Author=AldoGangemi | ||
- | |Goal=An introductory course to Knowledge Representation, centered on patterns at different levels. Makes use of novel and existing ODP material by Aldo Gangemi, open source material by Johan van Benthem's group ( | + | |Goal=An introductory course to Knowledge Representation, centered on patterns at different levels. Makes use of novel and existing ODP material by Aldo Gangemi, open source material by Johan van Benthem's group ([http://staff.science.uva.nl/~jaspars/logicinaction/ | Logic in Action]) , as well as by Pascal Hitzler (basics of DL and OWL). |
|Description=The course covers: informal KR; basics of Propositional, Syllogistic, Predicate, and Descriptive logics; KR for the Semantic Web; an overview of Non-classical logics; an overview of formal techniques for natural language representation into KR languages. | |Description=The course covers: informal KR; basics of Propositional, Syllogistic, Predicate, and Descriptive logics; KR for the Semantic Web; an overview of Non-classical logics; an overview of formal techniques for natural language representation into KR languages. | ||
}} | }} |
Revision as of 12:14, 3 October 2012
Title: | Knowledge Representation Course, Paris, 2012 |
---|---|
Author(s): | AldoGangemi |
Goal:
[[Goal::An introductory course to Knowledge Representation, centered on patterns at different levels. Makes use of novel and existing ODP material by Aldo Gangemi, open source material by Johan van Benthem's group ([1]]
Brief description
The course covers: informal KR; basics of Propositional, Syllogistic, Predicate, and Descriptive logics; KR for the Semantic Web; an overview of Non-classical logics; an overview of formal techniques for natural language representation into KR languages.
Resources:
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_slides_informalkr.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD_solutions.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_slides_propositional.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_text.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_TD.pdf
Exercises: No exercises.