Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach

• URL: http://arxiv.org/abs/2109.08286v1
• Date: Fri, 17 Sep 2021 01:46:27 GMT
• Title: Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
• Authors: Laura Giordano (DISIT, Universit\`a del Piemonte Orientale, Italy), Daniele Theseider Dupr\'e (DISIT, Universit\`a del Piemonte Orientale, Italy)
• Abstract summary: We consider weighted conditional ELbot knowledge bases in the two-valued case. We exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.

Related papers

• M^2ConceptBase: A Fine-Grained Aligned Concept-Centric Multimodal Knowledge Base [61.53959791360333]
  We introduce M2ConceptBase, the first concept-centric multimodal knowledge base (MMKB) We propose a context-aware approach to align concept-image and concept-description pairs using context information from image-text datasets. Human studies confirm more than 95% alignment accuracy, underscoring its quality.
  arXiv  Detail & Related papers  (2023-12-16T11:06:11Z)
• Concept2Box: Joint Geometric Embeddings for Learning Two-View Knowledge Graphs [77.10299848546717]
  Concept2Box is a novel approach that jointly embeds the two views of a KG. Box embeddings learn the hierarchy structure and complex relations such as overlap and disjoint among them. We propose a novel vector-to-box distance metric and learn both embeddings jointly.
  arXiv  Detail & Related papers  (2023-07-04T21:37:39Z)
• CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering [56.592385613002584]
  We propose Conceptualization-Augmented Reasoner (CAR) to tackle the task of zero-shot commonsense question answering. CAR abstracts a commonsense knowledge triple to many higher-level instances, which increases the coverage of CommonSense Knowledge Bases. CAR more robustly generalizes to answering questions about zero-shot commonsense scenarios than existing methods.
  arXiv  Detail & Related papers  (2023-05-24T08:21:31Z)
• A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality [2.3103579794296736]
  Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of MultiLayer Perceptrons (MLPs) A model checking and an entailment based approach are exploited in the verification of conditional properties ofLayers.
  arXiv  Detail & Related papers  (2023-04-29T17:15:36Z)
• Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality [4.447467536572624]
  Weighted knowledge bases for description logics with typicality provide a logical interpretation of MultiLayer Perceptrons. ASP has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case. This paper provides a $PNP[log]$-completeness result and new ASP encodings that deal with weighted knowledge bases with large search spaces.
  arXiv  Detail & Related papers  (2023-03-08T12:08:53Z)
• Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database [86.03294330305097]
  We propose a unified semantic element for question answering (QA) on both knowledge bases (KB) and databases (DB) We introduce the primitive (relation and entity in KB, table name, column name and cell value in DB) as an essential element in our framework. We leverage the generator to predict final logical forms by altering and composing topranked primitives with different operations.
  arXiv  Detail & Related papers  (2022-11-09T19:33:27Z)
• Supporting Vision-Language Model Inference with Confounder-pruning Knowledge Prompt [71.77504700496004]
  Vision-language models are pre-trained by aligning image-text pairs in a common space to deal with open-set visual concepts. To boost the transferability of the pre-trained models, recent works adopt fixed or learnable prompts. However, how and what prompts can improve inference performance remains unclear.
  arXiv  Detail & Related papers  (2022-05-23T07:51:15Z)
• An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases [0.0]
  We consider conditional ALC knowledge bases with typicality in the finitely many-valued case. We exploit ASP and "asprin" for reasoning with the concept-wise multipreferences.
  arXiv  Detail & Related papers  (2022-02-02T16:30:28Z)
• From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics [0.0]
  A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases and used to develop a logical semantics for Multilayer Perceptrons. This semantics suggests some gradual argumentation semantics, which are related to the family of the gradual semantics.
  arXiv  Detail & Related papers  (2021-10-07T17:33:10Z)
• BoxE: A Box Embedding Model for Knowledge Base Completion [53.57588201197374]
  Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB) Existing embedding models are subject to at least one of the following limitations. BoxE embeds entities as points, and relations as a set of hyper-rectangles (or boxes)
  arXiv  Detail & Related papers  (2020-07-13T09:40:49Z)
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL [0.0]
  We develop a concept aware multi-preferential semantics for dealing with typicality in description logics. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences.
  arXiv  Detail & Related papers  (2020-06-08T07:15:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.