Difference between revisions of "Training:Knowledge Representation Course, Paris, 2012"

|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).

|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.