English
Related papers

Related papers: SHACL Constraints with Inference Rules

200 papers

We consider the class of conditional graph patterns (\emph{CGPs}) that allow user to query data graphs with complex patterns that contain negation and predicates. To overcome the prohibitive cost of subgraph isomorphism, we consider…

Databases · Computer Science 2022-07-27 Houari Mahfoud

The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly…

Networking and Internet Architecture · Computer Science 2007-11-12 Tim Berners-Lee , Dan Connolly , Lalana Kagal , Yosi Scharf , Jim Hendler

Video-and-Language Inference is a recently proposed task for joint video-and-language understanding. This new task requires a model to draw inference on whether a natural language statement entails or contradicts a given video clip. In this…

Computer Vision and Pattern Recognition · Computer Science 2021-08-10 Juncheng Li , Siliang Tang , Linchao Zhu , Haochen Shi , Xuanwen Huang , Fei Wu , Yi Yang , Yueting Zhuang

The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In…

Artificial Intelligence · Computer Science 2017-10-30 Renato Fabbri

Academic question answering (QA) in heterogeneous scholarly networks presents unique challenges requiring both structural understanding and interpretable reasoning. While graph neural networks (GNNs) capture structured graph information and…

Social and Information Networks · Computer Science 2026-01-30 Runsong Jia , Mengjia Wu , Ying Ding , Jie Lu , Yi Zhang

Recent efforts leverage Large Language Models (LLMs) for modeling text-attributed graph structures in node classification tasks. These approaches describe graph structures for LLMs to understand or aggregate LLM-generated textual attribute…

Computation and Language · Computer Science 2025-05-27 Huachi Zhou , Jiahe Du , Chuang Zhou , Chang Yang , Yilin Xiao , Yuxuan Xie , Xiao Huang

Relational data sources are still one of the most popular ways to store enterprise or Web data, however, the issue with relational schema is the lack of a well-defined semantic description. A common ontology provides a way to represent the…

Machine Learning · Computer Science 2018-01-31 Natalia Ruemmele , Yuriy Tyshetskiy , Alex Collins

Although SPARQL has been the predominant query language over RDF graphs, some query intentions cannot be well captured by only using SPARQL syntax. On the other hand, the keyword search enjoys widespread usage because of its intuitive way…

Databases · Computer Science 2014-12-02 Peng Peng , Lei Zou , Dongyan Zhao

Large language models (LLMs) allow users to query databases using natural language by translating questions into executable queries. Despite strong progress on tasks such as Text2SQL, Text2SPARQL, and Text2Cypher, most existing methods…

Computation and Language · Computer Science 2026-05-12 Makbule Gulcin Ozsoy

Statistical Relational Learning (SRL) methods have shown that classification accuracy can be improved by integrating relations between samples. Techniques such as iterative classification or relaxation labeling achieve this by propagating…

Information Retrieval · Computer Science 2017-02-13 Immanuel Bayer , Uwe Nagel , Steffen Rendle

Attempting to fully exploit the rich information of topological structure and node features for attributed graph, we introduce self-supervised learning mechanism to graph representation learning and propose a novel Self-supervised Consensus…

Social and Information Networks · Computer Science 2021-08-12 Changshu Liu , Liangjian Wen , Zhao Kang , Guangchun Luo , Ling Tian

We develop a general framework for conducting inference on the mean of dependent random variables given constraints on their dependency graph. We establish the consistency of an oracle variance estimator of the mean when the dependency…

Statistics Theory · Mathematics 2016-02-02 Peter M. Aronow , Forrest W. Crawford , José R. Zubizarreta

Traditional treatments of formal logic provide: 1. A syntax for formulas. 2. An inference relation between sets of formulas. 3. A rule for assigning meaning to formulas (semantics) that is sound with respect to the inference relation. First…

Logic · Mathematics 2016-09-06 Atish Bagchi , Charles Wells

Text classification plays an important role in various downstream text-related tasks, such as sentiment analysis, fake news detection, and public opinion analysis. Recently, text classification based on Graph Neural Networks (GNNs) has made…

Computation and Language · Computer Science 2025-12-24 Zuo Wang , Ye Yuan

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific…

Programming Languages · Computer Science 2019-02-06 Philipp Seifer , Martin Leinberger , Ralf Lämmel , Steffen Staab

The widespread adoption of encrypted communication protocols such as HTTPS and TLS has enhanced data privacy but also rendered traditional anomaly detection techniques less effective, as they often rely on inspecting unencrypted payloads.…

Cryptography and Security · Computer Science 2025-05-23 Kalindi Singh , Aayush Kashyap , Aswani Kumar Cherukuri

The amount of information produced, whether by newspapers, blogs and social networks, or by monitoring systems, is increasing rapidly. Processing all this data in real-time, while taking into consideration advanced knowledge about the…

Artificial Intelligence · Computer Science 2021-07-19 Ricardo Ferreira , Carolina Lopes , Ricardo Gonçalves , Matthias Knorr , Ludwig Krippahl , João Leite

From daily discussions to marketing ads to political statements, information manipulation is rife. It is increasingly more important that we have the right set of tools to defend ourselves from manipulative rhetoric, or fallacies. Suitable…

Artificial Intelligence · Computer Science 2023-10-26 Ryuta Arisaka , Ryoma Nakai , Yusuke Kawamoto , Takayuki Ito

In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \emph{demand} information -- i.e. knowing in advance which computations are needed and, to…

Programming Languages · Computer Science 2007-05-23 Julio Marino , Angel Herranz , Juan Jose Moreno-Navarro

The generalizability to new databases is of vital importance to Text-to-SQL systems which aim to parse human utterances into SQL statements. Existing works achieve this goal by leveraging the exact matching method to identify the lexical…

Computation and Language · Computer Science 2022-08-09 Aiwei Liu , Xuming Hu , Li Lin , Lijie Wen