Abstract. The concern of this paper is to elaborate a basic understanding of semiconcepts and protoconcepts as notions of Formal Concept Analysis. First, semiconcepts and protoconcepts are motivated by their use for effectively describing formal concepts. It is shown that one can naturally operate with those units of description, namely with operations which constitute algebras of semiconcepts and algebras of protoconcepts as so-called double Boolean algebras. The main results of this paper are the two basic theorems which characterize semiconcept resp. protoconcept algebras as pure resp. fully contextual double Boolean algebras whose related Boolean algebras are complete and atomic. Those theorems may, for instance, be applied to check whether line diagram representations of semiconcept and protoconcept algebras are correct.
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.