Related papers: Negation in SPARQL
We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use…
We introduce the notion of isoclinism among crossed modules of Lie algebras, which will be called "Lie crossed modules" hereafter, and investigate some basic properties. Additionally, we introduce the notion of class preserving actor of a…
This paper explores the properties of multiplicative Lie algebra structures on a nilpotent group of class $2$. We also present a method for determining a multiplicative Lie algebra structure on a group that serves as an extension of one Lie…
In this paper, we propose SPBERT, a transformer-based language model pre-trained on massive SPARQL query logs. By incorporating masked language modeling objectives and the word structural objective, SPBERT can learn general-purpose…
Neural Machine Translation (NMT) models from English to SPARQL are a promising development for SPARQL query generation. However, current architectures are unable to integrate the knowledge base (KB) schema and handle questions on knowledge…
We provide martingale analogs of weakly cancelling differential operators and prove a Sobolev-type embedding theorem for these operators in the martingale setting.
A (vector space) basis B of a Lie algebra is said to be very nilpotent if all the iterated brackets of elements of B are nilpotent. In this note, we prove a refinement of Engel's Theorem. We show that a Lie algebra has a very nilpotent…
Differentiations of operator algebras over non-archimedean spherically complete fields are investigated. Theorems about a differentiation being internal are demonstrated.
To provide stable and responsive public SPARQL query services, data providers enforce quotas on server usage. Queries which exceed these quotas are interrupted and deliver partial results. Such interruption is not an issue if it is possible…
Competency Questions (CQs) are natural language questions outlining and constraining the scope of knowledge represented by an ontology. Despite that CQs are a part of several ontology engineering methodologies, we have observed that the…
We propose a framework to model an operational conversational negation by applying worldly context (prior knowledge) to logical negation in compositional distributional semantics. Given a word, our framework can create its negation that is…
Let $H$ be a Hopf algebra. In this paper, we study a class of $H$-operators on $H$-pseudoalgebras, which resemble the Rota-Baxter $H$-operator, and they are called Rota-Baxter type $H$-operators. We firstly present some basic properties and…
In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras sp(n,R), in detail for n=6. Our choice of these algebras is motivated by the fact that…
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of…
Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B which is embedded with a stronger structure S. By a proper subset one understands a set included in A,…
We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as…
Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to reject instances that are hard to correctly classify and delegate…
Language models have been shown to exhibit positive scaling, where performance improves as models are scaled up in terms of size, compute, or data. In this work, we introduce NeQA, a dataset consisting of questions with negation in which…
Let L be a restricted Lie algebra over a field of positive characteristic. We survey the known results about the Lie structure of the restricted enveloping algebra u(L) of L. Related results about the structure of the group of units and the…
Negation poses a challenge in many natural language understanding tasks. Inspired by the fact that understanding a negated statement often requires humans to infer affirmative interpretations, in this paper we show that doing so benefits…