scholarly journals Counting Query Answers over a DL-Lite Knowledge Base

2020 ◽  
Author(s):  
Diego Calvanese ◽  
Julien Corman ◽  
Davide Lanti ◽  
Simon Razniewski
Keyword(s):  
Knowledge Base ◽  
Data Access ◽  
Upper Bounds ◽  
Order Logic ◽  
Query Answering ◽  
First Order Logic ◽  
Management Systems ◽  
Query Rewriting ◽  
Data Complexity ◽  
First Order

Counting answers to a query is an operation supported by virtually all database management systems. In this paper we focus on counting answers over a Knowledge Base (KB), which may be viewed as a database enriched with background knowledge about the domain under consideration. In particular, we place our work in the context of Ontology-Mediated Query Answering/Ontology-based Data Access (OMQA/OBDA), where the language used for the ontology is a member of the DL-Lite family and the data is a (usually virtual) set of assertions. We study the data complexity of query answering, for different members of the DL-Lite family that include number restrictions, and for variants of conjunctive queries with counting that differ with respect to their shape (connected, branching, rooted). We improve upon existing results by providing PTIME and coNP lower bounds, and upper bounds in PTIME and LOGSPACE. For the LOGSPACE case, we have devised a novel query rewriting technique into first-order logic with counting.

scholarly journals Deterministic planning in incompletely known domains with local effects

2021 ◽  
Author(s):  
Vitaliy Batusov
Keyword(s):  
Knowledge Base ◽  
Order Logic ◽  
Query Answering ◽  
First Order Logic ◽  
Situation Calculus ◽  
Local Effects ◽  
First Order ◽  
Conformant Planning ◽  
Recent Advances ◽  
Planning Algorithm

Conformant planning has been traditionally studied in the form of classical planning extended with a mechanism for expressing unknown facts and/or disjunctive knowledge. Despite a sizable body of research, most approaches do not attempt to move beyond essentially propositional planning. We address this shortcoming by defining conformant planning in terms of the situation calculus semantics and use recent advances in the fields of first-order knowledge base progression and query answering to develop a sound and complete conformant planning algorithm capable of handling knowledge defined in an expressive fragment of first-order logic. We implement a prototype planner and evaluate its performance on several existing domains.

scholarly journals Deterministic planning in incompletely known domains with local effects

2021 ◽  
Author(s):  
Vitaliy Batusov
Keyword(s):  
Knowledge Base ◽  
Order Logic ◽  
Query Answering ◽  
First Order Logic ◽  
Situation Calculus ◽  
Local Effects ◽  
First Order ◽  
Conformant Planning ◽  
Recent Advances ◽  
Planning Algorithm

Conformant planning has been traditionally studied in the form of classical planning extended with a mechanism for expressing unknown facts and/or disjunctive knowledge. Despite a sizable body of research, most approaches do not attempt to move beyond essentially propositional planning. We address this shortcoming by defining conformant planning in terms of the situation calculus semantics and use recent advances in the fields of first-order knowledge base progression and query answering to develop a sound and complete conformant planning algorithm capable of handling knowledge defined in an expressive fragment of first-order logic. We implement a prototype planner and evaluate its performance on several existing domains.

scholarly journals Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability

2017 ◽  
Author(s):  
Carsten Lutz ◽  
Leif Sabellek
Keyword(s):  
Description Logic ◽  
Order Logic ◽  
First Order Logic ◽  
Data Complexity ◽  
First Order ◽  
Fine Grained ◽  
Linear Recursion

We consider ontology-mediated queries (OMQs) based on an EL ontology and an atomic query (AQ), provide an ultimately fine-grained analysis of data complexity and study rewritability into linear Datalog-aiming to capture linear recursion in SQL. Our main results are that every such OMQ is in AC0, NL-complete or PTime-complete, and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into first-order logic). We establish natural characterizations of the three cases, show that deciding linear Datalog rewritability (as well as the mentioned complexities) is ExpTime-complete, give a way to construct linear Datalog rewritings when they exist, and prove that there is no constant bound on the arity of IDB relations in linear Datalog rewritings.

Principles and practice in verifying rule-based systems

1992 ◽  
Vol 7 (2) ◽  
pp. 115-141 ◽  
Author(s):  
Alun D. Preece ◽  
Rajjan Shinghal ◽  
Aïda Batarekh
Keyword(s):  
Expert System ◽  
Knowledge Base ◽  
State Of The Art ◽  
Knowledge Bases ◽  
Order Logic ◽  
First Order Logic ◽  
Rule Based ◽  
First Order ◽  
Rule Bases ◽  
System Knowledge

AbstractThis paper surveys the verification of expert system knowledge bases by detecting anomalies. Such anomalies are highly indicative of errors in the knowledge base. The paper is in two parts. The first part describes four types of anomaly: redundancy, ambivalence, circularity, and deficiency. We consider rule bases which are based on first-order logic, and explain the anomalies in terms of the syntax and semantics of logic. The second part presents a review of five programs which have been built to detect various subsets of the anomalies. The four anomalies provide a framework for comparing the capabilities of the five tools, and we highlight the strengths and weaknesses of each approach. This paper therefore provides not only a set of underlying principles for performing knowledge base verification through anomaly detection, but also a survey of the state-of-the-art in building practical tools for carrying out such verification. The reader of this paper is expected to be familiar with first-order logic.

scholarly journals On the Expressiveness of Levesque's Normal Form

2008 ◽  
Vol 31 ◽  
pp. 259-272
Author(s):  
Y. Liu ◽  
G. Lakemeyer
Keyword(s):  
Normal Form ◽  
Knowledge Base ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Method ◽  
Closed World Assumption ◽  
First Order ◽  
Closed World ◽  
Polynomial Size

Levesque proposed a generalization of a database called a proper knowledge base (KB), which is equivalent to a possibly infinite consistent set of ground literals. In contrast to databases, proper KBs do not make the closed-world assumption and hence the entailment problem becomes undecidable. Levesque then proposed a limited but efficient inference method V for proper KBs, which is sound and, when the query is in a certain normal form, also logically complete. He conjectured that for every first-order query there is an equivalent one in normal form. In this note, we show that this conjecture is false. In fact, we show that any class of formulas for which V is complete must be strictly less expressive than full first-order logic. Moreover, in the propositional case it is very unlikely that a formula always has a polynomial-size normal form.

scholarly journals Creation of a consulting tool and implementation of an ontology for a Master’s Degree Program in Computer Sciences

2018 ◽  
Vol 19 (1) ◽  
pp. 29-38
Author(s):  
Cecilia Reyes Peña ◽  
Mireya Tovar Vidal ◽  
Concepción Stephanie Vázquez González
Keyword(s):  
Knowledge Base ◽  
Master's Degree ◽  
Order Logic ◽  
First Order Logic ◽  
Class Diagram ◽  
Design Phase ◽  
Master Program ◽  
First Order ◽  
Python Language ◽  
Master’S Degree

In this paper, a manual ontology for a Computer Sciences Master program constructed, that uses some elements from the METHONTOLOGY, Grüninger and Fox, and Bravo’s methodologies, is presented. A series of steps to identify and represent the Master’s Degree program’s knowledge base has been followed. Afterwards, first order logic axioms and competency questions to evaluate the ontology are used. The development of a module written in Python language is used for evaluating the ontology through competency questions defined during design phase. This module is flexible enough to present predefined or defined questions by the user in running time and to obtain results to the queries representing the competency questions. Elements as a hierarchy class diagram and a description of the relations and attributes are used in this ontology’s construction. Keywords: Ontology; Python tool; SPARQL language.

scholarly journals Satisfiability Checking and Query Answering for Large Ontologies

10.29007/n1sv ◽  
2018 ◽  
Author(s):  
Christoph Weidenbach ◽  
Patrick Wischnewski
Keyword(s):  
State Of The Art ◽  
The State ◽  
Order Logic ◽  
Query Answering ◽  
First Order Logic ◽  
First Order ◽  
Satisfiability Checking ◽  
Superposition Calculus

In this paper we develop a sound, complete and terminating superposition calculusplus a query answering calculus for the BSH-Y2 fragment of theBernays-Schoenfinkel Horn class of first-order logic.BSH-Y2 can be used to represent expressive ontologies.In addition to checking consistency, our calculus supports query answeringfor queries with arbitrary quantifier alternations.Experiments on BSH-Y2 (fragments) of several large ontologies show that ourapproach advances the state of the art.

scholarly journals Exact Query Reformulation over Databases with First-order and Description Logics Ontologies

2013 ◽  
Vol 48 ◽  
pp. 885-922 ◽  
Author(s):  
E. Franconi ◽  
V. Kerhet ◽  
N. Ngo
Keyword(s):  
General Framework ◽  
Description Logic ◽  
Description Logics ◽  
Effective Means ◽  
Order Logic ◽  
First Order Logic ◽  
Query Rewriting ◽  
Query Reformulation ◽  
First Order ◽  
Sql Query

We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent reformulation of a query in terms of the database signature, and if so, it provides an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (e.g., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. At the end, we present a non-trivial application of the framework with ontologies in the very expressive ALCHOIQ description logic, by providing effective means to compute safe-range first-order exact reformulations of queries.

scholarly journals Ontology-Mediated Query Answering for Key-Value Stores

2017 ◽  
Author(s):  
Meghyn Bienvenu ◽  
Pierre Bourhis ◽  
Marie-Laure Mugnier ◽  
Sophie Tison ◽  
Federico Ulliana
Keyword(s):  
Upper Bounds ◽  
Order Logic ◽  
Query Answering ◽  
Query Reformulation ◽  
Rule Based ◽  
Complexity Bounds ◽  
First Order ◽  
Ontology Language ◽  
Ontology Languages ◽  
Computational Properties

We propose a novel rule-based ontology language for JSON records and investigate its computational properties. After providing a natural translation into first-order logic, we identify relationships to existing ontology languages, which yield decidability of query answering but only rough complexity bounds. By establishing an interesting and non-trivial connection to word rewriting, we are able to pinpoint the exact combined complexity of query answering in our framework and obtain tractability results for data complexity. The upper bounds are proven using a query reformulation technique, which can be implemented on top of key-value stores, thereby exploiting their querying facilities.

Sign in / Sign up

Export Citation Format

Share Document