Reasoning by Analogy in Description Logics Through Instance-based Learning
نویسندگان
چکیده
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.
منابع مشابه
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