Search

Educational games are one of the significant elements that are used to innovate the educational process. The aim of the inclusion of these games is undoubtedly to motivate pupils and students to study, as well as significant attractiveness of the educational process. However, gamification (as this trend is generally referred to) is still a complement to other teaching methods. This paper explores the possibility of using the relatively open environment of LMS Moodle to implement gamification in teaching. [ABSTRACT FROM AUTHOR]

The article aims to understand the structure of the factory and to capture knowledge using ontology at the highest level of abstraction. The concept paradigm was used to create knowledge about the manufacturing company. The motivation of the article is the work in the plant and its help in describing the failure of individual machines. The result of this work is ontology, which bears the knowledge of the manufacturing plant (factory). [ABSTRACT FROM AUTHOR]

The basic component of modern elearning systems is usually a course. This virtual learning unit corresponds with an existing educational process, or at least with one of its parts. A course is understood as a collection of individual objects which represent the subject matter, perform feedback activities or diagnostic testing. Individual objects are grouped into partial units which correspond with partial presence educational activities. If specific relations between objects, or partial units, are defined, there is a need for a good design of the learning course. The objective of a relation is to apply a high level of individual approach and adaptive mechanisms while keeping the quality of the learning course outcome. Those are the aspects that direct to the use of modelling tools in the area of elearning courses to develop quality courses. This paper is devoted to the possibilities of using the Petri nets, hereinafter PN, for such modelling. [ABSTRACT FROM AUTHOR]

The article aims to process methods and algorithms of computer reading. The authors follow up on the previous work of the authors and describe the synthesis of Text to speech and show the possibilities of using libraries for the future intonation reader with a focus on the Czech language. The result of this study is an understanding of the methodology of reading the Czech text. [ABSTRACT FROM AUTHOR]

The article focuses on Smart Building and its realization. The Smart Building uses Loxone for home control. The article aims to describe the house, describe the Loxone system and its components (hardware). Next show distribution point - the intelligence of the Smart Building. In conclusion, the article deals with other possibilities of expanding the intelligent house and its vision. [ABSTRACT FROM AUTHOR]

The paper is devoted to the issue of NoSQL databases and their application in gradually increasing volumes of data in databases. Concerning approaches, three are covered: key-value databases, column-oriented databases, and document databases. [ABSTRACT FROM AUTHOR]

This article aims to build on the work of authors in research and work with intonation readers. This article focuses on the intonation of Czech sentences. In the introduction of the article are presented the methods and algorithms for the reading text. Subsequently, the authors will shortly describe the rules of intonation of Czech sentences and will present examples. [ABSTRACT FROM AUTHOR]

Deductive approaches in database systems are the outcome of the combination of logic programs and databases. They can potentially solve many problems in analysis, design and implementation of databases and information systems. This paper concentrates on deductive rules as a data derivation and integrity maintenance technique. Two database systems and their implementation of deductive rules are mentioned: Chimera and Oracle. [ABSTRACT FROM AUTHOR]

How does the human brain work? How can we make sentences and make sentences? These are the questions dealt with already many scientists and several companies developing artificial intelligence. This article presents a study on language networks. At the beginning is the research of the works that have already dealt with this issue. In the next part, the author deals with the application of language networks and semantic networks. [ABSTRACT FROM AUTHOR]

The aim of the article is the analysis and research of readers on the market and readers used at the University of Ostrava. There are many readers on the market, but often with machine translation. The second objective of the paper is an initial proposal intonation reader adapted for reading texts in the Czech language. The Czech language has a special intonation in contrast with the English language. For this reason, the English readers cannot be used to read of Czech texts. [ABSTRACT FROM AUTHOR]

The aim of the article is the beginning of the work of linguistics in the area of the study of the Slavic language - the Czech language. The article discusses the origination and binding of words in the Czech language, but on the basis of informatics. Informatics has many tools to analyze the Czech language. Compared to other languages, it offers different forms of words that are the subject of this research. [ABSTRACT FROM AUTHOR]

This article has two goals. In the introduction, the article explains the concept of data and information in an Smart Building, because the Smart Building is a collection a data and an information. The main purpose of this article is the second part. This section focuses on Smart Building sensors. The sensors are connected to the central unit and represent the central system in the Smart Building. The SBOnto ontology serves as a means of capturing the entire central system. [ABSTRACT FROM AUTHOR]

The article builds on previous work in the direction experiment how to define basic terminology of the English language morphology and syntax on the base of a first order logic's graphic tools. The aim of this article is to focus on word classes in sentence. We used Formal concept analysis as the means to analyse the words in the sentence. Formal concept analysis (FCA) as a methodology of data analysis. By FCA we will analyze the position of the word classes in the English sentence. The result will be a graph that will be used to form a formal ontology. [ABSTRACT FROM AUTHOR]

The article is devoted to study the morphology of natural language, in this case English language. The research is of the language is from the perspective of knowledge representation, when we look at the word as a concept in the Concept languages. The research is in the relationship of the individual words and their classification in the sentence. For the analysis there are used several methods (syntax, lexical categories, morphology). This article focuses mainly on the word, as the foundation of every natural language (English). [ABSTRACT FROM AUTHOR]

The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities. [ABSTRACT FROM AUTHOR]

Ontology or formal ontology? Which word is correct? The aim of this article is to introduce correct terms and explain their basis. Ontology describes a particular area of interest (domain) in a formal way - defines the classes of objects that are in that area, and relationships that may exist between them. Meaning of ontology consists mainly in facilitating communication between people, improve collaboration of software systems and in the improvement of systems engineering. Ontology in all these areas offer the possibility of unification of view, maintaining consistency and unambiguity. [ABSTRACT FROM AUTHOR]

Knowledge patterns are closely related to ontologies and knowledge bases. They represent general patterns of knowledge, which can be used in various ontologies. We propose to represent knowledge patterns in RDF language. This paper presents the possibilities of visualization of knowledge patterns in available editors of RDF graphs. [ABSTRACT FROM AUTHOR]

The article undergoes evaluation of formal systems created on the base of web (ontology/concept) languages by simplifying the usual approach of knowledge representation within the FOPL, but sharing its expressiveness, semantic correct-ness, completeness and decidability. Evaluation of two of them -- that one based on description logic and that one built on RDF model principles - identifies some of the lacks of those formal systems and presents, if possible, corrections of them. Possibilities to build an inference system capable to obtain new further knowledge over given knowledge bases including those describing domains by giant linked domain databases has been taken into account. Moreover, the directions towards simplifying FOPL language discussed here has been evaluated from the point of view of a possibility to become a web language for fulfilling an idea of semantic web. [ABSTRACT FROM AUTHOR]

RDF model and Sowovy conceptual graphs are two different directions, although are based on the associative (semantic) networks. This article is a build on the author's work concerning the modified RDF graph-based model, which has a higher expressiveness. This article aims to start work on both formal systems and find common features for conversion. The reason this work is RDF, which is a data format designed to enable semantic interoperability between computers, and the largest part of its specification provides the means for this in defining the core vocabulary, an XML serialization, inferencing, etc. [ABSTRACT FROM AUTHOR]