• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Research Seminar ''Intelligent Systems and Structural Analysis''

2021/2022
Academic Year
ENG
Instruction in English
4
ECTS credits
Course type:
Compulsory course
When:
1 year, 1-4 module

Instructors


Zakharyaschev, Mikhail

Course Syllabus

Abstract

The discipline goal is to develop students' professional skills in applied fields of the computer science. As part of the Scientific Seminar, the course "Introduction to the Number Theory and its Applications" will be read during the first semester and the course “Introduction to the Semantic Web Technologies” during the second semester. The course "Introduction to the Number Theory and its Applications" is aimed at the formation and development of theoretical-numerical thinking, as well as the understanding of the fundamental concepts of number theory and the ways in which they can be used in cryptography. The course “Introduction to the Semantic Web Technologies” is a gentle introduction to the theory and practice of the Semantic Web, an extension of the current Web that provides an easier way to find, share, reuse and combine information. It is based on machine-readable information and builds on XML technology's capability to define customized tagging schemes, RDF's (Resource Description Framework) flexible approach to representing data, the OWL (Web Ontology Language) schema language and SPARQL query language. The Semantic Web provides common formats for the interchange of data (where on the Web there is only an interchange of documents). It also provides a common language for recording how data relates to real world objects, allowing a person or a machine to start off in one database, and then move through an unending set of databases which are connected not by wires but by being about the same thing. Important applications of the Semantic Web technologies include Healthcare (SNOMED CT), Supply Chain Management (Biogen Idec), Media Management (BBC), Data Integration in the Oil & Gas industry (Chevron, Statoil), Web Search and E-commerce.
Learning Objectives

Learning Objectives

  • know some algorithms used in cryptography and based on the use of number- theoretic constructions
  • to understand the fundamental concepts of number theory and the ways in which they can be used in cryptography.
  • know the fundamental concepts of the Semantic Web, the structure of RDF and related technologies, such as RDFa and SPARQL
  • know the ontology language OWL 2 and its profiles, principles of ontology- based data access, the foundations of the basic representation of knowledge and formalisms of reasoning, such as the description logic
  • use terminology and methods for writing queries using SPARQL, writing ontologies in OWL 2
Expected Learning Outcomes

Expected Learning Outcomes

  • Students should be able to evaluate the greatest common divisor of two integers using Euclidean algorithm.Students should be able to solve linear equation ax+by=c using Euclidean algorithm.
  • Students should be able to evaluate the value of Legendre symbol.
  • Students should be able to find a continued fraction expansion of rational numbers and of quadratic irrationals. Students should be able to evaluate quadratic irrational by knowing its continued fraction expansion.
  • Students should be able to work with congruences and to apply theorem of Ferma and Euler
  • Students understand and use the ontology language OWL 2 and its profiles.
  • Students understand fundamental concepts, advantages and limitations of Semantic Technologies.
  • Students understand the basics of knowledge representation with description logics.
  • Students understand the principles of ontology-based data access and integration.
Course Contents

Course Contents

  • Euclidean algorithm.
  • Continued fractions
  • Prime Numbers
  • Multiplicative functions
  • The ring of integers modulo N
  • The Quadratic reciprocity law
  • Primitive roots.
  • Introduction to mathematical cryptography
  • Integer factorization
  • The Semantic Web and Knowledge Graphs introduction.
  • Ontologies in Description Logics. Lightweight description logic EL and Snomed CT. Syntax and semantics.
  • DL-Lite and Schema.org.
  • Expressive description logics ALC and its extensions.
  • The Web Ontology Language OWL.
  • First-Order Predicate Logic (FOPL) as an Ontology Language.
  • Query answering over data and knowledge bases.
  • Ontology Based Data Access.
Assessment Elements

Assessment Elements

  • non-blocking контрольная работа
  • non-blocking In-class test
    In-class written tests. Preparation time – 80 min.<br />3rd module.
  • non-blocking Exam
    Written exam. Preparation time– 120 min.<br />4th module. Оценка за дисциплину выставляется в соответствии с формулой оценивания от всех пройденных элементов контроля. Экзамен не проводится.
Interim Assessment

Interim Assessment

  • 2021/2022 4th module
    0.3 * Exam + 0.4 * контрольная работа + 0.3 * In-class test
  • 2022/2023 2nd module
Bibliography

Bibliography

Recommended Core Bibliography

  • J.H. Silverman, Jill Pipher, Jeffrey Hoffstein. An Introduction to Mathematical Cryptography. Springer-Verlag New York 2008
  • William Stein. Elementary Number Theory: Primes, Congruences, and Secrets. Springer, New York, NY

Recommended Additional Bibliography

  • Staab S., Studer R. Handbook on ontologies. – Springer, 2009. – 811 pp.