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