Ludger Jansen

Tun und Können erläutert und diskutiert den Gründungstext der Modalontologie: das neunte Buch der Metaphysik des Aristoteles. Aristoteles' Thesen und Argumente werden zum ersten Mal in Gänze mit formalen analytischen Mitteln rekonstruiert und auf ihre Kohärenz und Gültigkeit geprüft. Erstmals verwendet der Autor dazu eine adverbiale Analyse von Ausdrücken des Könnens und des Vermögens als Prädikatmodifikatoren. Das Buch zeigt, dass Aristoteles' Theorie der Vermögen nicht nur eine konsistente, sondern auch eine leistungsfähige Analyse von Dispositionen und Dispositionsprädikaten bietet. Die Neuausgabe wurde vollständig durchgesehen und um weiterführende Anhänge ergänzt. Der Inhalt: Können, Tun und Möglichkeit. Eine Einführung • Die kausale Dimension von Vermögen • Die ontologische Dimension von Vermögen• Eine notwendige Bedingung für Vermögen • Hindernisse und Verwirklichung • Prioritätsfragen • Aristotle’s Theory of Dispositions • Das Problem des Neuen • Planners, Deciders, Performers

BACKGROUND In biomedical ontologies, mereological relations have always been subject to special interest due to their high relevance in structural descriptions of anatomical entities, cells, and biomolecules. This paper investigates two important subrelations of has_proper_part, viz. the relation has_grain, which relates a collective entity to its multiply occurring uniform parts (e.g., water molecules in a portion of water), and the relation has_component, which relates a compound to its constituents (e.g., molecules to the atoms they consist of). METHOD We distinguish between four kinds of complex entities and characterize them in first order logic. We then discuss whether similar characterizations could be given in description logics, and finally apply the results to mixtures. RESULTS At first sight, collectives and compounds seem to be disjoint categories. Their disjointness, however, relies on agreement about what are uniform entities, and thus on the granularity of description. For instance, the distinction between isomeric subtypes of a molecule can be important in one use case but might be neglected in another one. We demonstrate that, as implemented in the BioTop domain upper level ontology, equivalence or subsumption between different descriptions of same or similar entities cannot be achieved. Using OWL-DL, we propose a new design pattern that avoids primitive subrelations at the expense of more complex descriptions and thus supports the needed inferences.

In 'Metaphysics IX.6' (1048b 18-35) Aristotle presents a test to distinguish between "kinesis" and "energeia," based on relations between the perfective and the imperfective aspect of the verb. This passage has been interpreted as drawing a linguistic distinction between classes of verbs (e.g., stative verbs) by means of a linguistic criterion (Ackrill, Graham). But such an interpretation is in conflict with the text. Aristotle's test must, therefore, be understood as a metaphysical criterion between items in the world (rather than lingual items) by means of a metaphysical criterion, exploiting properties of these items. These items are events, and 'Metaphysics IX.6' exhibits Aristotle's awareness to certain topics discussed in modern event ontology.

BACKGROUND Understanding, modelling and influencing the transition between different states of cells, be it reprogramming of somatic cells to pluripotency or trans-differentiation between cells, is a hot topic in current biomedical and cell-biological research. Nevertheless, the large body of published knowledge in this area is underused, as most results are only represented in natural language, impeding their finding, comparison, aggregation, and usage. Scientific understanding of the complex molecular mechanisms underlying cell transitions could be improved by making essential pieces of knowledge available in a formal (and thus computable) manner. RESULTS We describe the outline of two ontologies for cell phenotypes and for cellular mechanisms which together enable the representation of data curated from the literature or obtained by bioinformatics analyses and thus for building a knowledge base on mechanisms involved in cellular reprogramming. In particular, we discuss how comprehensive ontologies of cell phenotypes and of changes in mechanisms can be designed using the entity-quality (EQ) model. CONCLUSIONS We show that the principles for building cellular ontologies published in this work allow deeper insights into the relations between the continuants (cell phenotypes) and the occurrents (cell mechanism changes) involved in cellular reprogramming, although implementation remains for future work. Further, our design principles lead to ontologies that allow the meaningful application of similarity searches in the spaces of cell phenotypes and of mechanisms, and, especially, of changes of mechanisms during cellular transitions.

Wether the chicken or the egg came first, is not only a mind-boggling but a substantial question. Its answer depends on the biological background theory one assumes. I review recent work on the topic (by Teichmann, Sorensen, Waller and Raatzsch) and resolve some of the disputes between these authors by borrowing from Aristotle the distinction between chicken-producing eggs. I then introduce the concept of a quasi-species to make explicit the vagueness involved in species-terms and prove 13 different priority-claims within a Darwinian framework.

Background: In order to improve ontology quality, tool- and language-related tutorials are not sufficient. Care must be taken to provide optimized curricula for teaching the representational language in the context of a semantically rich upper level ontology. The constraints provided by rigid top and upper level models assure that the ontologies built are not only logically consistent but also adequately represent the domain of discourse and align to explicitly outlined ontological principles. Finally such a curriculum must take into account the pre-existing skills and knowledge of the target audience. Objective: To develop a well-structured curriculum aligned to the particular requirements of life science professionals, in order to enable them to create logically sound, domain adequate and predicable ontologies using the Web Ontology Language (OWL) in Protégè. Methods: Content selection for the curriculum was based on the literature, pre-existing tutorials, and a guideline for good ontology development (i.e ontology design enhancing domain adequacy, sustainability and interoperability) that drew on the authors previous experiences with large ontology development projects. Learning objectives were formulated according to a needs assessment of the targeted learners, who were students trained in life sciences with basic knowledge and practical skills in computer science. As instructional format we choose an approach with a high amount of practical exercises. The curriculum was first implemented with 24 Students and 7 lecturers/ tutors over 5 full days. The curriculum was evaluated by gathering the participants feedback via a questionnaire. Results: Curricular development produced 16 modules of approximately 2 hours each, which covered basic principles of Applied Ontology, description logic syntax and semantics, as well as best design practices outlined in ontology design patterns and variants of the BioTop upper ontology. An opinion survey based on questionnaires indicated that the participants took advantage from the teaching strategies applied, as they indicated good knowledge gain and acknowledged the relevance of the modules. The difficulty was rated slightly lower. Conclusion: The development of teaching material for principled ontology design and best practices is of crucial importance in order to enhance the quality of biomedical ontologies. Here, we present a curriculum for a week long workshop, leveraging on current educational principles, focusing on interactive hands-on exercises, group interactions, and problem-oriented learning. Whereas evaluation clearly showed the success of this approach, in particular regarding student’s satisfaction, the objective measurement of traceable effects on the quality of the generated ontology, although of much higher interest, has just started.

Dispositions and tendencies feature significantly in the biomedical domain and therefore in representations of knowledge of that domain. They are not only important for specific applications like an infectious disease ontology, but also as part of a general strategy for modelling knowledge about molecular interactions. But the task of representing dispositions in some formal ontological systems is fraught with several problems, which are partly due to the fact that Description Logics can only deal well with binary relations. The paper will discuss some of the results of the philosophical debate about dispositions, in order to see whether the formal relations needed to represent dispositions can be broken down to binary relations. Finally, we will discuss problems arising from the possibility of the absence of realizations, of multi-track or multi-trigger dispositions and offer suggestions on how to deal with them.

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but also as ascriptions of dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events.

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

It has long been a standard practice for the natural sciences to classify things. Thus, it is no wonder that, for two and a half millennia, philosophers have been reflecting on classifications, from Plato and Aristotle to contemporary philosophy of science. Some of the results of these reflections will be presented in this chapter. I will start by discussing a parody of a classification, namely: the purportedly ancient Chinese classification of animals described by Jorge Luis Borges. I will show that many of the mistakes that account for the comic features of this parody appear in real-life scientific databases as well. As examples of the latter, I will discuss the terminology database of the National Cancer Institute (NCI) of the United States, the NCI Thesaurus.

It is widespread practice to define artefacts as entities that owe their existence to plan-based acts of production that aim at a certain use of the produced thing. According to this definition, artefacts are essentially intention-dependent. For this reason, artefacts are threatened by marginalisation within standard naturalised ontologies. I discuss three families of marginalisation strategies: elimination, reduction and supervenience. I argue that all of these strategies fail, as they lead to false implications, with the possible exception of four-dimensional supervenience, which might well be true, but remains completely uninformative in respect to artefacts. The crucial issue in this regard is what Peter van Inwagen calls the Duplication Principle which is undermined by thought experiments involving chance entities or duplication. Hence, materialistic ontologies are not, as Peter van Inwagen wants us to believe, a Copernican revolution in ontology; they are simply not adequate for the domain of artefacts

Starting from the early treatise "On Being and Essence", I review issues concerning substances composed of matter and form: their hylomorphic composition, individuation, essence as part and as whole, and the analogy between genus/difference and matter/form. Then I discuss substances separated from matter, which may range from human souls and angels (or intelligences) to God. I then turn to Aquinas's later 'Summa Theologica', where he argues that in the end God cannot possibly belong to the category of substance and discuss possible reasons for Aquinas conflicting accounts on this question.

Background Ontology Design Patterns (ODPs) are representational artifacts devised to offer solutions for recurring ontology design problems. They promise to enhance the ontology building process in terms of flexibility, re-usability and expansion, and to make the result of ontology engineering more predictable. In this paper, we analyze ODP repositories and investigate their relation with upper-level ontologies. In particular, we compare the BioTop upper ontology to the Action ODP from the NeOn an ODP repository. In view of the differences in the respective approaches, we investigate whether the Action ODP can be embedded into BioTop. We demonstrate that this requires re-interpreting the meaning of classes of the NeOn Action ODP in the light of the precepts of realist ontologies. Results As a result, the re-design required clarifying the ontological commitment of the ODP classes by assigning them to top-level categories. Thus, ambiguous definitions are avoided. Classes of real entities are clearly distinguished from classes of information artifacts. The proposed approach avoids the commitment to the existence of unclear future entities which underlies the NeOn Action ODP. Our re-design is parsimonious in the sense that existing BioTop content proved to be largely sufficient to define the different types of actions and plans. Conclusions The proposed model demonstrates that an expressive upper-level ontology provides enough resources and expressivity to represent even complex ODPs, here shown with the different flavors of Action as proposed in the NeOn ODP. The advantage of ODP inclusion into a top-level ontology is the given predetermined dependency of each class, an existing backbone structure and well-defined relations. Our comparison shows that the use of some ODPs is more likely to cause problems for ontology developers, rather than to guide them. Besides the structural properties, the explanation of classification results were particularly hard to grasp for 'self-sufficient' ODPs as compared with implemented and 'embedded' upper-level structures which, for example in the case of BioTop, offer a detailed description of classes and relations in an axiomatic network. This ensures unambiguous interpretation and provides more concise constraints to leverage on in the ontology engineering process.