The course provides an introduction to the Knowledge Engineering (KE), and in particular to the KE concepts, models, and techniques adopted in the area of the Semantic Web.
The course consists of three parts: an introduction to Knowledge Based Systems and to the Semantic Web; an introduction to the specification of ontologies using Description Logic; a presentation of technologies and tools for the Semantic Web.
KNOWLEDGE BASED SYSTEMS AND THE SEMANTIC WEB
Knowledge and its representation in computer systems. Declarative and procedural representations. Types of inference: deduction, abduction, induction. The role of logic.
Knowledge bases and knowledge based systems. Ontologies and the Semantic Web..
Description logics as systems for the specification of ontologies.
The description logic SROIQ(D) and its relationship with the Web Ontology Language OWL 2.
Reasoning in description logic.
Specifying ontologies in SROIQ(D).
TECNOLOGIES AND TOOLS
Semantic Web technologies according to W3C recommendations: XML, RDF, RDFS, SPARQL, OWL 2.
Tools for the implementation and use of ontologies (ontology editors, ontology management systems, automatic reasoners).
Important prerequisites are Basic Computing, Naive Set Theory, and First Order Logic.
Software Engineering, Databases, and Theoretical Computer Science are relevant and useful, but not mandatory.