We present new results from a multi-wavelength model of galaxy formation, which combines a semi-analytical treatment of the formation of galaxies within the CDM framework with a sophisticated treatment of absorption and emission of radiation by dust. We find that the model, which incorporates a top-heavy IMF in bursts, agrees well with the evolution of the rest-frame far-UV luminosity function ...

In the present paper we use the approach of height functions to de ning a semi distance measure between Horn clauses This appraoch is already discussed elsewhere in the framework of propositional and sim ple rst order languages atoms Hereafter we prove its applicability for Horn clauses We use some basic results from lattice theory and introduce a family of language independent coverage based h...

A straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA) is presented. It is shown that the benefits of FCA can be added to those of CGs, in, for example, formally reasoning about a system design. In the mapping, a formal attribute in FCA is formed by combining a CG source concept with its relation. The corresponding formal object in FCA is the corresponding CG ta...

Internet provides drastic access to the news articles from different information sources around the world. The main approach is used to find out the users preference from both news content and user information. Incremental clustering is done on the web news document in order to group the documents for recommendation. The idea of conceptual clustering is used. It finds the similarity between the...

An analytical solution is derived to investigate the influence of leakage on tidal response in a coastal leaky confined aquifer system. The analytical solution developed here is more general than the traditional solution obtained by Ferris [1951], which can be regarded as a special case of the solution presented in this paper. This solution is based on a conceptual model under the assumption th...

Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation byPeircès Prag-matism, and the aim of representing and processing knowledge. These concerns open rich possibilities of interplay and integration. We discuss the philosophical foundations of both disciplines, and analyz...

Most conceptual clustering systems rely solely on data to form concepts without supervision; the few that exploit causalities in the background knowledge do so only after the completion of a similarity-based learning phase. In this paper, we describe a multistrategy misconception discovery system, MMD, that utilizes data and theory in a more tightly coupled way. The integration of similarityand...

In the present paper we use the approach of height functions to deening a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework of propositional and simple rst order languages (atoms). Hereafter we prove its applicability for Horn clauses. We use some basic results from lattice theory and introduce a family of language independent coverage-bas...

This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts developed in Formal Concept Analysis. The chosen approach was strongly stimulated by J. F. Sowa’s theory of conceptual graphs. The mathematized conceptual graphs, called concept graphs, are mathematical semantic structures based on for...

This paper describes a method for the conceptual clustering of Korean concordances. We present a method of computing conceptual similarity between concordances using the number of cooccurring morphemes and the similarities between morphemes. We use mutual information, the similarity between mutual information values and vector similarity to compute similarity between morphemes. When we try to c...