New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases

2021 ◽  
Author(s):  
Ghassen Hamdi ◽  
Mohamed Nazih Omri
Keyword(s):  
Experimental Study ◽  
Knowledge Base ◽  
Performance Measures ◽  
Description Logic ◽  
Knowledge Bases ◽  
Topical Issue ◽  
New Model ◽  
F Measure ◽  
Main Factor

The lightweight description logic (DL-lite) represents one of the most important logic specially dedicated to applications that handle large volumes of data. Managing inconsistency issues, in order to effectively query inconsistent DL-Lite knowledge bases, is a topical issue. Since assertions (ABoxes) come from a variety of sources with varying degrees of reliability, there is confusion in hierarchical knowledge bases. As a consequence, the inclusion of new axioms is a main factor that causes inconsistency in this type of knowledge base. Often, it is too expensive to manually verify and validate all assertions. In this article, we study the problem of inconsistencies in the DL-Lite family and we propose a new algorithm to resolve the inconsistencies in prioritized knowledge bases. We carried out an experimental study to analyze and compare the results obtained by our proposed algorithm, in the framework of this work, and the main algorithms studied in the literature. The results obtained show that our algorithm is more productive than the others, compared to standard performance measures, namely precision, recall and F-measure.

scholarly journals Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies

2018 ◽  
Author(s):  
Víctor Gutiérrez-Basulto ◽  
Jean Christoph Jung ◽  
Leif Sabellek
Keyword(s):  
Reverse Engineering ◽  
Knowledge Base ◽  
Description Logic ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Queries ◽  
Complexity Bounds ◽  
Query By Example

We introduce the query-by-example (QBE) paradigm for query answering in the presence of ontologies. Intuitively, QBE permits non-expert users to explore the data by providing examples of the information they (do not) want, which the system then generalizes into a query. Formally, we study the following question: given a knowledge base and sets of positive and negative examples, is there a query that returns all positive but none of the negative examples?  We focus on description logic knowledge bases with ontologies formulated in Horn-ALCI and (unions of) conjunctive queries. Our main contributions are characterizations, algorithms and tight complexity bounds for QBE.  

scholarly journals ByNowLife: A Novel Framework for OWL and Bayesian Network Integration

Information ◽  
2019 ◽  
Vol 10 (3) ◽  
pp. 95
Author(s):  
Foni Setiawan ◽  
Eko Budiardjo ◽  
Wahyu Wibowo
Keyword(s):  
Bayesian Network ◽  
Knowledge Base ◽  
Structural Adjustment ◽  
Description Logic ◽  
Probabilistic Reasoning ◽  
Knowledge Bases ◽  
Third Party ◽  
Probabilistic Information ◽  
Ontology Language ◽  
Novel Approach

An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). To perform probabilistic reasoning, the system must use a separate knowledge base, separate processing, or third-party applications. Previous studies mainly focus on how to represent probabilistic information in ontologies and perform reasoning through them. These approaches are not suitable for systems that already have running ontologies and Bayesian network (BN) knowledge bases because users must rewrite the probabilistic information contained in a BN into an ontology. We present a framework called ByNowLife, which is a novel approach for integrating BN with OWL by providing an interface for retrieving probabilistic information through SPARQL queries. ByNowLife catalyzes the integration process by transforming logical information contained in an ontology into a BN and probabilistic information contained in a BN into an ontology. This produces a system with a complete knowledge base. Using ByNowLife, a system that already has separate ontologies and BN knowledge bases can integrate them into a single knowledge base and perform both logical and probabilistic reasoning through it. The integration not only facilitates the unity of reasoning but also has several other advantages, such as ontology enrichment and BN structural adjustment through structural and parameter learning.

Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency

2012 ◽  
Vol 487 ◽  
pp. 347-351
Author(s):  
Ya Qiong Jiang ◽  
Jun Wang
Keyword(s):  
Normal Form ◽  
Knowledge Base ◽  
Propositional Logic ◽  
Description Logic ◽  
Knowledge Bases ◽  
Knowledge Compilation ◽  
Knowledge Based ◽  
Common Technique ◽  
Compilation Techniques

Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic. This paper gives precompilation about the description logic ALCO TBox based on knowledge compilation techniques, for which the consistency of TBox can be determined.

scholarly journals Maintenance of Profile Matchings in Knowledge Bases

2017 ◽  
Author(s):  
Jorge Martinez-Gil ◽  
Lorena Paoletti ◽  
Gábor Rácz ◽  
Attila Sali ◽  
Klaus-Dieter Schewe
Keyword(s):  
Knowledge Base ◽  
Description Logic ◽  
Knowledge Bases ◽  
Human Expert ◽  
Profile Matching ◽  
Job Profile

A profile describes a set of properties, e.g. a set of skills a person may have or a set of skills required for a particular job. Profile matching aims to determine how well a given profile fits to a requested profile. Profiles can be defined by filters in a lattice of concepts derived from a knowledge base that is grounded in description logic, and matching can be realised by assigning values in [0,1] to pairs of such filters: the higher the matching value the better is the fit. In this paper the problem is investigated, whether given a set of filters together with matching values determined by some human expert a matching measure can be determined such that the computed matching values preserve the rankings given by the expert. In the paper plausibility constraints for the values given by an expert are formulated. If these plausibility constraints are satisfied, the problem of determining a ranking-preserving matching measure can be solved.

scholarly journals A Hybrid Question Answering System

2019 ◽  
pp. 1-7
Author(s):  
Waheeb Ahmed ◽  
P. Babu Anto
Keyword(s):  
Knowledge Base ◽  
Web Search ◽  
Question Answering ◽  
Arabic Language ◽  
Knowledge Bases ◽  
External Resources ◽  
Online Module ◽  
Types Of Information ◽  
Available Information ◽  
F Measure

In this study, we propose a hybrid Question Answering (QA) system for Arabic language. The system combines textual and structured knowledge-Base (KB) data for question answering. It make use of other relevant text data, outside the KB, which could enrich the available information. The system consists of four modules. 1) a KB, 2) an online module, and 3) A Text- to-KB transformer to construct our own knowledge base from web texts. Using these modules, we can query two types of information sources: knowledge bases, and web text. Text-to-KB uses web search results to    identify question topic entities, map question words to KB predicates, and enhance the features of the candidates obtained from the KB. The system scored f-measure of .495 when using KB. The system performed better with f-measure of .573 when using both KB and Text-to-KB module. The system demonstrates higher performance by combining knowledge base and text from external resources.

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.

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

2021 ◽  
Vol 178 (4) ◽  
pp. 315-346
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Semantic Web ◽  
Set Theory ◽  
Description Logic ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Classification Problems ◽  
Previous Version ◽  
Decidable Fragment ◽  
Stratified Set

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQSR,×〉(D) (𝒟ℒD4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟ℒD4,×. In particular, it solves the consistency and the classification problems for 𝒟ℒD4,×-knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports 𝒟ℒD4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).

scholarly journals Prediction and Analysis of Extracting Relations using Spacy Model

2020 ◽  
Vol 8 (6) ◽  
pp. 3281-3287
Keyword(s):  
Natural Language ◽  
Information Extraction ◽  
Performance Measures ◽  
Text Summarization ◽  
Language Understanding ◽  
Language Generation ◽  
Automatic Text Summarization ◽  
Structured Information ◽  
Automatic Text ◽  
F Measure

Text is an extremely rich resources of information. Each and every second, minutes, peoples are sending or receiving hundreds of millions of data. There are various tasks involved in NLP are machine learning, information extraction, information retrieval, automatic text summarization, question-answered system, parsing, sentiment analysis, natural language understanding and natural language generation. The information extraction is an important task which is used to find the structured information from unstructured or semi-structured text. The paper presents a methodology for extracting the relations of biomedical entities using spacy. The framework consists of following phases such as data creation, load and converting the data into spacy object, preprocessing, define the pattern and extract the relations. The dataset is downloaded from NCBI database which contains only the sentences. The created model evaluated with performance measures like precision, recall and f-measure. The model achieved 87% of accuracy in retrieving of entities relation.

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 Knowledge Representation of Highly Dynamic Ontologies Using Defeasible Logic

2021 ◽  
Vol 10 (2) ◽  
pp. 948-954
Keyword(s):  
Computational Complexity ◽  
Knowledge Representation ◽  
Knowledge Base ◽  
Description Logic ◽  
Defeasible Logic ◽  
Small Domain ◽  
Automated Support ◽  
Logical Rules

Description logic gives us the ability of reasoning with acceptable computational complexity with retaining the power of expressiveness. The power of description logic can be accompanied by the defeasible logic to manage non-monotonic reasoning. In some domains, we need flexible reasoning and knowledge representation to deal the dynamicity of such domains. In this paper, we present a DL representation for a small domain that describes the connections between different entities in a university publication system to show how could we deal with changeability in domain rules. An automated support can be provided on the basis of defeasible logical rules to represent the typicality in the knowledge base and to solve the conflicts that might happen.

Sign in / Sign up

Export Citation Format

Share Document