Search
Now showing items 31-40 of 81
Presentation
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities
(Springer, 2015)
In this paper we estimate the soundness of tagging in digital repositories within the field of Digital Humanities by studying the (semantic) conceptual structure behind the folksnonomy. The use of association rules ...
Presentation
Confidence-Based Reasoning with Local Temporal Formal Contexts
(Springer, 2011)
Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It provides tools for reasoning with implication basis (and association rules). In this paper we analyse ...
Presentation
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show ...
Article
Towards a Notion of Basis for Knowledge-Based Systems—Applications
(MDPI, 2021)
In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient processes. A point of view that provides valuable insights is the algebraic one. In this work, a ...
Article
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
(IEEE Computer Society, 2006)
The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational basis of cleaning agent design. The authors discuss some of them. They finally argue that ...
Presentation
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City
(IEEE Computer Society, 2016)
Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the development of better smart services, which are a persistent demand in urban policies. From all the ...
Presentation
Towards a tool for ontology engineering
(IEEE Computer Society, 2004)
A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.
Article
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual ...
Presentation
Reconciling Knowledge in Social Tagging Web Services
(Springer, 2010)
Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge (for example, our personal bookmarks). A potential solution could be the use of knowledge from ...
Presentation
Generalizing Programs via Subsumption
(Springer, 2003)
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a characterization of the subsumption relation in the following sense: The clause C 1 subsumes the clause C 2 ...