In this article, we provide different possibilities for doing reasoning on simple concept(ual) graphs without negations or nestings. First of all, we have on the graphs the usual semantical entailment relation |=, and we consider the restriction of the calculus for concept graph with cuts, which has been introduced in [Da02], to the system of concept graphs without cuts. Secondly, we introduce a semantical entailment relation |= as well as syntactical transformation rules between models. Finally, we provide definitions for standard graphs and standard models so that we translate graphs to models and vice versa. Together with the relations |= and on the graphs and on the models, we show that both calculi are adequate and that reasoning can be carried over from graphs to models and vice versa.
Abstract. SearchSleuth is a program developed to experiment with the automated local analysis of Web search using formal concept analysis. SearchSleuth extends a standard search interface to include a conceptual neighborhood centered on a formal concept derived from the initial query. This neighborhood of the concept derived from the search terms is decorated with its upper and lower neighbors representing more general and specialized concepts respectively. In SearchSleuth, the notion of related categories -which are themselves formal concepts -is also introduced. This allows the retrieval focus to shift to a new formal concept called a sibling. This movement across the concept lattice needs to relate one formal concept to another in a principled way. This paper presents the issues concerning exploring and ordering the space of related categories.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.