Filters








9 Hits in 2.0 sec

Data Science with Vadalog: Bridging Machine Learning and Reasoning [chapter]

Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
2018 Lecture Notes in Computer Science  
We argue that this is a significant step forward towards combining machine learning and reasoning in data science.  ...  There is currently a perceived disconnect between the traditional approaches for data science, typically based on machine learning and statistical modelling, and systems for reasoning with domain knowledge  ...  The Vadalog system is IP of the University of Oxford.  ... 
doi:10.1007/978-3-030-00856-7_1 fatcat:y6vhqytaqbfg7ev4li2zkn53m4

Swift Logic for Big Data and Knowledge Graphs [chapter]

Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2017 Lecture Notes in Computer Science  
In particular, such a system must be capable of performing complex reasoning tasks but, at the same time, achieve efficient and scalable reasoning over Big Data with an acceptable computational complexity  ...  Moreover, a KGMS needs interfaces to corporate databases, the web, and machinelearning and analytics packages. We present KRR formalisms and a system achieving these goals.  ...  The VADALOG system as presented here is the intellectual property of the University of Oxford.  ... 
doi:10.1007/978-3-319-73117-9_1 fatcat:kplzy4npfbeczixmten2iaaolu

Report on the Second International Joint Conference on Rules and Reasoning

Christoph Benzmüller, Xavier Parent, Francesco Ricca
2019 The AI Magazine  
This article reports on the Second International Joint Conference on Rules and Reasoning (RuleML+RR 2018), which was held at the University of Luxembourg from September 18–21, 2018.  ...  This year, special emphasis was put on applications of machine learning to Web semantics.  ...  Data.  ... 
doi:10.1609/aimag.v40i2.2888 fatcat:5gdysbs6lzhmtdlp6n7vuxowua

Foundations of Knowledge Graphs: Complexity of Arithmetic in Vadalog

Lucas Berent, Emanuel Sallinger, Markus Nissl
2021
In this work we investigate potential candidates for arithmetic in Vadalog and show that extending KG reasoning languages with arithmetic is a non-trivial problem.  ...  Vadalog is a powerful state-of-the-art Knowledge Graph (KG) system with strong theoretical underpinnings for its core logical reasoning component.  ...  The most interestingp arto fV adalog concerning this work is its logical core, with itsu nderlying Vadalog language and reasoning engine.  ... 
doi:10.34726/hss.2021.93121 fatcat:qprmcmcqdbgszly2brltbz2jgi

Deploying a Strategy to Unlock Big Data Research and Teaching Activities in the West Balkan Region

Damien Graux, Valentina Janev, Hajira Jabeen, Emanuel Sallinger
2021 Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1  
Big Data Analytics is a crucial component of the Big Data paradigm and deals with the extraction of knowledge from the enormous amount of data.  ...  Moreover, as this domain is rapidly involving, it is difficult to keep up to date with its latest and most efficient technologies; and this is thereby especially challenging for countries which have so  ...  This work was supported by the EU H2020 grant 809965 LAMBDA, the Vienna Science and Technology Fund (WWTF) grant VRG18-013, and the EPSRC grant EP/M025268/1.  ... 
doi:10.1145/3430665.3456325 fatcat:2r4j5t2ywreqhnglzgkx5jlfzy

Chapter 2 Knowledge Graphs: The Layered Perspective [chapter]

Luigi Bellomarini, Emanuel Sallinger, Sahar Vahdati
2020 Lecture Notes in Computer Science  
We will choose a particular perspective, which we will call the layered perspective, and three views on Knowledge Graphs.  ...  Many definitions exist of what a Knowledge Graph is, and in this chapter, we are going to take the position that precisely in the multitude of definitions lies one of the strengths of the area.  ...  Sallinger acknowledges the support of the Vienna Science and Technology (WWTF) grant VRG18-013 and the EPSRC programme grant EP/M025268/1.  ... 
doi:10.1007/978-3-030-53199-7_2 fatcat:yigsii66m5fonhnbkxymw24vhm

Semantic Intelligence in Big Data Applications [article]

Valentina Janev
2021 arXiv   pre-print
It also discusses prominent tools that leverage semantics, handle large data at scale and address challenges (e.g. heterogeneity, interoperability, machine learning explainability) in different industrial  ...  Semantic Intelligence is the process of bridging the semantic gap between human and computer comprehension by teaching a machine to think in terms of object-oriented concepts in the same way as a human  ...  No: 809965), and partly by the Ministry of Science and Technological Development of the Republic of Serbia and Science Fund of Republic of Serbia (Artemis).  ... 
arXiv:2107.03853v1 fatcat:5odmdvcfd5ewrnfao5tyexpf2q

Datalog Unchained

Victor Vianu
2021 Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems  
Datalog variants with forward chaining semantics have been adopted in a variety of settings, including active databases, production systems, distributed data exchange, and data-driven reactive systems.  ...  They can also incorporate in a natural fashion updates and nondeterminism.  ...  ACKNOWLEDGMENTS This work was supported in part by the ANR Headwork project ANR-16-CE23-0015 and the National Science Foundation under award III-1815247.  ... 
doi:10.1145/3452021.3458815 fatcat:b6mnoptf2jgdtl27xrt54z7r5u

Automating the repair of faulty logical theories [article]

Xue Li, University Of Edinburgh, Alan Bundy, Eugene Philalithis
2021
Belief revision incorporates a new piece of information which conflicts with the input theory by deleting old axioms.  ...  We are working on aligning these three techniques in ABC, which is capable of repairing logical theories with better result than each individual technique alone.  ...  Machine Learning (ML) Machine learning is a sub-field of AI but is often also referred to as predictive analysis or modelling.  ... 
doi:10.7488/era/1242 fatcat:6vzywk4e5jeonimrb7gcnnfvpu