Extending Knowledge Base Update into First-Order Knowledge Bases

2008 ◽  
pp. 631-640
Author(s):  
Ewa Madalińska-Bugaj ◽  
Witold Łukaszewicz
Keyword(s):  
Knowledge Base ◽  
Knowledge Bases ◽  
First Order

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.

Open Knowledge Base: Resources and Units of Knowledge

2020 ◽  
Author(s):  
Matheus Pereira Lobo
Keyword(s):  
Knowledge Base ◽  
Knowledge Bases

This paper is about highlighting two categories of knowledge bases, one built as a repository of links, and other based on units of knowledge.

scholarly journals Building an OWL ontology with Xper3

2018 ◽  
Vol 2 ◽  
pp. e25614 ◽  
Author(s):  
Florian Pellen ◽  
Sylvain Bouquin ◽  
Isabelle Mougenot ◽  
Régine Vignes-Lebbe
Keyword(s):  
Semantic Web ◽  
Knowledge Base ◽  
Expressive Power ◽  
Knowledge Bases ◽  
User Friendliness ◽  
Standard Format ◽  
Ontology Language ◽  
Closed World ◽  
Web Standards ◽  
Description Framework

Xper3 (Vignes Lebbe et al. 2016) is a collaborative knowledge base publishing platform that, since its launch in november 2013, has been adopted by over 2 thousand users (Pinel et al. 2017). This is mainly due to its user friendly interface and the simplicity of its data model. The data are stored in MySQL Relational DBs, but the exchange format uses the TDWG standard format SDD (Structured Descriptive DataHagedorn et al. 2005). However, each Xper3 knowledge base is a closed world that the author(s) may or may not share with the scientific community or the public via publishing content and/or identification key (Kopfstein 2016). The explicit taxonomic, geographic and phenotypic limits of a knowledge base are not always well defined in the metadata fields. Conversely terminology vocabularies, such as Phenotype and Trait Ontology PATO and the Plant Ontology PO, and software to edit them, such as Protégé and Phenoscape, are essential in the semantic web, but difficult to handle for biologist without computer skills. These ontologies constitute open worlds, and are expressed themselves by RDF triples (Resource Description Framework). Protégé offers vizualisation and reasoning capabilities for these ontologies (Gennari et al. 2003, Musen 2015). Our challenge is to combine the user friendliness of Xper3 with the expressive power of OWL (Web Ontology Language), the W3C standard for building ontologies. We therefore focused on analyzing the representation of the same taxonomic contents under Xper3 and under different models in OWL. After this critical analysis, we chose a description model that allows automatic export of SDD to OWL and can be easily enriched. We will present the results obtained and their validation on two knowledge bases, one on parasitic crustaceans (Sacculina) and the second on current ferns and fossils (Corvez and Grand 2014). The evolution of the Xper3 platform and the perspectives offered by this link with semantic web standards will be discussed.

scholarly journals Integrating molecular profiles into clinical frameworks through the Molecular Oncology Almanac to prospectively guide precision oncology

Nature Cancer ◽  
2021 ◽  
Author(s):  
Brendan Reardon ◽  
Nathanael D. Moore ◽  
Nicholas S. Moore ◽  
Eric Kofman ◽  
Saud H. AlDubayan ◽  
...  
Keyword(s):  
Point Of Care ◽  
Single Gene ◽  
Knowledge Bases ◽  
Computational Method ◽  
Precision Oncology ◽  
Clinical Interpretation ◽  
First Order ◽  
Molecular Features ◽  
Molecular Oncology ◽  
Molecular Profiles

AbstractTumor molecular profiling of single gene-variant (‘first-order’) genomic alterations informs potential therapeutic approaches. Interactions between such first-order events and global molecular features (for example, mutational signatures) are increasingly associated with clinical outcomes, but these ‘second-order’ alterations are not yet accounted for in clinical interpretation algorithms and knowledge bases. We introduce the Molecular Oncology Almanac (MOAlmanac), a paired clinical interpretation algorithm and knowledge base to enable integrative interpretation of multimodal genomic data for point-of-care decision making and translational-hypothesis generation. We benchmarked MOAlmanac to a first-order interpretation method across multiple retrospective cohorts and observed an increased number of clinical hypotheses from evaluation of molecular features and profile-to-cell line matchmaking. When applied to a prospective precision oncology trial cohort, MOAlmanac nominated a median of two therapies per patient and identified therapeutic strategies administered in 47% of patients. Overall, we present an open-source computational method for integrative clinical interpretation of individualized molecular profiles.

scholarly journals Improving the Quality of Linked Data Using Statistical Distributions

2018 ◽  
pp. 1638-1664 ◽  
Author(s):  
Heiko Paulheim ◽  
Christian Bizer
Keyword(s):  
Knowledge Base ◽  
Linked Data ◽  
Relational Databases ◽  
Knowledge Bases ◽  
Structured Data ◽  
Data Sources ◽  
Data Sets ◽  
Statistical Distributions ◽  
The Web

Linked Data on the Web is either created from structured data sources (such as relational databases), from semi-structured sources (such as Wikipedia), or from unstructured sources (such as text). In the latter two cases, the generated Linked Data will likely be noisy and incomplete. In this paper, we present two algorithms that exploit statistical distributions of properties and types for enhancing the quality of incomplete and noisy Linked Data sets: SDType adds missing type statements, and SDValidate identifies faulty statements. Neither of the algorithms uses external knowledge, i.e., they operate only on the data itself. We evaluate the algorithms on the DBpedia and NELL knowledge bases, showing that they are both accurate as well as scalable. Both algorithms have been used for building the DBpedia 3.9 release: With SDType, 3.4 million missing type statements have been added, while using SDValidate, 13,000 erroneous RDF statements have been removed from the knowledge base.

scholarly journals Formal Query Building with Query Structure Prediction for Complex Question Answering over Knowledge Base

2020 ◽  
Author(s):  
Yongrui Chen ◽  
Huiying Li ◽  
Yuncheng Hua ◽  
Guilin Qi
Keyword(s):  
Knowledge Base ◽  
Structure Prediction ◽  
Question Answering ◽  
State Transition ◽  
Knowledge Bases ◽  
Second Stage ◽  
Transition Strategy ◽  
Query Structure ◽  
Two Stages ◽  
Complex Question

Formal query building is an important part of complex question answering over knowledge bases. It aims to build correct executable queries for questions. Recent methods try to rank candidate queries generated by a state-transition strategy. However, this candidate generation strategy ignores the structure of queries, resulting in a considerable number of noisy queries. In this paper, we propose a new formal query building approach that consists of two stages. In the first stage, we predict the query structure of the question and leverage the structure to constrain the generation of the candidate queries. We propose a novel graph generation framework to handle the structure prediction task and design an encoder-decoder model to predict the argument of the predetermined operation in each generative step. In the second stage, we follow the previous methods to rank the candidate queries. The experimental results show that our formal query building approach outperforms existing methods on complex questions while staying competitive on simple questions.

Data mining for building knowledge bases: techniques, architectures and applications

2016 ◽  
Vol 31 (2) ◽  
pp. 97-123 ◽  
Author(s):  
Alfred Krzywicki ◽  
Wayne Wobcke ◽  
Michael Bain ◽  
John Calvo Martinez ◽  
Paul Compton
Keyword(s):  
Data Mining ◽  
Knowledge Base ◽  
Question Answering ◽  
Knowledge Bases ◽  
Event Extraction ◽  
Data Sources ◽  
Small Scale ◽  
Knowledge Mining ◽  
Practical Applications ◽  
Unstructured Text

AbstractData mining techniques for extracting knowledge from text have been applied extensively to applications including question answering, document summarisation, event extraction and trend monitoring. However, current methods have mainly been tested on small-scale customised data sets for specific purposes. The availability of large volumes of data and high-velocity data streams (such as social media feeds) motivates the need to automatically extract knowledge from such data sources and to generalise existing approaches to more practical applications. Recently, several architectures have been proposed for what we callknowledge mining: integrating data mining for knowledge extraction from unstructured text (possibly making use of a knowledge base), and at the same time, consistently incorporating this new information into the knowledge base. After describing a number of existing knowledge mining systems, we review the state-of-the-art literature on both current text mining methods (emphasising stream mining) and techniques for the construction and maintenance of knowledge bases. In particular, we focus on mining entities and relations from unstructured text data sources, entity disambiguation, entity linking and question answering. We conclude by highlighting general trends in knowledge mining research and identifying problems that require further research to enable more extensive use of knowledge bases.

scholarly journals Towards a Food Safety Knowledge Base Applicable in Crisis Situations and Beyond

2015 ◽  
Vol 2015 ◽  
pp. 1-11 ◽  
Author(s):  
Alexander Falenski ◽  
Armin A. Weiser ◽  
Christian Thöns ◽  
Bernd Appel ◽  
Annemarie Käsbohrer ◽  
...  
Keyword(s):  
Food Safety ◽  
Knowledge Base ◽  
Knowledge Bases ◽  
Decision Makers ◽  
Mitigation Measures ◽  
Base Concept ◽  
Food Quality And Safety ◽  
Contamination Event ◽  
Safety Knowledge ◽  
Crisis Situations

In case of contamination in the food chain, fast action is required in order to reduce the numbers of affected people. In such situations, being able to predict the fate of agents in foods would help risk assessors and decision makers in assessing the potential effects of a specific contamination event and thus enable them to deduce the appropriate mitigation measures. One efficient strategy supporting this is using model based simulations. However, application in crisis situations requires ready-to-use and easy-to-adapt models to be available from the so-called food safety knowledge bases. Here, we illustrate this concept and its benefits by applying the modular open source software tools PMM-Lab and FoodProcess-Lab. As a fictitious sample scenario, an intentional ricin contamination at a beef salami production facility was modelled. Predictive models describing the inactivation of ricin were reviewed, relevant models were implemented with PMM-Lab, and simulations on residual toxin amounts in the final product were performed with FoodProcess-Lab. Due to the generic and modular modelling concept implemented in these tools, they can be applied to simulate virtually any food safety contamination scenario. Apart from the application in crisis situations, the food safety knowledge base concept will also be useful in food quality and safety investigations.

scholarly journals Detecting Inconsistencies in Large First-Order Knowledge Bases

2017 ◽  
pp. 310-325 ◽  
Author(s):  
Stephan Schulz ◽  
Geoff Sutcliffe ◽  
Josef Urban ◽  
Adam Pease
Keyword(s):  
Knowledge Bases ◽  
First Order
Sign in / Sign up

Export Citation Format

Share Document