Towards Collaborative Conceptual Exploration

In domains with high knowledge distribution a natural objective is to create principle foundations for collaborative interactive learning environments. We present a first mathematical characterization of a collaborative learning group, a consortium, based on closure systems of attribute sets and the well-known attribute exploration algorithm from formal concept analysis. To this end, we introduce (weak) local experts for subdomains of a given knowledge domain. These entities are able to refute and potentially accept a given (implicational) query for some closure system that is a restriction of the whole domain. On this we build up a consortial expert and show first insights about the ability of such an expert to answer queries. Furthermore, we depict techniques on how to cope with falsely accepted implications and on combining counterexamples. Using notions from combinatorial design theory we further expand those insights as far as providing first results on the decidability problem if a given consortium is able to explore some target domain. Applications in conceptual knowledge acquisition as well as in collaborative interactive ontology learning are at hand.Comment: 15 pages, 2 figure

Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework

While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter's classic algorithm by introducing a family of MR* algorithms, namely MRGanter and MRGanter+ where the prefix denotes the algorithm's lineage. To evaluate the factors that impact distributed algorithm performance, we compare our MR* algorithms with the state-of-the-art. Experiments conducted on real datasets demonstrate that MRGanter+ is efficient, scalable and an appealing algorithm for distributed problems.Comment: 17 pages, ICFCA 201, Formal Concept Analysis 201

Clones in Graphs

Finding structural similarities in graph data, like social networks, is a far-ranging task in data mining and knowledge discovery. A (conceptually) simple reduction would be to compute the automorphism group of a graph. However, this approach is ineffective in data mining since real world data does not exhibit enough structural regularity. Here we step in with a novel approach based on mappings that preserve the maximal cliques. For this we exploit the well known correspondence between bipartite graphs and the data structure formal context $(G,M,I)$ from Formal Concept Analysis. From there we utilize the notion of clone items. The investigation of these is still an open problem to which we add new insights with this work. Furthermore, we produce a substantial experimental investigation of real world data. We conclude with demonstrating the generalization of clone items to permutations.Comment: 11 pages, 2 figures, 1 tabl

A Requirement-centric Approach to Web Service Modeling, Discovery, and Selection

Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible\ud and effective manner. The basic idea of SOC is to understand users'\ud requirements for SBAs first, and then discover and select relevant\ud services (i.e., that fit closely functional requirements) and offer\ud a high Quality of Service (QoS). Understanding users’ requirements\ud is already achieved by existing requirement engineering approaches\ud (e.g., TROPOS, KAOS, and MAP) which model SBAs in a requirement-driven\ud manner. However, discovering and selecting relevant and high QoS\ud services are still challenging tasks that require time and effort\ud due to the increasing number of available Web services. In this paper,\ud we propose a requirement-centric approach which allows: (i) modeling\ud users’ requirements for SBAs with the MAP formalism and specifying\ud required services using an Intentional Service Model (ISM); (ii)\ud discovering services by querying the Web service search engine Service-Finder\ud and using keywords extracted from the specifications provided by\ud the ISM; and(iii) selecting automatically relevant and high QoS services\ud by applying Formal Concept Analysis (FCA). We validate our approach\ud by performing experiments on an e-books application. The experimental\ud results show that our approach allows the selection of relevant and\ud high QoS services with a high accuracy (the average precision is\ud 89.41%) and efficiency (the average recall is 95.43%)

Using formal concept analysis to detect and monitor organised crime

This paper describes some possible uses of Formal Concept Analysis in the detection and monitoring of Organised Crime. After describing FCA and its mathematical basis, the paper suggests, with some simple examples, ways in which FCA and some of its related disciplines can be applied to this problem domain. In particular, the paper proposes FCA-based approaches for finding multiple instances of an activity associated with Organised Crime, finding dependencies between Organised Crime attributes, and finding new indicators of Organised Crime from the analysis of existing data. The paper concludes by suggesting that these approaches will culminate in the creation and implementation of an Organised Crime ‘threat score card’, as part of an overall environmental scanning system that is being developed by the new European ePOOLICE projec

On the homomorphism order of labeled posets

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.Comment: 14 page

The Jacobi orientation and the two-variable elliptic genus

We explain the relationship between the sigma orientation and Witten genus on the one hand and the two-variable elliptic genus on the other. We show that if E is an elliptic spectrum, then the Theorem of the Cube implies the existence of canonical SU-orientation of the associated spectrum of Jacobi forms. In the case of the elliptic spectrum associated to the Tate curve, this gives the two-variable elliptic genus. We also show that the two-variable genus arises as an instance of the circle-equivariant sigma orientation.Comment: Revised to better exhibit complex orientation of MSU^(CP^\infty_{-infty}

Infrared spectroscopy of phytochrome and model pigments

Fourier-transform infrared difference spectra between the red-absorbing and far-red-absorbing forms of oat phytochrome have been measured in H2O and 2H2O. The difference spectra are compared with infrared spectra of model compounds, i.e. the (5Z,10Z,15Z)- and (5Z,10Z,15E)-isomers of 2,3,7,8,12,13,17,18-octaethyl-bilindion (Et8-bilindion), 2,3-dihydro-2,3,7,8,12,13,17,18-octaethyl-bilindion (H2Et8-bilindion), and protonated H2Et8-bilindion in various solvents. The spectra of the model compounds show that only for the protonated forms can clear differences between the two isomers be detected. Since considerable differences are present between the spectra of Et8-bilindion and H2Et8-bilindion, it is concluded that only the latter compound can serve as a model system of phytochrome. The 2H2O effect on the difference spectrum of phytochrome supports the view that the chromophore in red-absorbing phytochrome is protonated and suggests, in addition, that it is also protonated in far-red-absorbing phytochrome. The spectra show that protonated carboxyl groups are influenced. The small amplitudes in the difference spectra exclude major changes of protein secondary structure

The institutional shaping of management: in the tracks of English individualism

Globalisation raises important questions about the shaping of economic action by cultural factors. This article explores the formation of what is seen by some as a prime influence on the formation of British management: individualism. Drawing on a range of historical sources, it argues for a comparative approach. In this case, the primary comparison drawn is between England and Scotland. The contention is that there is a systemic approach to authority in Scotland that can be contrasted to a personal approach in England. An examination of the careers of a number of Scottish pioneers of management suggests the roots of this systemic approach in practices of church governance. Ultimately this systemic approach was to take a secondary role to the personal approach engendered by institutions like the universities of Oxford and Cambridge, but it found more success in the different institutional context of the USA. The complexities of dealing with historical evidence are stressed, as is the value of taking a comparative approach. In this case this indicates a need to take religious practice as seriously as religious belief as a source of transferable practice. The article suggests that management should not be seen as a simple response to economic imperatives, but as shaped by the social and cultural context from which it emerges

Creating corroborated crisis reports from social media data through formal concept analysis

During a crisis citizens reach for their smart phones to report, comment and explore information surrounding the crisis. These actions often involve social media and this data forms a large repository of real-time, crisis related information. Law enforcement agencies and other first responders see this information as having untapped potential. That is, it has the capacity extend their situational awareness beyond the scope of a usual command and control centre. Despite this potential, the sheer volume, the speed at which it arrives, and unstructured nature of social media means that making sense of this data is not a trivial task and one that is not yet satisfactorily solved; both in crisis management and beyond. Therefore we propose a multi-stage process to extract meaning from this data that will provide relevant and near real-time information to command and control to assist in decision support. This process begins with the capture of real-time social media data, the development of specific LEA and crisis focused taxonomies for categorisation and entity extraction, the application of formal concept analysis for aggregation and corroboration and the presentation of this data via map-based and other visualisations. We demonstrate that this novel use of formal concept analysis in combination with context-based entity extraction has the potential to inform law enforcement and/or humanitarian responders about on-going crisis events using social media data in the context of the 2015 Nepal earthquake. Keywords : formal concept analysis, crisis management, disaster response, visualisation, entity extraction