Reasoning by Analogy in Description Logics Through Instance-based Learning

نویسندگان

  • Claudia d'Amato
  • Nicola Fanizzi
  • Floriana Esposito
چکیده

This work presents a method founded in instancebased learning for inductive (memory-based) reasoning on ABoxes. The method, which exploits a semantic dissimilarity measure between concepts and instances, can be employed both to answer class membership queries and to predict new assertions that may be not logically entailed by the knowledge base. In a preliminary experimentation, we show that the method is sound and it is actually able to induce new assertions that might be acquired in the knowledge base.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Enriching Ontologies through Data

Along with the vast usage of ontologies in different areas, non-standard reasoning tasks have started to emerge such as concept learning which aims to drive new concept definitions from given instance data of an ontology. This paper proposes new scalable approaches in light-weight description logics which rely on an inductive logic technique in favor of an instance query answering system.

متن کامل

A Formal Characterization of Concept Learning in Description Logics

Among the inferences studied in Description Logics (DLs), induction has been paid increasing attention over the last decade. Indeed, useful non-standard reasoning tasks can be based on the inductive inference. Among them, Concept Learning is about the automated induction of a description for a given concept starting from classified instances of the concept. In this paper we present a formal cha...

متن کامل

Expressive Description Logics for Agent-Based Information Retrieval

In this contribution we investigate the use of description logics (DLs) for information retrieval in a multiagent scenario. We first describe two advanced DLs and present the relevant reasoning services provided for information retrieval, in particular instance retrieval, instance checking and example-based instance retrieval. Complete and sound algorithms exist for each of these tasks in both ...

متن کامل

Temporal Description Logics

This chapter will survey the temporal extensions of Description Logics. These formalisms give an emphasis to reasoning tasks such as satis ability, subsumption, classi cation, and instance recognition. The analysis will include the whole spectrum of approaches used within the Temporal Description Logics area: from the loosely coupled approaches { which comprise, for example, the enhancement of ...

متن کامل

Resolution-Based Execution of Description Logics Programs for Instance-Retrieval

This paper compares two resolution-based ABox reasoning techniques over the description logic language ALC. Queries are executed in a Prolog-framework using the PTTP (Prolog Technology Theorem Proving) approach. The aim of these reasoning algorithms is to efficiently answer instance-check and instance-retrieval queries when large amounts of data are stored in the ABox. We describe two approache...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006