Buscar
Mostrando ítems 71-80 de 81
Ponencia
Mereotopological Analysis of Formal Concepts in Security Ontologies
(Springer, 2010)
In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their classes, based on the entailment in the ontology, is presented. The analysis is carried out by ...
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)
Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned Semantic Web. Some approximations suffer from logical confidence, and others are hard to ...
Libro
Ponencia
Selecting Attributes for Sport Forecasting using Formal Concept Analysis
(Cornell University Library, 2011)
In order to address complex systems, apply pattern recongnition on their evolution could play an key role to understand their dynamics. Global patterns are required to detect emergent concepts and trends, some of them ...
Libro
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro ...
Artículo
Concept learning consistency under three‑way decision paradigm
(Springer, 2022)
Concept Mining is one of the main challenges both in Cognitive Computing and in Machine Learning. The ongoing improve ment of solutions to address this issue raises the need to analyze whether the consistency of the learning ...
Ponencia
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological ...
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
(Kronos, 2002)
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción ...
Ponencia
Semantic Geodemography and Urban Interoperability
(Springer, 2012)
Nowadays there exists an increasing interest on the use of the information collected by cities coming from different resources as data with dynamic nature like the one provided by sensor networks, as static data associated ...
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we ...