|
|
Reasoning in Description Logics
Malenko, Jaromír ; Kučera, Antonín (advisor) ; Lukasová, Alena (referee) ; Křemen, Petr (referee)
Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: Prof. RNDr. Petr Štěpánek, DrSc.; Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Keywords: Description logic, Reasoner, Cartesian product, Non-monotonic reasoning Abstract: We deal with several aspects of reasoning in Description Logics. First, since description logic (DL) is a subset of First Order Logic (FOL), we use a FOL reasoner to reason in DL. We implemented dl2fol, a DL reasoner that takes an ontology (a DL theory with rules), translates it into a FOL theory, passes this set of formulae to an underling FOL reasoner, and interprets the result in terms of given ontology. This is an effective method for reasoning with newly introduced language constructors. However, we observed longer running times and that satisfiability of some DL concepts wasn't proved due to FOL undecidability. Second, we extend two DLs by introducing new language construct: cartesian product (CP) of concepts and roles. This allows for expressing relationships, that are not expressible by other means in weaker DLs. We...
|
|
|
The proposal to use agile development procedures of Scrum framework with UML modeling language applicable for creating websites
Kučera, Antonín ; Oškrdal, Václav (advisor) ; Luc, Ladislav (referee)
The main goal of this diploma thesis is the proposal to use agile development procedures of Scrum framework with UML modeling language applicable for creating websites of small scale. The emphasis is especially put on creating a practically usable type model of the websites. The theoretical part of the thesis has two main chapters. In the "Agile methodology" chapter are listed principles of agile approach to creating software. The next part of this chapter is focus on agile methodologies (Scrum, XP, ASD, FDD, DSDM, LD and Crystal). In the "UML" chapter is introduced modeling language UML and its principles. The next part of this chapter is focus on UML diagrams used in practical part of this thesis (use case diagram, class diagram, sequence diagram, activity diagram and deployment diagram). The practical part of this thesis focuses on the design type model for creating websites of small scale. The type model is based both on the theoretical part of this work and practical experience of the author. In the first part is introduced scheme of model, where is shown the mutual relationship of individual phases. In the next part of this chapter are discussed the individual phases where is used the principle of agile development framework Scrum and examples of use of the UML diagrams.
|
|
|
Types of eshops and promotion on the internet
Kučera, Antonín ; Pour, Jan (advisor) ; Oganesjan, Narek (referee)
Paper deals with the currently available solutions, online stores or eshops and shows the possibility of promoting them on the Internet. The first part focuses on different types of solutions of eshops and tries to emphasize their individual advantages and disadvantages, and functionality. Next part focuses on the promotion on the Internet itself and explains the key concepts and tools such as SEM, SEO, PPC, copywriting, banner, affiliate, and others that can be used to promote the eshop. For completeness there are given the less-used tools as Advergaming, video ads and more. The last part is devoted to future developments in the eshops and their possible promotion. There are also described possible trends, methods and technologies that are most likely to be used in the next few years. The work also includes some recommendations based on personal and practical experience in this area. These recommendations can not be taken as face value, but you it can be used as guidelines.
|
guest ::
RSS feed.