Based on the paradigm of Constructive Descriptions and Situations, we introduce NIC, an ontology of social collectives that includes social agents, plans, norms, and the conceptual relations between them. Norms are distinguished from plans, and their relations are formalized. A typology of social collectives is also proposed, including collection of agents, knowledge community, intentional collective, and normative intentional collective. NIC, represented as a first-order theory as well as a description logic for applications requiring automated reasoning, provides the expressivity to talk (...) about the contexts (social, informational, circumstantial, and conceptual), in which collectives make and produce sense within the interplay of plans and norms. (shrink)

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.