-
Deep learning-based method for weather forecasting: A case study in Itoshima
Authors:
Yuzhong Cheng,
Linh Thi Hoai Nguyen,
Akinori Ozaki,
Ton Viet Ta
Abstract:
Accurate weather forecasting is of paramount importance for a wide range of practical applications, drawing substantial scientific and societal interest. However, the intricacies of weather systems pose substantial challenges to accurate predictions. This research introduces a multilayer perceptron model tailored for weather forecasting in Itoshima, Kyushu, Japan. Our meticulously designed archite…
▽ More
Accurate weather forecasting is of paramount importance for a wide range of practical applications, drawing substantial scientific and societal interest. However, the intricacies of weather systems pose substantial challenges to accurate predictions. This research introduces a multilayer perceptron model tailored for weather forecasting in Itoshima, Kyushu, Japan. Our meticulously designed architecture demonstrates superior performance compared to existing models, surpassing benchmarks such as Long Short-Term Memory and Recurrent Neural Networks.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Rule Learning as Machine Translation using the Atomic Knowledge Bank
Authors:
Kristoffer Æsøy,
Ana Ozaki
Abstract:
Machine learning models, and in particular language models, are being applied to various tasks that require reasoning. While such models are good at capturing patterns their ability to reason in a trustable and controlled manner is frequently questioned. On the other hand, logic-based rule systems allow for controlled inspection and already established verification methods. However it is well-know…
▽ More
Machine learning models, and in particular language models, are being applied to various tasks that require reasoning. While such models are good at capturing patterns their ability to reason in a trustable and controlled manner is frequently questioned. On the other hand, logic-based rule systems allow for controlled inspection and already established verification methods. However it is well-known that creating such systems manually is time-consuming and prone to errors. We explore the capability of transformers to translate sentences expressing rules in natural language into logical rules. We see reasoners as the most reliable tools for performing logical reasoning and focus on translating language into the format expected by such tools. We perform experiments using the DKET dataset from the literature and create a dataset for language to logic translation based on the Atomic knowledge bank.
△ Less
Submitted 5 November, 2023;
originally announced November 2023.
-
Semiring Provenance for Lightweight Description Logics
Authors:
Camille Bourgaux,
Ana Ozaki,
Rafael Peñaloza
Abstract:
We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are annotated with elements of a commutative semiring and these annotations are propagated to the ontology consequences in a way that reflects how they are derived. We define a provenance semantics for a language that encompa…
▽ More
We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are annotated with elements of a commutative semiring and these annotations are propagated to the ontology consequences in a way that reflects how they are derived. We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees). We show that under some restrictions on the semiring, the semantics satisfies desirable properties (such as extending the semiring provenance defined for databases). We then focus on the well-known why-provenance, which allows to compute the semiring provenance for every additively and multiplicatively idempotent commutative semiring, and for which we study the complexity of problems related to the provenance of an axiom or a conjunctive query answer. Finally, we consider two more restricted cases which correspond to the so-called positive Boolean provenance and lineage in the database setting. For these cases, we exhibit relationships with well-known notions related to explanations in description logics and complete our complexity analysis. As a side contribution, we provide conditions on an ELHI_bot ontology that guarantee tractable reasoning.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Strong Faithfulness for ELH Ontology Embeddings
Authors:
Victor Lacerda,
Ana Ozaki,
Ricardo Guimarães
Abstract:
Ontology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to which the model must conform. Despite advances, most current approaches do not guarantee that the resulting embedding respects the axioms the ontol…
▽ More
Ontology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to which the model must conform. Despite advances, most current approaches do not guarantee that the resulting embedding respects the axioms the ontology entails. In this work, we formally prove that normalized ${\cal ELH}$ has the strong faithfulness property on convex geometric models, which means that there is an embedding that precisely captures the original ontology. We present a region-based geometric model for embedding normalized ${\cal ELH}$ ontologies into a continuous vector space. To prove strong faithfulness, our construction takes advantage of the fact that normalized ${\cal ELH}$ has a finite canonical model. We first prove the statement assuming (possibly) non-convex regions, allowing us to keep the required dimensions low. Then, we impose convexity on the regions and show the property still holds. Finally, we consider reasoning tasks on geometric models and analyze the complexity in the class of convex geometric models used for proving strong faithfulness.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Non-Normal Modal Description Logics (Extended Version)
Authors:
Tiziano Dalmonte,
Andrea Mazzullo,
Ana Ozaki,
Nicolas Troquard
Abstract:
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning over an object domain. However, the standard relational semantics for modalities is known to validate principles deemed problematic in agency, deontic, or e…
▽ More
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning over an object domain. However, the standard relational semantics for modalities is known to validate principles deemed problematic in agency, deontic, or epistemic applications. To overcome these difficulties, weaker systems of so-called non-normal modal logics, equipped with neighbourhood semantics that generalise the relational one, have been investigated both at the propositional and at the description logic level. We present here a family of non-normal modal description logics, obtained by extending ALC-based languages with non-normal modal operators. For formulas interpreted on neighbourhood models over varying domains, we provide a modular framework of terminating, correct, and complete tableau-based satisfiability checking algorithms in NExpTime. For a subset of these systems, we also consider a reduction to satisfiability on constant domain relational models. Moreover, we investigate the satisfiability problem in fragments obtained by disallowing the application of modal operators to description logic concepts, providing tight ExpTime complexity results.
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Learning Horn Envelopes via Queries from Large Language Models
Authors:
Sophie Blum,
Raoul Koudijs,
Ana Ozaki,
Samia Touileb
Abstract:
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In this approach, the oracle is a trained neural network. We consider Angluin's classical algorithm for learning Horn theories and study the necessary changes to make it applicable to learn from neural networks. In particular…
▽ More
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In this approach, the oracle is a trained neural network. We consider Angluin's classical algorithm for learning Horn theories and study the necessary changes to make it applicable to learn from neural networks. In particular, we have to consider that trained neural networks may not behave as Horn oracles, meaning that their underlying target theory may not be Horn. We propose a new algorithm that aims at extracting the "tightest Horn approximation" of the target theory and that is guaranteed to terminate in exponential time (in the worst case) and in polynomial time if the target has polynomially many non-Horn examples. To showcase the applicability of the approach, we perform experiments on pre-trained language models and extract rules that expose occupation-based gender biases.
△ Less
Submitted 13 September, 2023; v1 submitted 20 May, 2023;
originally announced May 2023.
-
Verifying Properties of Tsetlin Machines
Authors:
Emilia Przybysz,
Bimal Bhattarai,
Cosimo Persia,
Ana Ozaki,
Ole-Christoffer Granmo,
Jivitesh Sharma
Abstract:
Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into propositional logic and formally verify properties of TsMs using a SAT solver. In particular, we introduce in this work a notion of similarity of machine learning models and apply our notion to check for similarity of TsM…
▽ More
Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into propositional logic and formally verify properties of TsMs using a SAT solver. In particular, we introduce in this work a notion of similarity of machine learning models and apply our notion to check for similarity of TsMs. We also consider notions of robustness and equivalence from the literature and adapt them for TsMs. Then, we show the correctness of our encoding and provide results for the properties: adversarial robustness, equivalence, and similarity of TsMs. In our experiments, we employ the MNIST and IMDB datasets for (respectively) image and sentiment classification. We discuss the results for verifying robustness obtained with TsMs with those in the literature obtained with Binarized Neural Networks on MNIST.
△ Less
Submitted 2 July, 2023; v1 submitted 25 March, 2023;
originally announced March 2023.
-
Finite Based Contraction and Expansion via Models
Authors:
Ricardo Guimarães,
Ana Ozaki,
Jandson S. Ribeiro
Abstract:
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is crucial when we consider limited agents and reasoning algorithms. Moreover, having the input as arbitrary set of models is more general than the usual treatment o…
▽ More
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is crucial when we consider limited agents and reasoning algorithms. Moreover, having the input as arbitrary set of models is more general than the usual treatment of formulae as input. In this setting, we define new Belief Change operations akin to traditional expansion and contraction, and we identify the rationality postulates that emerge due to the finite representability requirement. We also analyse different logics concerning compatibility with our framework.
△ Less
Submitted 11 September, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Finding Common Ground for Incoherent Horn Expressions
Authors:
Ana Ozaki,
Anum Rehman,
Philip Turk,
Marija Slavkovik
Abstract:
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different people and institutions may use different rules to guide their conduct. We study the problem of reaching a common ground among possibly incoherent rules of conduct. We formally define a notion of common ground and discu…
▽ More
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different people and institutions may use different rules to guide their conduct. We study the problem of reaching a common ground among possibly incoherent rules of conduct. We formally define a notion of common ground and discuss the main properties of this notion. Then, we identify three sufficient conditions on the class of Horn expressions for which common grounds are guaranteed to exist. We provide a polynomial time algorithm that computes common grounds, under these conditions. We also show that if any of the three conditions is removed then common grounds for the resulting (larger) class may not exist.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Reasoning in Non-normal Modal Description Logics
Authors:
Tiziano Dalmonte,
Andrea Mazzullo,
Ana Ozaki
Abstract:
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating,…
▽ More
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating, correct, and complete tableau algorithms to check satisfiability of formulas in such logics with the semantics based on varying domains. We then investigate the satisfiability problems in fragments of these languages obtained by restricting the application of modal operators to formulas only, and interpreted on models with constant domains, providing tight complexity results.
△ Less
Submitted 30 June, 2022;
originally announced July 2022.
-
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach
Authors:
Johanna Jøsang,
Ricardo Guimarães,
Ana Ozaki
Abstract:
We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowledge graph (KG) completion with rule mining. More specifically, we mine rules from KGs before and after they have been completed by a KGE to compare possible differences in the rules extracted. We apply this method to classical KGEs approaches, in particular, TransE, DistMult and ComplEx. Our experiments indicate that there ca…
▽ More
We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowledge graph (KG) completion with rule mining. More specifically, we mine rules from KGs before and after they have been completed by a KGE to compare possible differences in the rules extracted. We apply this method to classical KGEs approaches, in particular, TransE, DistMult and ComplEx. Our experiments indicate that there can be huge differences between the extracted rules, depending on the KGE approach for KG completion. In particular, after the TransE completion, several spurious rules were extracted.
△ Less
Submitted 23 June, 2022; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Extracting Rules from Neural Networks with Partial Interpretations
Authors:
Cosimo Persia,
Ana Ozaki
Abstract:
We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts with a teacher (the neural network model) via queries in order to learn an abstract target concept, which in our case is a set of Horn rules. We consider partial interpretations to formulate the queries. These can be unders…
▽ More
We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts with a teacher (the neural network model) via queries in order to learn an abstract target concept, which in our case is a set of Horn rules. We consider partial interpretations to formulate the queries. These can be understood as a representation of the world where part of the knowledge regarding the truthiness of propositions is unknown. We employ Angluin s algorithm for learning Horn rules via queries and evaluate our strategy empirically.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Authors:
Alessandro Artale,
Andrea Mazzullo,
Ana Ozaki
Abstract:
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and synthesis of programs, as well as in knowledge representation and reasoning. In this paper, we focus on first-order temporal logic on finite traces. We first investi…
▽ More
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and synthesis of programs, as well as in knowledge representation and reasoning. In this paper, we focus on first-order temporal logic on finite traces. We first investigate preservation of equivalences and satisfiability of formulas between finite and infinite traces, by providing a set of semantic and syntactic conditions to guarantee when the distinction between reasoning in the two cases can be blurred. Moreover, we show that the satisfiability problem on finite traces for several decidable fragments of first-order temporal logic is ExpSpace-complete, as in the infinite trace case, while it decreases to NExpTime when finite traces bounded in the number of instants are considered. This leads also to new complexity results for temporal description logics over finite traces. Finally, we investigate applications to planning and verification, in particular by establishing connections with the notions of insensitivity to infiniteness and safety from the literature.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Revising Ontologies via Models: The ALC-formula Case
Authors:
Jandson S. Ribeiro,
Ricardo Guimarães,
Ana Ozaki
Abstract:
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specified using logical formulae. Instead, in the new setting for updating DL ontologies that we propose here, the input for the change is given by a model wh…
▽ More
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specified using logical formulae. Instead, in the new setting for updating DL ontologies that we propose here, the input for the change is given by a model which we want to add or remove. The main goal is to minimise the loss of information, without concerning with the syntactic structure. This new setting is motivated by scenarios where an ontology is built automatically and needs to be refined or updated. In such situations, the syntactical form is often irrelevant and the incoming information is not necessarily given as a formula. We define general operations and conditions on which they are applicable, and instantiate our approach to the case of ALC-formulae.
△ Less
Submitted 21 February, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
Geometric Models for (Temporally) Attributed Description Logics
Authors:
Camille Bourgaux,
Ana Ozaki,
Jeff Z. Pan
Abstract:
In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that convex geometric regions capture the so-called quasi-chained rules. Attributed description logics (DL) have been defined to bridge the gap between DL languages and knowledge graphs, whose facts often come with various kin…
▽ More
In the search for knowledge graph embeddings that could capture ontological knowledge, geometric models of existential rules have been recently introduced. It has been shown that convex geometric regions capture the so-called quasi-chained rules. Attributed description logics (DL) have been defined to bridge the gap between DL languages and knowledge graphs, whose facts often come with various kinds of annotations that may need to be taken into account for reasoning. In particular, temporally attributed DLs are enriched by specific attributes whose semantics allows for some temporal reasoning. Considering that geometric models and (temporally) attributed DLs are promising tools designed for knowledge graphs, this paper investigates their compatibility, focusing on the attributed version of a Horn dialect of the DL-Lite family. We first adapt the definition of geometric models to attributed DLs and show that every satisfiable ontology has a convex geometric model. Our second contribution is a study of the impact of temporal attributes. We show that a temporally attributed DL may not have a convex geometric model in general but we can recover geometric satisfiability by imposing some restrictions on the use of the temporal attributes.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
On Free Description Logics with Definite Descriptions
Authors:
Alessandro Artale,
Andrea Mazzullo,
Ana Ozaki,
Frank Wolter
Abstract:
Definite descriptions are phrases of the form 'the $x$ such that $\varphi$', used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the language, while also accounting for…
▽ More
Definite descriptions are phrases of the form 'the $x$ such that $\varphi$', used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the language, while also accounting for their possible lack of denotation. We focus on the extensions of $\mathcal{ALC}$ and, respectively, $\mathcal{EL}$ with nominals, the universal role, and definite descriptions. We show that standard reasoning in these extensions is not harder than in the original languages, and we characterise the expressive power of concepts relative to first-order formulas using a suitable notion of bisimulation. Moreover, we lay the foundations for automated support for definite descriptions generation by studying the complexity of deciding the existence of definite descriptions for an individual under an ontology. Finally, we provide a polynomial-time reduction of reasoning in other free description logic languages based on dual-domain semantics to the case of partial interpretations.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?
Authors:
Ana Ozaki
Abstract:
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 mining approaches that have been proposed for (semi-)automating the creation of description logic (DL) ontologies. These are based on association rule mining, forma…
▽ More
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 mining approaches that have been proposed for (semi-)automating the creation of description logic (DL) ontologies. These are based on association rule mining, formal concept analysis, inductive logic programming, computational learning theory, and neural networks. We provide an overview of each approach and how it has been adapted for dealing with DL ontologies. Finally, we discuss the benefits and limitations of each of them for learning DL ontologies.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
On the Complexity of Learning Description Logic Ontologies
Authors:
Ana Ozaki
Abstract:
Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a field called "Ontology Learning". We provide a formal specification of the exact and the probably approximately correct learning models from computational learni…
▽ More
Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a field called "Ontology Learning". We provide a formal specification of the exact and the probably approximately correct learning models from computational learning theory. Then, we recall from the literature complexity results for learning lightweight description logic (DL) ontologies in these models. Finally, we highlight other approaches proposed in the literature for learning DL ontologies.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Mining EL Bases with Adaptable Role Depth
Authors:
Ricardo Guimarães,
Ana Ozaki,
Cosimo Persia,
Baris Sertkaya
Abstract:
In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base consists of a set of concept inclusions instead of implications. In this setting, concept expressions can be arbitrarily large. Thus, it is not clear whether a finite base exists…
▽ More
In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base consists of a set of concept inclusions instead of implications. In this setting, concept expressions can be arbitrarily large. Thus, it is not clear whether a finite base exists and, if so, how large concept expressions may need to be. We first revisit results in the literature for mining EL bases from finite interpretations. Those mainly focus on finding a finite base or on fixing the role depth but potentially losing some of the valid concept inclusions with higher role depth. We then present a new strategy for mining EL bases which is adaptable in the sense that it can bound the role depth of concepts depending on the local structure of the interpretation. Our strategy guarantees to capture all EL concept inclusions holding in the interpretation, not only the ones up to a fixed role depth.
△ Less
Submitted 21 February, 2022; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Automated Reasoning in Temporal DL-Lite
Authors:
Sabiha Tahrat,
German Braun,
Alessandro Artale,
Marco Gario,
Ana Ozaki
Abstract:
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check satisfiability of TDL-Lite KBs. In particular, we test the robustness and the scalability of reasoners when dealing with TDL-Lite TBoxes paired with a temporal ABox. We conduct various experiments to analyse the performance…
▽ More
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check satisfiability of TDL-Lite KBs. In particular, we test the robustness and the scalability of reasoners when dealing with TDL-Lite TBoxes paired with a temporal ABox. We conduct various experiments to analyse the performance of different reasoners by randomly generating TDL-Lite KBs and then measuring the running time and the size of the translations. Furthermore, in an effort to make the usage of TDL-Lite KBs a reality, we present a fully fledged tool with a graphical interface to design them. Our interface is based on conceptual modelling principles and it is integrated with our translation tool and a temporal reasoner.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Authors:
Alessandro Artale,
Jean Christoph Jung,
Andrea Mazzullo,
Ana Ozaki,
Frank Wolter
Abstract:
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explicit definition exists iff a formula stating implicit definability is valid. Thus, the CIP and PBDP reduce potentially hard existence problems to entailment in the underlying logic. Description (and modal) logics with nomin…
▽ More
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explicit definition exists iff a formula stating implicit definability is valid. Thus, the CIP and PBDP reduce potentially hard existence problems to entailment in the underlying logic. Description (and modal) logics with nominals and/or role inclusions do not enjoy the CIP nor the PBDP, but interpolants and explicit definitions have many applications, in particular in concept learning, ontology engineering, and ontology-based data management. In this article we show that, even without Beth and Craig, the existence of interpolants and explicit definitions is decidable in description logics with nominals and/or role inclusions such as ALCO, ALCH and ALCHOI and corresponding hybrid modal logics. However, living without Beth and Craig makes this problem harder than entailment: the existence problems become 2ExpTime-complete in the presence of an ontology or the universal modality, and coNExpTime-complete otherwise. We also analyze explicit definition existence if all symbols (except the one that is defined) are admitted in the definition. In this case the complexity depends on whether one considers individual or concept names. Finally, we consider the problem of computing interpolants and explicit definitions if they exist and turn the complexity upper bound proof into an algorithm computing them, at least for description logics with role inclusions.
△ Less
Submitted 28 April, 2023; v1 submitted 6 July, 2020;
originally announced July 2020.
-
On the Learnability of Possibilistic Theories
Authors:
Cosimo Persia,
Ana Ozaki
Abstract:
We investigate learnability of possibilistic theories from entailments in light of Angluin's exact learning model. We consider cases in which only membership, only equivalence, and both kinds of queries can be posed by the learner. We then show that, for a large class of problems, polynomial time learnability results for classical logic can be transferred to the respective possibilistic extension.…
▽ More
We investigate learnability of possibilistic theories from entailments in light of Angluin's exact learning model. We consider cases in which only membership, only equivalence, and both kinds of queries can be posed by the learner. We then show that, for a large class of problems, polynomial time learnability results for classical logic can be transferred to the respective possibilistic extension. In particular, it follows from our results that the possibilistic extension of propositional Horn theories is exactly learnable in polynomial time. As polynomial time learnability in the exact model is transferable to the classical probably approximately correct model extended with membership queries, our work also establishes such results in this model.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Provenance for the Description Logic ELHr
Authors:
Camille Bourgaux,
Ana Ozaki,
Rafael Peñaloza,
Livia Predoiu
Abstract:
We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotatio…
▽ More
We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotation. We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency of the semiring. Under this assumption, we study three problems: ontology completion with provenance, computing the set of relevant axioms for a consequence, and query answering.
△ Less
Submitted 24 October, 2023; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Learning Query Inseparable ELH Ontologies
Authors:
Ana Ozaki,
Cosimo Persia,
Andrea Mazzullo
Abstract:
We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we are interested in computing an ontology H that entails the same queries as a target ontology T on A*, that is, H and T are inseparable w.r.t. A* and Q. The learner is allowed to pose two kinds of questions. The first is…
▽ More
We investigate the complexity of learning query inseparable ELH ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language Q, we are interested in computing an ontology H that entails the same queries as a target ontology T on A*, that is, H and T are inseparable w.r.t. A* and Q. The learner is allowed to pose two kinds of questions. The first is `Does (T,A)\models q?', with A an arbitrary data instance and q and query in Q. An oracle replies this question with `yes' or `no'. In the second, the learner asks `Are H and T inseparable w.r.t. A* and Q?'. If so, the learning process finishes, otherwise, the learner receives (A*,q) with q in Q, (T,A*)\models q and (H,A*)\not\models q (or vice-versa). Then, we analyse conditions in which query inseparability is preserved if A* changes. Finally, we consider the PAC learning model and a setting where the algorithms learn from a batch of classified data, limiting interactions with the oracles.
△ Less
Submitted 18 June, 2020; v1 submitted 17 November, 2019;
originally announced November 2019.
-
Enriching Ontology-based Data Access with Provenance (Extended Version)
Authors:
Diego Calvanese,
Davide Lanti,
Ana Ozaki,
Rafael Penaloza,
Guohui Xiao
Abstract:
Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through map**s to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query. We address this challenge by enriching OBDA with provenance semirings, taking inspiration from database theory. In particular, we investigate the problems of (i)…
▽ More
Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through map**s to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query. We address this challenge by enriching OBDA with provenance semirings, taking inspiration from database theory. In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance. Differently from pure databases, in our case these polynomials may be infinite. To regain finiteness, we consider idempotent semirings, and study the complexity in the case of DL-Lite ontologies. We implement Task (ii) in a state-of-the-art OBDA system and show the practical feasibility of the approach through an extensive evaluation against two popular benchmarks.
△ Less
Submitted 1 June, 2019;
originally announced June 2019.
-
Learning Ontologies with Epistemic Reasoning: The EL Case
Authors:
Ana Ozaki,
Nicolas Troquard
Abstract:
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistemic membership and example queries and show that polynomial learnability in this model coincides with polynomial learnability in Angluin's exact learning model with membership and equivalence queries. We then instantiate…
▽ More
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistemic membership and example queries and show that polynomial learnability in this model coincides with polynomial learnability in Angluin's exact learning model with membership and equivalence queries. We then instantiate our learning framework to EL and show some complexity results for an epistemic extension of EL where epistemic operators can be applied over the axioms. Finally, we transfer known results for EL ontologies and its fragments to our learning model based on epistemic reasoning.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Consequence-Based Axiom Pinpointing
Authors:
Ana Ozaki,
Rafael Peñaloza
Abstract:
Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointing, known as glass-box, is to modify a classical decision procedure for the entailments into a method that computes the solutions for the pinpointing problem. Recently, consequence-based decision procedures have been pro…
▽ More
Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointing, known as glass-box, is to modify a classical decision procedure for the entailments into a method that computes the solutions for the pinpointing problem. Recently, consequence-based decision procedures have been proposed as a promising alternative for tableaux-based reasoners for standard ontology languages. In this work, we present a general framework to extend consequence-based algorithms with axiom pinpointing.
△ Less
Submitted 25 May, 2018;
originally announced May 2018.
-
Exact Learning of Lightweight Description Logic Ontologies
Authors:
Boris Konev,
Carsten Lutz,
Ana Ozaki,
Frank Wolter
Abstract:
We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries. We admit membership queries ("is a given subsumption entailed by the target ontology?") and equivalence queries ("is a given ontology equivalent to the target ontology?"). We present three main results: (1) ontologies formulated in (two relevant versions of) the descripti…
▽ More
We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries. We admit membership queries ("is a given subsumption entailed by the target ontology?") and equivalence queries ("is a given ontology equivalent to the target ontology?"). We present three main results: (1) ontologies formulated in (two relevant versions of) the description logic DL-Lite can be learned with polynomially many queries of polynomial size; (2) this is not the case for ontologies formulated in the description logic EL, even when only acyclic ontologies are admitted; and (3) ontologies formulated in a fragment of EL related to the web ontology language OWL 2 RL can be learned in polynomial time. We also show that neither membership nor equivalence queries alone are sufficient in cases (1) and (3).
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
New Steps on the Exact Learning of CNF
Authors:
Montserrat Hermo,
Ana Ozaki
Abstract:
A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership or equivalence queries alone, it is open whether CNF can be polynomially learned using both types of queries. One of the most important results concerning a restrictio…
▽ More
A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership or equivalence queries alone, it is open whether CNF can be polynomially learned using both types of queries. One of the most important results concerning a restriction of the class CNF is that propositional Horn formulas are polynomial time learnable in Angluin's exact learning model with membership and equivalence queries. In this work we push this boundary and show that the class of multivalued dependency formulas (MVDF) is polynomially learnable from interpretations. We then provide a notion of reduction between learning problems in Angluin's model, showing that a transformation of the algorithm suffices to efficiently learn multivalued database dependencies from data relations. We also show via reductions that our main result extends well known previous results and allows us to find alternative solutions for them.
△ Less
Submitted 10 September, 2016;
originally announced September 2016.
-
Whole-body counter surveys of over 2700 babies and small children in and around Fukushima Prefecture 33 to 49 months after the Fukushima Daiichi NPP accident
Authors:
Ryugo S. Hayano,
Masaharu Tsubokura,
Makoto Miyazaki,
Akihiko Ozaki,
Yuki Shimada,
Toshiyuki Kambe,
Tsuyoshi Nemoto,
Tomoyoshi Oikawa,
Yukio Kanazawa,
Masahiko Nihei,
Yu Sakura,
Hiroaki Shimmura,
Junichi Akiyama,
Michio Tokiwa
Abstract:
BABYSCAN, a whole body counter (WBC) for small children was developed in 2013, and units have been installed at three hospitals in Fukushima Prefecture. Between December, 2013 and March, 2015, 2707 children between the ages of 0 and 11 have been scanned, and none had detectable levels of radioactive cesium. The minimum detectable activities (MDAs) for $^{137}$Cs were $\leq 3.5$ Bq kg$^{-1}$ for ag…
▽ More
BABYSCAN, a whole body counter (WBC) for small children was developed in 2013, and units have been installed at three hospitals in Fukushima Prefecture. Between December, 2013 and March, 2015, 2707 children between the ages of 0 and 11 have been scanned, and none had detectable levels of radioactive cesium. The minimum detectable activities (MDAs) for $^{137}$Cs were $\leq 3.5$ Bq kg$^{-1}$ for ages 0-1, decreasing to $\leq 2$ Bq kg$^{-1}$ for ages 10-11. Including the $^{134}$Cs contribution, these translate to a maximum committed effective dose of $\sim 16 μ$Sv y$^{-1}$ even for newborn babies, and therefore the internal exposure risks can be considered negligibly small.
Analysis of the questionnaire filled out by the parents of the scanned children regarding their families' food and water consumption revealed that the majority of children residing in the town of Miharu regularly consume local or home-grown rice and vegetables, while in Minamisoma, a majority avoid tap water and produce from Fukushima. The data show, however, no correlation between consumption of locally produced food and water and the children's body burdens.
△ Less
Submitted 7 September, 2015; v1 submitted 30 July, 2015;
originally announced July 2015.
-
OISTER Optical and Near-Infrared Observations of Type Iax Supernova 2012Z
Authors:
Masayuki Yamanaka,
Keiichi Maeda,
Koji S. Kawabata,
Masaomi Tanaka,
Nozomu Tominaga,
Hiroshi Akitaya,
Takahiro Nagayama,
Daisuke Kuroda,
Jun Takahashi,
Yoshihiko Saito,
Kenshi Yanagisawa,
Akihiko Fukui,
Ryo Miyanoshita,
Makoto Watanabe,
Akira Arai,
Mizuki Isogai,
Takashi Hattori,
Hidekazu Hanayama,
Ryosuke Itoh,
Takahiro Ui,
Katsutoshi Takaki,
Issei Ueno,
Michitoshi Yoshida,
Gamal B. Ali,
Ahmed Essam
, et al. (8 additional authors not shown)
Abstract:
We report observations of the Type Iax supernova (SN Iax) 2012Z at optical and near-infrared wavelengths from immediately after the explosion until $\sim$ $260$ days after the maximum luminosity using the Optical and Infrared Synergetic Telescopes for Education and Research (OISTER) Target-of-Opportunity (ToO) program and the Subaru telescope. We found that the near-infrared (NIR) light curve evol…
▽ More
We report observations of the Type Iax supernova (SN Iax) 2012Z at optical and near-infrared wavelengths from immediately after the explosion until $\sim$ $260$ days after the maximum luminosity using the Optical and Infrared Synergetic Telescopes for Education and Research (OISTER) Target-of-Opportunity (ToO) program and the Subaru telescope. We found that the near-infrared (NIR) light curve evolutions and color evolutions are similar to those of SNe Iax 2005hk and 2008ha. The NIR absolute magnitudes ($M_{J}\sim-18.1$ mag and $M_{H}\sim-18.3$ mag) and the rate of decline of the light curve ($Δ$ $m_{15}$($B$)$=1.6 \pm 0.1$ mag) are very similar to those of SN 2005hk ($M_{J}\sim-17.7$ mag, $M_{H}\sim$$-18.0$ mag, and $Δ$ $m_{15}$($B$)$\sim1.6$ mag), yet differ significantly from SNe 2008ha and 2010ae ($M_{J}\sim-14 - -15$ mag and $Δ$ $m_{15}$($B$)$\sim2.4-2.7$ mag). The estimated rise time is $12.0 \pm 3.0$ days, which is significantly shorter than that of SN 2005hk or any other Ia SNe. The rapid rise indicates that the $^{56}$Ni distribution may extend into the outer layer or that the effective opacity may be lower than that in normal SNe Ia. The late-phase spectrum exhibits broader emission lines than those of SN 2005hk by a factor of 6--8. Such high velocities of the emission lines indicate that the density profile of the inner ejecta extends more than that of SN 2005hk. We argue that the most favored explosion scenario is a `failed deflagration' model, although the pulsational delayed detonations is not excluded.
△ Less
Submitted 11 May, 2015; v1 submitted 7 May, 2015;
originally announced May 2015.
-
Multi-wavelength observations of the black widow pulsar 2FGL J2339.6-0532 with OISTER and Suzaku
Authors:
Yoichi Yatsu,
Jun Kataoka,
Yosuke Takahashi,
Yutaro Tachibana,
Nobuyuki Kawai,
Shimpei Shibata,
Sean Pike,
Taketoshi Yoshii,
Makoto Arimoto,
Yoshihiko Saito,
Takeshi NakamorI,
Kazuhiro Sekiguchi,
Daisuke Kuroda,
Kenshi Yanagisawa,
Hidekazu Hanayama,
Makoto Watanabe,
Ko Hamamoto,
Hikaru Nakao,
Akihito Ozaki,
Kentaro Motohara,
Masahiro Konishi,
Ken Tateuchi,
Noriyuki Matsunaga,
Tomoki Morokuma,
Takahiro Nagayama
, et al. (19 additional authors not shown)
Abstract:
Multi-wavelength observations of the black-widow binary system 2FGL J2339.6-0532 are reported. The Fermi gamma-ray source 2FGL J2339.6-0532 was recently categorized as a black widow in which a recycled millisecond pulsar (MSP) is evaporating up the companion star with its powerful pulsar wind. Our optical observations show clear sinusoidal light curves due to the asymmetric temperature distributio…
▽ More
Multi-wavelength observations of the black-widow binary system 2FGL J2339.6-0532 are reported. The Fermi gamma-ray source 2FGL J2339.6-0532 was recently categorized as a black widow in which a recycled millisecond pulsar (MSP) is evaporating up the companion star with its powerful pulsar wind. Our optical observations show clear sinusoidal light curves due to the asymmetric temperature distribution of the companion star. Assuming a simple geometry, we constrained the range of the inclination angle of the binary system to 52$^{\circ}$ < i < 59$^{\circ}$, which enables us to discuss the interaction between the pulsar wind and the companion in detail. The X-ray spectrum consists of two components: a soft, steady component that seems to originate from the surface of the MSP, and a hard variable component from the wind-termination shock near the companion star. The measured X-ray luminosity is comparable to the bolometric luminosity of the companion, meaning that the heating efficiency is less than 0.5. In the companion orbit, 10$^{11}$ cm from the pulsar, the pulsar wind is already in particle dominant-stage, with a magnetization parameter of $σ$ < 0.1. In addition, we precisely investigated the time variations of the X-ray periodograms and detected a weakening of orbital modulation. The observed phenomenon may be related to an unstable pulsar-wind activity or a weak mass accretion, both of which can result in the temporal extinction of radio-pulse.
△ Less
Submitted 27 January, 2015;
originally announced January 2015.
-
Density-functional-theory calculations of molecular nitrogen on ruthenium cluster
Authors:
Keshav N. Shrivastava,
S. S. C. Ammal,
H. Tsuruya,
S. Takami,
A. Endou,
M. Kubo,
K. Teraishi,
Akira Miyamoto,
Atsumu Ozaki
Abstract:
Density-functional-theory calculations for the adsorption of molecular nitrogen on ruthenium surface are reported. It is found that nitrogen molecule is adsorbed while standing perpendicular to the triangular surface of ruthenium. The do** by K atoms favours the adsorption of molecular nitrogen. The calculation of the adsorption energy has also been performed on iron and osmium clusters which…
▽ More
Density-functional-theory calculations for the adsorption of molecular nitrogen on ruthenium surface are reported. It is found that nitrogen molecule is adsorbed while standing perpendicular to the triangular surface of ruthenium. The do** by K atoms favours the adsorption of molecular nitrogen. The calculation of the adsorption energy has also been performed on iron and osmium clusters which shows that ruthenium adsorbs better than iron or osmium. It is found that potential for atomic nitrogen is deeper and more stable than that of molecular nitrogen and hence atomic nitrogen is important for catalysis.
△ Less
Submitted 20 August, 1999;
originally announced August 1999.