Daria Stepanova

Learn More
Advances in information extraction have enabled the automatic construction of large knowledge graphs (KGs) like DBpedia, Freebase, YAGO and Wikidata. These KGs are inevitably bound to be incomplete. To fill in the gaps, data correlations in the KG can be analyzed to infer Horn rules and to predict new facts. However, Horn rules do not take into account(More)
Answer set programs (ASP) with external evaluations are a declarative means to capture advanced applications. However, their evaluation can be expensive due to external source accesses. In this paper we consider HEX-programs that provide external atoms as a bidirectional interface to external sources and present a novel evaluation method based on support(More)
Nonmonotonic Description Logic (DL-) programs couple nonmonotonic logic programs with DL-ontologies through queries in a loose way which may lead to inconsistency, i.e., lack of an answer set. Recently defined repair answer sets remedy this but a straightforward computation method lacks practicality. We present a novel evaluation algorithm for deletion(More)
DL-programs couple nonmonotonic logic programs with DL-ontologies through queries in a loose way which may lead to inconsistency, i.e., lack of an answer set. Recently defined repair answer sets remedy this. In particular, for DL-LiteA ontologies, the computation of deletion repair answer sets can effectively be reduced to constraint matching based on(More)
The majority of modern-day companies store commercially sensitive and valuable information assets in digital form. It is essential for the Chief Information Security Officer (CISO) within an organisation to ensure that such information is adequately protected. External standards exist to advise CISOs on how to secure information, but these are essentially(More)
The development of intelligent systems based on structured representation of knowledge that are capable of exhibiting human-like reasoning is a key goal of artificial intelligence in general and the field of knowledge representation research in particular. Advances in the latter have given rise to various formalisms motivated by different application(More)
In the last couple of decades argumentation emerged as an important topic in Artificial Intelligence (AI). Having its origin in philosophy, law and formal logic, argumentation in combination with computer science has developed into various formal models, which nowadays are found in diverse applications including legal reasoning, E-Democracy tools, medical(More)
Recent advances in information extraction have led to the so-called knowledge graphs (KGs), i.e., huge collections of relational factual knowledge. Since KGs are automatically constructed, they are inherently incomplete, thus naturally treated under the Open World Assumption (OWA). Rule mining techniques have been exploited to support the crucial task of KG(More)