Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/282399
COMPARTIR / EXPORTAR:
CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Cerami, M., & Esteva, F. (2022, September). On decidability of concept satisfiability in Description Logic with product semantics. Fuzzy Sets and Systems. Elsevier BV. http://doi.org/10.1016/j.fss.2021.11.013 |
Título: | On decidability of concept satisfiability in Description Logic with product semantics |
Autor: | Cerami, Marco; Esteva, Francesc CSIC ORCID |
Fecha de publicación: | 20-sep-2022 |
Editor: | Elsevier |
Citación: | Fuzzy Sets and Systems |
Resumen: | The aim of the present paper is to prove that concept validity and positive satisfiability with an empty ontology in the Fuzzy Description Logic IALE, under standard product semantics and with respect to quasi-witnessed models, are decidable. In our framework we are not considering reasoning tasks over ontologies. The proof of our result consists in reducing the problem to a finitary consequence problem in propositional product logic with Monteiro-Baaz delta operator, which is known to be decidable. Product FDL and first order logic are known not to enjoy the finite model property, so we cannot restrict to finite interpretations. Thus, in order to obtain our result, we need to codify infinite interpretations using a finite number of propositional formulas. Such result was conjectured in [10], but the proof given was subsequently found incorrect. In the present work an improved reduction algorithm is proposed and a proof of the same result is provided. |
URI: | http://hdl.handle.net/10261/282399 |
DOI: | 10.1016/j.fss.2021.11.013 |
ISSN: | 01650114 |
Forma parte de: | Fuzzy Sets and Systems |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
1-s2.0-S0165011421004395-main.pdf | On decidability of concept satisfiability in Description Logic with product semantics | 427,36 kB | Adobe PDF | Visualizar/Abrir |
SCOPUSTM
Citations
1
checked on 18-oct-2024
WEB OF SCIENCETM
Citations
1
checked on 28-feb-2024
Page view(s)
56
checked on 25-oct-2024
Download(s)
85
checked on 25-oct-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.