Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...) the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...) their decidability. (shrink)

In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...) metric. The frame conditions needed correspond rather directly with a Boolean modal logic that is, again, of the same expressivity as the two-variable fragment. We use this representation to derive an axiomatisation of the modal hybrid variant of the two-variable fragment, discuss the compactness property in distance logics, and derive some results on (the failure of) interpolation in distance logics of various expressive power. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. The current proceedings (...) is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...) Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent (...) collective ontologies. We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies. (shrink)

I argue, contrary to standard claims, that accomplice liability need not be a causal relation. One can be an accomplice to another’s crime without causally contributing to the criminal act of the principal. This is because the acts of aid and encouragement that constitute the basis for accomplice liability typically occur in contexts of under- and over-determination, where causal analysis is confounded. While causation is relevant to justifying accomplice liability in general, only potential causation is necessary in particular cases. I (...) develop this argument through the example of the role of U.S. legal officials in abetting the acts of unlawful interrogation that have taken place since 2001. I also suggest that there may be a limited justification for ex post ratificatory accomplice liability. (shrink)

Introduction : war, politics, democracy -- Democratic security -- Citizens and soldiers : the difference uniforms make -- A modest case for symmetry : are soldiers morally equal? -- Leaders and the gambles of war : against political luck -- War, democracy, and sSecrecy : secret law -- Must a democracy be ruthless? : torture and existential politics -- Humanitarian intervention and the new democratic holy wars -- Drones and democracy -- Democracy and the death of norms -- Democratic states (...) in victory : vae victis? -- Looking backward : democratic transitions and the choice of justice. (shrink)

We live in a morally flawed world. Our lives are complicated by what other people do, and by the harms that flow from our social, economic and political institutions. Our relations as individuals to these collective harms constitute the domain of complicity. This book examines the relationship between collective responsibility and individual guilt. It presents a rigorous philosophical account of the nature of our relations to the social groups in which we participate, and uses that account in a discussion of (...) contemporary moral theory. Christopher Kutz shows that the two prevailing theories of moral philosophy, Kantianism and consequentialism, both have difficulties resolving problems of complicity. He then argues for a richer theory of accountability in which any real understanding of collective action not only allows but demands individual responsibility. (shrink)

What is morality? How many moral values are there? And what are they? According to the theory of morality-as-cooperation, morality is a collection of biological and cultural solutions to the problems of cooperation recurrent in human social life. This theory predicts that there will be as many different types of morality as there are different types of cooperation. Previous research, drawing on evolutionary game theory, has identified at least seven different types of cooperation, and used them to explain seven different (...) types of morality: family values, group loyalty, reciprocity, heroism, deference, fairness and property rights. Here we explore the conjecture that these simple moral ‘elements’ combine to form a much larger number of more complex moral ‘molecules’, and that as such morality is a combinatorial system. For each combination of two elements, we hypothesise a candidate moral molecule, and successfully locate an example of it in the professional and popular literature. These molecules include: fraternity, blood revenge, family pride, filial piety, gavelkind, primogeniture, friendship, patriotism, tribute, diplomacy, common ownership, honour, confession, turn taking, restitution, modesty, mercy, munificence, arbitration, mendicancy, and queuing. These findings indicate that morality – like many other physical, biological, psychological and cultural systems – is indeed a combinatorial system. Thus morality-as-cooperation provides a principled and powerful theory, that explains why there are many moral values, and successfully predicts what they will be; and it generates a systematic framework that has the potential to explain all moral ideas, possible and actual. Pursuing the many implications of this theory will help to place the study of morality on a more secure scientific footing. (shrink)

Two partners plan to rob a bank. The first recruits a driver while the second purchases a shotgun from a gun dealer. The driver knows he’s taking part in a robbery, although not a bank robbery. The gun dealer should have checked his customer’s police record before the sale, but failed to do so. The bank is robbed, a guard is killed, and the robbers escape, only to be caught later. “They committed bank robbery,” a prosecutor will say. But does (...) “they” include the gun dealer, whose lax standards made the robbery possible? “They conspired to rob the bank”—but does “they” here include the driver, who didn’t know it was a bank they were robbing? “They killed a bank guard”—but does it matter which robber inside the bank pulled the trigger? (shrink)

Collective action is a widespread social phenomenon, ranging from intricate duets to routinized, hierarchical cooperation within bureaucratic structures. Standard accounts of collective action (such as those offered by Bratman, Gilbert, Searle, and Tuomela and Miller) have attempted to explain cooperation in the context of small-scale, interdependent, egalitarian activities. Because the resulting analyses focus on the intricate networks of reciprocal expectation present in these contexts, they are less useful in explaining the nature of collective action in larger or more diffuse social (...) contexts. I argue here instead for a minimalist account of collective action, which explains collective action across a broad range of contexts by reference to individuals’ overlapping “participatory intentions,” i.e., intentions to do one’s part in a collective act. Participatory intentions are, formally, simply species of individual instrumental intentions, although their objects make irreducible reference to collective acts. (shrink)

The main markets for this book are in the areas of philosophy, Islamic studies, Middle Eastern studies, cultural studies, religious studies and theology.

Explainable artificial intelligence (XAI) seeks to produce explanations for those machine learning methods which are deemed opaque. However, there is considerable disagreement about what this means and how to achieve it. Authors disagree on what should be explained (topic), to whom something should be explained (stakeholder), how something should be explained (instrument), and why something should be explained (goal). In this paper, I employ insights from means-end epistemology to structure the field. According to means-end epistemology, different means ought to be (...) rationally adopted to achieve different epistemic ends. Applied to XAI, different topics, stakeholders, and goals thus require different instruments. I call this the means-end account of XAI. The means-end account has a descriptive and a normative component: on the one hand, I show how the specific means-end relations give rise to a taxonomy of existing contributions to the field of XAI; on the other hand, I argue that the suitability of XAI methods can be assessed by analyzing whether they are prescribed by a given topic, stakeholder, and goal. (shrink)

Introduction: The role of animals in philosophies of man -- Part I: What's wrong with animal rights? -- The right to remain silent -- Part II: Animal pedagogy -- You are what you eat : Rousseau's cat -- Say the human responded : Herder's sheep -- Part III: Difference worthy of its name -- Hair of the dog : Derrida's and Rousseau's good taste -- Sexual difference, animal difference : Derrida's sexy silkworm -- Part IV: It's our fault -- The (...) beaver's struggle with species-being : De Beauvoir and the praying mantis -- Answering the call of nature : Lacan walking the dog -- Part V: Estranged kinship -- The abyss between humans and animals : Heidegger puts the bee in being -- Strange kinship : Merleau-Ponty's sensuous stickleback -- Stopping the anthropological machine : Agamben's tick-tocking tick -- Psychoanalysis and the science of kinship -- Psychoanalysis as animal by-product : Freud's zoophilia -- Animal abjects, maternal abjects : Kristeva's strays -- Conclusion: Sustainable ethics. (shrink)

English has plural terms as well as singular terms. But our standard formal languages, e.g., the predicate calculus, feature only singular terms. How can the plural idiom be formalized?‘Changing the subject’ is by far the most common plurals strategy among both philosophers and linguists: a plural term is replaced by a singular term standing for some complex object that ‘contains’ the individuals to which the plural term alludes. For example, one might simply replace ‘A, B imply C’ with ‘{A, B} (...) implies [singular] C’. We uncover a surprising variety of ways to change the subject, of ever‐increasing complexity and ingenuity. Our question is whether any can made to work. (shrink)