5 research outputs found
Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts
The study of Description Logics have been historically mostly focused on
features that can be translated to decidable fragments of first-order logic. In
this paper, we leave this restriction behind and look for useful and decidable
extensions outside first-order logic. We introduce universally quantified
concepts, which take the form of variables that can be replaced with arbitrary
concepts, and define two semantics of this extension. A schema semantics allows
replacements of concept variables only by concepts from a particular language,
giving us axiom schemata similar to modal logics. A second-order semantics
allows replacement of concept variables with arbitrary subsets of the domain,
which is similar to quantified predicates in second-order logic.
To study the proposed semantics, we focus on the extension of the description
logic . We show that for a useful fragment of the extension, the
conclusions entailed by the different semantics coincide, allowing us to use
classical reasoning algorithms even for the second-order
semantics. For a slightly smaller, but still useful, fragment, we were also
able to show polynomial decidability of the extension. This fragment, in
particular, can express a generalized form of role chain axioms, positive self
restrictions, and some forms of (local) role-value-maps from KL-ONE, without
requiring any additional constructors
Knowledge and Management Models for Sustainable Growth
In the last years sustainability has become a topic of global concern and a key issue in the strategic agenda of both business organizations and public authorities and organisations.
Significant changes in business landscape, the emergence of new technology, including social media, the pressure of new social concerns, have called into question established conceptualizations of competitiveness, wealth creation and growth.
New and unaddressed set of issues regarding how private and public organisations manage and invest their resources to create sustainable value have brought to light. In particular the increasing focus on environmental and social themes has suggested new dimensions to be taken into account in the value creation dynamics, both at organisations and communities level.
For companies the need of integrating corporate social and environmental responsibility issues into strategy and daily business operations, pose profound challenges, which, in turn, involve numerous processes and complex decisions influenced by many stakeholders. Facing these challenges calls for the creation, use and exploitation of new knowledge as well as the development of proper management models, approaches and tools aimed to contribute to the development and realization of environmentally and socially sustainable business strategies and practices
Abstracts from the 50th European Society of Human Genetics Conference: Posters
International audienc