Two Phase Description Logic Reasoning for Efficient Information Retrieval

Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are inefficient in the presence of large amounts of data. This paper summarizes the results in transforming DL axioms to a set of function-free clauses of first-order logic which can be used for efficient, query oriented data reasoning. The described method has been implemented in a module of the DLog reasoner openly available on SourceForge to download

Prolog Technology Reinforcement Learning Prover: (System Description)

We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning-guided Monte-Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. The toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions: (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. The complete toolkit is publicly released. © 2020, Springer Nature Switzerland AG

The effect of bud density on the composition of colour in red wines

Authors investigated the effect of fruit load on the composition of colour substances and of reservatrol in red wines of some grape varieties grown in Hungary. The content of both, anthocyanin compounds and reservatrol showed practically the same responses to fruit load and the same profile in all the varieties studied. Determination of these compounds solely is not sufficient to identify the respective grape variety

The effect of bud density on the composition of colour in red wines

Authors investigated the effect of fruit load on the composition of colour substances and of reservatrol in red wines of some grape varieties grown in Hungary. The content of both, anthocyanin compounds and reservatrol showed practically the same responses to fruit load and the same profile in all the varieties studied. Determination of these compounds solely is not sufficient to identify the respective grape variety