Training:Knowledge Representation Course, Paris, 2012

From Odp

(Difference between revisions)
Jump to: navigation, search
Current revision (21:42, 2 March 2014) (view source)
 
(9 intermediate revisions not shown.)
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. It includes novel and existing ODP material by Aldo Gangemi ([http://ontologydesignpatterns.org/wiki/Training:PhD_Course_on_Computational_Ontologies_%40_University_of_Bologna_2011 Computational Ontology Course] for ontology design on the semantic web, NL to KR representation and non-classical logics), open source material by Johan van Benthem's group ([http://staff.science.uva.nl/~jaspars/logicinaction/ Logic in Action course] for propositional, syllogistic, and predicate logic), by Pascal Hitzler ([http://www.semantic-web-book.org/page/KR4SW-12 KR for the Semantic Web course] for description logics and OWL), and by Sean Bechhofer ([http://owl.cs.manchester.ac.uk/2011/07/sssw/ SSSW OWL session] for practical OWL exercises).
+
|Goal=An introductory course to Knowledge Representation, centered on patterns at different levels. It includes novel and existing ODP material by Aldo Gangemi ([http://ontologydesignpatterns.org/wiki/Training:PhD_Course_on_Computational_Ontologies_%40_University_of_Bologna_2011 Computational Ontology Course] for ontology design on the semantic web, NL to KR representation), open source material by Johan van Benthem's group ([http://staff.science.uva.nl/~jaspars/logicinaction/ Logic in Action course] for propositional, syllogistic, and predicate logic), by Pascal Hitzler ([http://www.semantic-web-book.org/page/KR4SW-12 KR for the Semantic Web course] for description logics and OWL), and by Sean Bechhofer ([http://mowl-power.cs.man.ac.uk/2011/07/sssw/ SSSW OWL session] for practical OWL exercises).
-
|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, including design patterns; an overview of formal techniques for natural language representation into KR languages.
}}
}}
{{Tutorial resources begin}}
{{Tutorial resources begin}}
Line 65: Line 65:
{{External Resource Template
{{External Resource Template
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC6_TP_solutions.pdf
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC6_TP_solutions.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC7_slides_DL_OWL.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC8_slides_ontologydesign.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC8_TP.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC9_slides_patterns_nl.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC9_TP_patterns.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC10_XD.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC10_TP_ontologyrevision.pdf
 +
}}
 +
{{External Resource Template
 +
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC-RESUME.pdf
}}
}}
{{Tutorial exercises}}
{{Tutorial exercises}}

Current revision

Title: Knowledge Representation Course, Paris, 2012
Author(s): AldoGangemi

Goal:

An introductory course to Knowledge Representation, centered on patterns at different levels. It includes novel and existing ODP material by Aldo Gangemi (Computational Ontology Course for ontology design on the semantic web, NL to KR representation), open source material by Johan van Benthem's group (Logic in Action course for propositional, syllogistic, and predicate logic), by Pascal Hitzler (KR for the Semantic Web course for description logics and OWL), and by Sean Bechhofer (SSSW OWL session for practical OWL exercises).

Brief description

The course covers: informal KR; basics of propositional, syllogistic, predicate, and descriptive logics; KR for the Semantic Web, including design patterns; an overview of formal techniques for natural language representation into KR languages.

Resources:

Exercises: No exercises.

Create exercise for this tutorial | Training area
Personal tools
Quality Committee
Content OP publishers