Query languages for graph databases started to be investigated some 25 years ago. With
much current data, such as linked data on the Web and social network data, being graph …

With large datasets such as Linked Open Data available, there is a need for more user-
friendly interfaces which will bring the advantages of these data closer to the casual users …

Linked Data brings inherent challenges in the way users and applications consume the
available data. Users consuming Linked Data on the Web, should be able to search and …

We develop query relaxation techniques for regular path queries and combine them with
query approximation in order to support flexible querying of RDF data when the user lacks …

Recent years have witnessed the development of large knowledge bases (KBs). Due to the
lack of information about the content and schema semantics of KBs, users are often not able …

Model checking is a fully-automatic formal verification method that has been extremely
successful in validating and verifying safety-critical systems in the past three decades. In the …

Knowledge graph (KG) embedding techniques represent entities and relations as low-
dimensional, continuous vectors, and thus enables machine learning models to be easily …

Although arguable success of today's keyword based search engines in certain information
retrieval tasks, ranking search results in a meaningful way remains an open problem. In this …

Several large uncertain knowledge bases (KBs) are available on the Web where facts are
associated with a certainty degree. When querying these uncertain KBs, users seek high …

Abstract Recently, several large Knowledge Bases (KBs) have been constructed by mining
the Web for information. As an increasing amount of inconsistent and non-reliable data are …