Michal Kopecky

Learn More
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic together with XPath language to achieve needed expressive power. Standard quantifiers of first-order logic were extended to allow us to specify (either by count or by percentage) how(More)
There are two important shifts in software development: from object-oriented monoliths to service orientation and from the rigid specification-development-delivery to agile development when the needs of users are better taken into account as it can be reacted on the changes of the needs even during the development. In the point of intersection of these(More)
It is sometimes necessary to operate on data having different sets of attributes. It can be caused by the fact that the data come from different sources or that we collected different amount of information about different real-world entities. In such cases a unification of the data to be stored into tables causes either data loss or too frequent changes in(More)
In this paper, we present an algorithm for evaluating the similarity of pairs of signs used in sign language. The proposed algorithm is based on the visual similarity on the sign and compares sequences of static positions of the signing person. The algorithm does not rely on any particular way of obtaining necessary geometric form of signs. The usability of(More)
In this paper we describe the KTIML team approach to RuleML 2015 Rule-based Recommender Systems for the Web of Data Challenge Track. The task is to estimate the top 5 movies for each user separately in a semantically enriched MovieLens 1M dataset. We have three results. Best is a domain specific method like "recommend for all users the same set of movies(More)
Most development tools manipulate objects by changing values of their attributes. If the object should change more radically, problems arise. The amount of available information can vary from instance to instance and can be collected incrementally. It can happen that there exists no class suitable for all known attributes and so even movement of the(More)