Knowledge Representation

Code:

MCI0001

Acronym:

RC

Keywords
Classification	Keyword
OFICIAL	Information Science

Instance: 2009/2010 - 1S

Active?	Yes
Web Page:	http://www.fe.up.pt/si/conteudos_adm.conteudos_list?pct_pag_id=1639&pct_parametros=p_ano_lectivo=2009/2010-y-p_cad_codigo=MCI0001-y-p_periodo=1S
Responsible unit:	Department of Informatics Engineering
Course/CS Responsible:	Master in Information Science

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
MCI	39	Plano de estudos oficial	1	-	6	60	162

Teaching language

Portuguese

Objectives

On completion of this course, te student should be able to:
-Briefly describe the milestones in knowledge representation, in the philosophy and computing domains;
-Use the conceptual map technique to capture reality in a selected domain;
-Use First-Order Logic as a tool for knowledge representation and inference;
-Relate knowledge representation in logic with data representation in databases:
-Base the representation of a domain on an ontology and justify the choice of its concepts;
-Describe the principles of the semantic web and its relation with classic knowledge representation;
-Represent knowledge in a domain using the ontology tools of the semantic web;
-Choose tools to support the knowledge representation component of a project.

Program

Knowledge representation in time: from Aristotle to Predicate Calculus, to databases, to the semantic web.
Conceptual maps. Fundamentals. Applications. Tools.
Propositional Logic. Representing facts. Connectives. Inference.
Predicate Logic. Quantification. Inference. Automated reasoning.
Representing facts and the relational model. Database querying.
Domain ontologies. Choice and representation of an ontology. Ontology languages. OWL. INference in ontology languages.

Mandatory literature

Sowa, John F.; Knowledge representation. ISBN: 0-534-94965-7

Complementary Bibliography

Barwise, Jon; Language proof and logic. ISBN: 1-889119-08-3
W3C Semantic Web Activity: http://www.w3.org/2001/sw/

Teaching methods and learning activities

Tutorial classes are accompanied by practical sessions, using selected software. Students present their projects in the scheduled sessions.

Software

Protégé
LPL Software

Evaluation Type

Distributed evaluation with final exam

Assessment Components

Description	Type	Time (hours)	Weight (%)	End date
Attendance (estimated)	Participação presencial	38,00
Project 1: Conceptual map for a selected domain	Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	10,00		2009-10-13
Project 2: A 1st-order logic language	Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	30,00		2009-11-10
Project 3: An ontology for the selected domain	Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	30,00		2009-11-24
Exercises	Teste	27,00		2009-11-24
	Total:	-	0,00

Amount of time allocated to each course unit

Description	Type	Time (hours)	End date
Study	Estudo autónomo	27	2010-01-10
	Total:	27,00

Eligibility for exams

Distributed evaluation greater or equal to 8.

Calculation formula of final grade

Mark = round(0,3 AD + 0,7 EF).
AD - distributed evaluation
EF - final exam

Examinations or Special Assignments

Group presentation of projects.

Special assessment (TE, DA, ...)

All students have to complete the projects and present them as scheduled.