5 papers
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…
Quantitative Logic Reasoning
Marcelo Finger
In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks thos…
A logical-based corpus for cross-lingual evaluation
Felipe Salvatore, Marcelo Finger, Roberto Hirata
At present, different deep learning models are presenting high accuracy on popular inference datasets such as SNLI, MNLI, and SciTail. However, there are different indicators that…
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder
Fabiano Ferreira Luz, Marcelo Finger
Semantic parsing can be defined as the process of mapping natural language sentences into a machine interpretable, formal representation of its meaning. Semantic parsing using LSTM…
Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention
Fabiano Ferreira Luz, Marcelo Finger
Semantic parsing is the process of mapping a natural language sentence into a formal representation of its meaning. In this work we use the neural network approach to transform nat…