Information sheet ECTS Syllabus
Course syllabus I-RZZ - Knowledge representation (FEEIT - SS 2019/2020)
|University:||Slovak University of Technology in Bratislava|
|Course unit code:||I-RZZ|
|Course unit title:|
Mode of completion and Number of ECTS credits:
Exam (6 credits)
1. Language of naive set theory
2. Language of First order logic
3. Description logics
4. Sematic od DL and its relation to TM, FOL
5. Interpretation, normalization, emulation
6. Reasoning tasks and inference problems
7. DL and knowlwdge base
8. Ontology languages, OWL , RDF
9. OWL in practice, OWL-tools
10. Reasoning algorithms and tools.
11. Ontology development methodology
12. Relationship between Ontology, ER and OO modeling.
Last modification made by RNDr. Marian Puškár on 05/09/2019.