When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

The paper aims to explain different cases of disobedient institutional behavior using the attitude-based model. The issue of how to analyze and capture the faces of disobedience in a simple model is approached in three steps: first, misbehavior is defined as a certain lack in normative attitudes; second, these attitudes are distinguished in terms of normative acceptance and normative guidance; and third, combinations of these attitudes represent basic types of disobedience: opposing, transgressing and conforming. These three categories constitute an analytical (...) typology of disobedient agents compatible with the theory of social institutions. (shrink)

The article provides a focused overview of the recent debates in political philosophy on the role of religious arguments (as reasons for action) in liberal democracy, as well as a preliminary defence of a particular approach to the issue. Drawing on Christopher Eberle’s typology, we distinguish three main camps – Justificatory Liberalism, basing its advocacy of a “doctrine of religious restraint” on Rawls’s account of public justification; its Liberal Critics, embracing a wholly permissive position vis-à-vis religious arguments in the public (...) sphere; and New Traditionalism, which assigns priority to the religious rationale. The article deals in more detail with the exchange between the first two camps. Upon considering their strengths and weaknesses, we argue for a more robust “third way” between exclusion from and unqualified inclusion of religious arguments in public debates in liberal democracy. Inspired by the work of Gerald Gaus and Kevin Vallier, we the outline in the closing sections a framework of such “minimal justificatory liberalism” that steers clear of several errors shared by both the defenders and the critics of justificatory liberalism. (shrink)

This paper aims to assess current theoretical findings on the origin of coordination by salience and suggests a way to clarify the existing framework. The main concern is to reveal how different coordination mechanisms rely on specific epistemic aspects of reasoning. The paper highlights the fact that basic epistemic assumptions of theories diverge in a way that makes them essentially distinctive. Consequently, recommendations and predictions of the traditional views of coordination by salience are, in principle, based on the processes related (...) to the agent’s presumptions regarding the cognitive abilities of a co-player. This finding implies that we should consider these theories as complementary, and not competitive, explanations of the same phenomenon. -/- . (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

In an effort to inform the discussion surrounding existential risks from AI, we formulate Extinction-level Goodhart’s Law as “Virtually any goal specification, pursued to the extreme, will result in the extinction of humanity”, and we aim to understand which formal models are suitable for investigating this hypothesis. Note that we remain agnostic as to whether Extinction-level Goodhart’s Law holds or not. As our key contribution, we identify a set of conditions that are necessary for a model that aims to be (...) informative for evaluating specific arguments for Extinction-level Goodhart’s Law. Since each of the conditions seems to significantly contribute to the complexity of the resulting model, formally evaluating the hypothesis might be exceedingly difficult. This raises the possibility that whether the risk of extinction from artificial intelligence is real or not, the underlying dynamics might be invisible to current scientific methods. (shrink)

The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents the (...) attempt to make explicit not the rules alone, but rather the rules governing their following, i.e. rules of second-order type. I elaborate on these remarks with short references to Brandom’s refinement of Frege’s expressivist and Wittgenstein’s pragmatist project. (shrink)

Recenze: Vojtěch Hladký - Radim Kočandrle - Zděněk Kratochvíl, Evoluce před Darwinem. Červený Kostelec: Pavel Mervart 2012, 248 s.