Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies

Ignacio Huitzil, Jorge Bernad and Fernando Bobillo
Additional contact information
Ignacio Huitzil: Department of Computer Science and Systems Engineering, University of Zaragoza, 50009 Zaragoza, Spain
Jorge Bernad: Department of Computer Science and Systems Engineering, University of Zaragoza, 50009 Zaragoza, Spain
Fernando Bobillo: Department of Computer Science and Systems Engineering, University of Zaragoza, 50009 Zaragoza, Spain

Mathematics, 2020, vol. 8, issue 2, 1-16

Abstract: Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with respect to a fuzzy ontology: the instance retrieval and the realization problem. Our algorithms are based on a reduction of the number of optimization problems to solve by merging some of them. Our experimental evaluation shows that the novel algorithm to solve the instance retrieval outperforms the previous algorithm, and that in practice it is common to be able to solve a single optimization problem.

Keywords: fuzzy ontologies; fuzzy description logics; semantic reasoning (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/2/154/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/2/154/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:2:p:154-:d:311856

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().