CAIA004 - Ontologias

Carga horária: 45 horas-aula (3 créditos)

Ementa: Lógica de primeira ordem, semântica de modelos e de mundos possíveis, modalidade. Modelos conceituais. Ontologias: definição, tipos, modelagem, tipos de raciocínio, avaliação da estrutura taxonômica, engenharia e linguagens de implementação.

Bibliografia:

• Ontological engineering: with examples from the areas of knowledge management, e-commerce and the semantic web. London, GB: Springer, c2004. 403 p. (Advanced information and knowledge processing), ISBN 1-85233-551-3
• STAAB, S., STUDER, R. HANDBOOK on ontologies. Stephen Staab Rudi Studer (eds.), Berlin; New York: Springer, c2004. 660 p., ISBN 3-540-40834-7
• DAVIES, J. Semantic web technologies: trends and research in ontology-based systems. Chichester; Hoboken, NJ: J. Wiley, c2006. 312 p. ISBN 0-470-02596-4
• GUARINO N. (1996). Understanding, Building, and Using Ontologies. Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW96), 1996.
• GRUBER T. R. (1993). Toward Principles for the Design of Ontologies Used for Knowledge Sharing, in Formal Ontology in Conceptual Analysis and Knowledge Representation, Nicola Guarino et Roberto Poli (eds.), Kluwer Academic Publishers, International Workshop on Formal Ontology, Padova, Italy, 1993.
• Sowa, J.F. Conceptual structures: information processing in mind and machine, Addison-Wesley Longman Publishing Co., Inc.1984, Boston, MA, USA, ISBN 0-201-14472-7
• Baader, F., McGuinness, D., Nardi, D., & Patel-Schneider, P. (2003). The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge, United Kingdom.