English
Related papers

Related papers: Translating OWL and Semantic Web Rules into Prolog…

200 papers

Semantic annotation is fundamental to deal with large-scale lexical information, mapping the information to an enumerable set of categories over which rules and algorithms can be applied, and foundational ontology classes can be used as a…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , André Freitas , Siegfried Handschuh

Despite numerous efforts by various developers, web service composition is still a difficult problem to tackle. Lot of progressive research has been made on the development of suitable standards. These researches help to alleviate and…

Software Engineering · Computer Science 2012-10-04 Bacem Wali , Bernard Gibaud

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

This paper develops the idea of membership function assignment for OWL (Web Ontology Language) ontology elements in order to subsequently generate fuzzy rules from this ontology. The task of membership function assignment for OWL ontology…

Artificial Intelligence · Computer Science 2014-11-14 Olegs Verhodubs

In this work, we present a novel approach to ontology reasoning that is based on deep learning rather than logic-based formal reasoning. To this end, we introduce a new model for statistical relational learning that is built upon deep…

Artificial Intelligence · Computer Science 2017-05-31 Patrick Hohenecker , Thomas Lukasiewicz

This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a…

Databases · Computer Science 2020-02-19 Fernando Sáenz-Pérez

The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics for hybrid knowledge…

Artificial Intelligence · Computer Science 2011-07-27 Martin Slota , João Leite

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

The following contribution introduces a concept that employs Large Language Models (LLMs) and a chatbot interface to enhance SPARQL query generation for ontologies, thereby facilitating intuitive access to formalized knowledge. Utilizing…

Information Retrieval · Computer Science 2024-10-18 Jonathan Reif , Tom Jeleniewski , Milapji Singh Gill , Felix Gehlhoff , Alexander Fay

Large Language Models (LLMs) have demonstrated unprecedented prowess across various natural language processing tasks in various application domains. Recent studies show that LLMs can be leveraged to perform lexical semantic tasks, such as…

Computation and Language · Computer Science 2024-07-30 Huu Tan Mai , Cuong Xuan Chu , Heiko Paulheim

The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data…

Artificial Intelligence · Computer Science 2021-04-06 Ana Ozaki

This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an intuitive connection between programs and knowledge graphs.…

Automating operations research (OR) with large language models (LLMs) remains limited by hand-crafted reasoning--execution workflows. Complex OR tasks require adaptive coordination among problem interpretation, mathematical formulation,…

Artificial Intelligence · Computer Science 2026-04-21 Jiahao Huang , Peilan Xu , Xiaoya Nan , Wenjian Luo

Agents, whether software or hardware, perceive their environment through sensors and act using actuators, often operating in dynamic, partially observable settings. They face challenges like incomplete and noisy data, unforeseen situations,…

Artificial Intelligence · Computer Science 2024-05-29 Saeedeh Ghanadbashi , Fatemeh Golpayegani

We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to…

Artificial Intelligence · Computer Science 2015-04-22 Mark Kaminski , Bernardo Cuenca Grau

This paper presents a logic language for expressing NP search and optimization problems. Specifically, first a language obtained by extending (positive) Datalog with intuitive and efficient constructs (namely, stratified negation,…

Logic in Computer Science · Computer Science 2009-11-17 Sergio Greco , Cristian Molinaro , Irina Trubitsyna , Ester Zumpano

Metamodeling refers to scenarios in ontologies in which classes and roles can be members of classes or occur in roles. This is a desirable modelling feature in several applications, but allowing it without restrictions is problematic for…

Logic in Computer Science · Computer Science 2025-02-14 Haya Majid Qureshi , Wolfgang Faber

Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance data of a domain. To effectively manage the evolution of…

Databases · Computer Science 2010-10-04 Michael Hartung , Anika Groß , Erhard Rahm

Recent advances in Language Models (LMs) have failed to mask their shortcomings particularly in the domain of reasoning. This limitation impacts several tasks, most notably those involving ontology engineering. As part of a PhD research, we…

Artificial Intelligence · Computer Science 2025-09-15 Hanna Abi Akl

Pinterest is a popular Web application that has over 250 million active users. It is a visual discovery engine for finding ideas for recipes, fashion, weddings, home decoration, and much more. In the last year, the company adopted Semantic…

Computation and Language · Computer Science 2020-12-17 Rafael S. Gonçalves , Matthew Horridge , Rui Li , Yu Liu , Mark A. Musen , Csongor I. Nyulas , Evelyn Obamos , Dhananjay Shrouty , David Temple