Students learn standards used for processing and sharing knowledge mainly in the area of web. They get used to designing and
using knowledge models, knowledge representation, and practical aspects as publishing, sharing, exchange, and acquisition
of knowledge on the web. The presentation is based on the idea of the semantic web, including its standards and technologies
(RDF, RDFS, OWL) and formal models.

Requirements:

Basic knwledge of algorithmics, web and database tachnologies, and algebra.

Syllabus of lectures:

1. Semantic web - motivation, needs, problems, examples.

2. XML and URI.

3. Data model RDF.

4. RDF Schema.

5. OWL - syntax and intuition.

6. SPARQL - syntax and intuition.

7. Formal semantics of RDF and RDFS.

8. Formal semantics of OWL and reasoning.

9. Semantics of SPARQL.

10. Basics of description logic (DL) and computational complexity of reasoning in DL.

5. Examples of ontologies, acquittance with Protege tool, selection of projects and creation of teams.

6. Ontology creation using a standard tool.

7. Querying RDF data by SPARQL.

8. Consultation on projects I.

9. Consultation on projects II.

10. Extraction tool - example.

11. Annotation of web resources by example.

12. Ontology mapping.

13. Delivering and presentation of projects I.

14. Delivering and presentation of projects II.

Study Objective:

This module is deals with methods and models supporting automated processing and sharing information on the web by content
and meaning. It focuses on formal models of knowledge representation (RDF, RDFS, OWL), their theoretical aspects (structures
and satisfiability, description logic, relation to rule based systems) and also on practical aspects (e.g., crawling and annotation
of web resources, user models, ontology mapping and querying).