Buscar
Mostrando ítems 51-60 de 81
Ponencia
A Topological Study of the Upward Refinement Operators on ILP
(CEUR-WS, 2000)
Ponencia
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)
Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. In this framework, it is previsible unprecise information (with respect to an ontology) is retrieved ...
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)
This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize Agent-Based Models. The idea consists in obtaining a rule-based model of pedestrian behaviour by means ...
Ponencia
On the Complexity of Shared Conceptualizations
(Springer, 2012)
In the Social Web, folksonomies and other similar knowledge organization techniques may suffer limitations due to both different users’ tagging behaviours and semantic heterogeneity. In order to estimate how a social ...
Ponencia
A Quasi-Metric for Machine Learning
(Springer, 2002)
The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we present a class of operators for Machine Learning based on clauses which is a characterization of the ...
Ponencia
Emergent Concepts on Knowledge Intensive Processes
(Springer, 2014)
An approach to refine and revise the general framework of KiP (Knowledge Intensive Process) is presented. The specific case of collaborative KiP is studied and the prominent role of collaborative KiPs in the general ...
Capítulo de Libro
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)
In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional ...
Ponencia
Ontology Cleaning by Mereotopological Reasoning
(IEEE Computer Society, 2004)
A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. It allows us to arrange, in a consistent manner, the concepts in early steps of the building ...
Ponencia
Extension of Ontologies Assisted by Automated Reasoning Systems
(Springer, 2005)
A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness with respect to their associate conceptualizations is presented. The use of such systems makes ...
Tesis Doctoral