9 research outputs found
Emergent Concepts on Knowledge Intensive Processes
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 context
of Business Processes is revealed. The approach is based on Formal Concept
Analysis.Junta de Andalucía TIC-606
On the Complexity of Shared Conceptualizations
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 tagging network organizes its resources, focusing on
sharing (implicit) conceptual schemes, we apply an agent-based reconciliation
knowledge system based on Formal Concept Analysis. This article
describes various experiments that focus on conceptual structures of the
reconciliation process as applied to Delicious bookmarking service. Results
will show the prevalence of sharing tagged resources in order to be
used by other users as recommendations.Ministerio de Ciencia e Innovación TIN2009-09492Junta de Andalucía TIC-606
From Declarative Set Constraint Models to “Good” SAT Instances
On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively model set constraint problems, to reduce them, and to encode them into ”good” SAT instances. We illustrate our technique on the well-known nqueens problem. Our technique is simpler, more expressive, and less error-prone than direct hand modeling. The SAT instances that we automatically generate are rather small w.r.t. hand-written instances
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
In order to achieve a systematic treatment of security protocols,
organizations release a number of technical briefings for describing
how security incidents have to be managed. These documents can suffer
semantic deficiencies, mainly due to ambiguity or different granularity
levels of description and analysis. Ontological Engineering (OE) is a
powerful instrument that can be applied for both, cleaning methods and
knowledge in incident protocols, and specifying (meta)security requirements
on protocols for solving security incidents. We also show how the
ontology built from security reports can be used as the knowledge core
for semantic systems in order to work with resolution incidents in a safe
way. The method has been illustrated with a case studyJunta de Andalucía TIC-606
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
Qualitative Spatial Reasoning is an exciting research field of the
Knowledge Representation and Reasoning paradigm whose application often requires
the extension, refinement or combination of existent theories (as well as
the associated calculus). This paper addresses the issue of the sound spatial interpretation
of formal extensions of such theories; particularly the interpretation
of the extension and the desired representational features. The paper shows how
to interpret certain kinds of extensions of Region Connection Calculus (RCC)
theory. We also show how to rebuild the qualitative calculus of these extensions.Junta de Andalucía TIC-606
Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)
[[sponsorship]]生物化學研究所[[note]]已出版;[SCI];有審查制度;具代表性[[note]]http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=1554-8627&DestApp=JCR&RQ=IF_CAT_BOXPLO