Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Álvez, Javier"'
Although large language models (LLMs) have apparently acquired a certain level of grammatical knowledge and the ability to make generalizations, they fail to interpret negation, a crucial step in Natural Language Processing. We try to clarify the rea
Externí odkaz:
http://arxiv.org/abs/2310.15941
We describe a detailed analysis of a sample of large benchmark of commonsense reasoning problems that has been automatically obtained from WordNet, SUMO and their mapping. The objective is to provide a better assessment of the quality of both the ben
Externí odkaz:
http://arxiv.org/abs/1909.02314
Most commonly, the Open World Assumption is adopted as a standard strategy for the design, construction and use of ontologies. This strategy limits the inferencing capabilities of any system because non-asserted statements (missing knowledge) could b
Externí odkaz:
http://arxiv.org/abs/1808.04620
In this paper, we report on the practical application of a novel approach for validating the knowledge of WordNet using Adimen-SUMO. In particular, this paper focuses on cross-checking the WordNet meronymy relations against the knowledge encoded in A
Externí odkaz:
http://arxiv.org/abs/1805.07824
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerable research on the use of automated reasoning techniques and tools that
Externí odkaz:
http://arxiv.org/abs/1705.10219
Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commonsense reasoning with first-order logic (FOL) ontologies. We propose a n
Externí odkaz:
http://arxiv.org/abs/1705.10217
Publikováno v:
Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015
We report on the results of evaluating the competency of a first-order ontology for its use with automated theorem provers (ATPs). The evaluation follows the adaptation of the methodology based on competency questions (CQs) [Gr\"uninger&Fox,1995] to
Externí odkaz:
http://arxiv.org/abs/1510.04826
Publikováno v:
Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015
We introduce a new framework to evaluate and improve first-order (FO) ontologies using automated theorem provers (ATPs) on the basis of competency questions (CQs). Our framework includes both the adaptation of a methodology for evaluating ontologies
Externí odkaz:
http://arxiv.org/abs/1510.04817
Autor:
Álvez, Javier, Lucio, Paqui
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 April 2008 206:23-40
Publikováno v:
GREDOS: Repositorio Institucional de la Universidad de Salamanca
Universidad de Salamanca (USAL)
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
Universidad de Salamanca (USAL)
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
[ES]
El trasplante de órganos es a día de hoy el mejor tratamiento de enfermedades crónicas como la insuficiencia renal y el único tratamiento viable de enfermedades cardiacas, pulmonares y hepáticas en fase terminal, mejorando la calidad d
El trasplante de órganos es a día de hoy el mejor tratamiento de enfermedades crónicas como la insuficiencia renal y el único tratamiento viable de enfermedades cardiacas, pulmonares y hepáticas en fase terminal, mejorando la calidad d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::63d7eed2981099345542a03100f0655d
https://hdl.handle.net/10366/144107
https://hdl.handle.net/10366/144107