Hintergrund: Biomedizinische Ontologien existieren unter anderem zur Integration von klinischen und experimentellen Daten. Um dies zu erreichen ist es erforderlich, dass die fraglichen Ontologien von einer großen Zahl von Benutzern zur Annotation von Daten verwendet werden. Wie können Ontologien das erforderliche Maß an Benutzerfreundlichkeit, Zuverlässigkeit, Kosteneffektivität und Domänenabdeckung erreichen, um weitreichende Akzeptanz herbeizuführen? -/- Material und Methoden: Wir konzentrieren uns auf zwei unterschiedliche Strategien, die zurzeit hierbei verfolgt werden. Eine davon wird von SNOMED CT im Bereich der Medizin vertreten, die (...) andere im Bereich der Biologie und Biomedizin von der OBO Foundry. Es soll aufgezeigt werden, wie die Verpflichtung zu speziellen Kriterien der Ontologieentwicklung die Nützlichkeit und Effektivität der Ontologien positiv beeinflusst, indem die Pflege der terminologischen Systeme und ihre Interoperabilität vereinfacht werden. -/- Ergebnisse: SNOMED CT und die OBO Foundry unterscheiden sich grundlegend in ihren Ansätzen und Zielen. Unabhängig davon kann jedoch ein allgemeiner Trend zur strengeren Formalisierung und Fokussierung auf Interoperabilität zwischen unterschiedlichen Domänen und ihren Repräsentationen beobachtet werden. (shrink)

In der Zeit nach K. C. F. Krauses Tod wurde in der Philosophie darum gerungen, die umwalzende Kraft des deutschen Idealismus zeitgemass zu retten. In diesem Zusammenhang spielte Krause eine wichtige Rolle. Sein System wurde verstarkt rezipiert - in Lehrbuchern, in Ruges, Schweglers und Noacks Jahrbuchern, aber auch beispielsweise in I. H. Fichtes Zeitschrift fur Philosophie. Weiterhin aufschlussreich fur die Wirkung Krauses ist die von Urena beleuchtete Krause'sche Position zum Deutschkatholizismus im Gegensatz etwa zu Gervinus, Bayrhoffer oder Vischer. Uberdies zeigt (...) der Band die Rezeption der Krause'schen Staatslehre in der Tubinger Volkswirtschaftslehre auf. Schliesslich zeigt Urena, inwiefern sich Krause als einer der ersten fur die Gleichberechtigung der Frau eingesetzt hat - sowohl in der Theorie als auch in der Praxis. Das Buch zeichnet eine beeindruckende Wirkungsgeschichte nach, wodurch Krauses Einfluss auf die Philosophie des 19. Jahrhunderts deutlich wird. (shrink)

In der Zeit nach K. C. F. Krauses Tod (1832) wurde in der Philosophie darum gerungen, die umwalzende Kraft des deutschen Idealismus zeitgemass zu retten. In diesem Zusammenhang spielte Krause eine wichtige Rolle. Sein System wurde verstarkt rezipiert - in Lehrbuchern, in Ruges, Schweglers und Noacks Jahrbuchern, aber auch beispielsweise in I. H. Fichtes Zeitschrift fur Philosophie. Weiterhin aufschlussreich fur die Wirkung Krauses ist die von Urena beleuchtete Krause'sche Position zum Deutschkatholizismus im Gegensatz etwa zu Gervinus, Bayrhoffer oder Vischer. Uberdies (...) zeigt der Band die Rezeption der Krause'schen Staatslehre in der Tubinger Volkswirtschaftslehre auf. Schliesslich zeigt Urena, inwiefern sich Krause als einer der ersten fur die Gleichberechtigung der Frau eingesetzt hat - sowohl in der Theorie als auch in der Praxis. Das Buch zeichnet eine beeindruckende Wirkungsgeschichte nach, wodurch Krauses Einfluss auf die Philosophie des 19. Jahrhunderts deutlich wird. (shrink)

This paper assesses the role of the Refutation of Idealism within the Critique of Pure Reason, as well as its relation to the treatment of idealism in the First Edition and to transcendental idealism more generally. It is argued that the Refutation is consistent with the Fourth Paralogism and that it can be considered as an extension of the Transcendental Deduction. While the Deduction, considered on its own, constitutes a 'regressive argument', the Refutation allows us to turn the Transcendental Analytic (...) into a 'progressive argument' that proceeds by the synthetic method. (shrink)

Ontology engineering is mainly done by domain experts who are specialists in their domain but have, if at all, limited knowledge in logics, computer science, or analytic philosophy. The literature on formal ontologies and biomedical ontologies is neither suited nor intended to serve as an educational resource that would help domain experts to become good ontologists. Existing educational resources focus rather on ontology tools and languages than on good practice. The purpose of the GoodOD guideline is to pave the road (...) for domain experts who want (or need) to become ontology engineers. It pursues the openly pragmatic approach that ontology engineers only need to know ontology theory to the extent which supports the (measurable) outcome of their work. The GoodOD Guideline builds upon given philosophical and methodological principles as well as preexisting tools and resources. In particular (pragmatic) scientific realism, first order logics and its subset OWL-DL (description logics), set theory, an upper-level ontology with high-level categories and a canonic set of relations, constraints which limit the freedom of choice when building coordinate expressions, the ontology editor Protégé 4, a complete DL reasoner, such as HermIT, ontology design patterns, and naming conventions. -/- Given these precepts the guideline contains all the knowledge to be acquired by a user to be able to solve ontology engineering problems in a foreseeable and non-arbitrary way. The didactic concept is to convey the skills not only by theory but also by practical examples. (shrink)