Benutzer:Fiede

Ontologien (IT)

Definitionen

So wie eine Klasse das Konzept eines Dinges der wirklichen Welt repräsentiert, und eine Instanz einer Klasse (Objekt) eine einzelne Ausprägung ist, modelliert eine Ontologie in der Informatik einen Bereich der Realität, der grundsätzlich auch instantiiert werden kann. Ontologien sind zumeist sprachlich gefasste und formal geordnete Darstellungen einer Menge von Begriffen und der zwischen ihnen bestehenden Beziehungen innerhalb eines bestimmten Gegenstandsbereiches. Im Unterschied zu einer Taxonomie, die nur eine hierarchische Untergliederung abbildet, stellt eine Ontologie ein Netzwerk von Informationen mit logischen Relationen dar.

In computer science and information science, an ontology is a formal representation of knowledge as a set of concepts within a domain, and the relationships between those concepts. It is used to reason about the entities within that domain, and may be used to describe the domain.

In theory, an ontology is a formal, explicit specification of a shared conceptualisation. An ontology provides a shared vocabulary, which can be used to model a domain — that is, the type of objects and/or concepts that exist, and their properties and relations.

Ontologies are used in artificial intelligence, the Semantic Web, systems engineering, software engineering, biomedical informatics, library science, enterprise bookmarking, and information architecture as a form of knowledge representation about the world or some part of it.

Beispiel: Ontologie eines Museums

Bestandteile einer Ontologie

  * Individuals: instances or objects (the basic or "ground level" objects)
  * Classes: sets, collections, concepts, classes in programming, types of objects, or kinds of things
  * Attributes: aspects, properties, features, characteristics, or parameters that objects (and classes) can have
  * Relations: ways in which classes and individuals can be related to one another
  * Function terms: complex structures formed from certain relations that can be used in place of an individual term in a statement
  * Restrictions: formally stated descriptions of what must be true in order for some assertion to be accepted as input
  * Rules: statements in the form of an if-then (antecedent-consequent) sentence that describe the logical inferences that can be drawn from an assertion in a particular form
  * Axioms: assertions (including rules) in a logical form that together comprise the overall theory that the ontology describes in its domain of application. This definition differs from that of "axioms" in generative grammar and formal logic. In those disciplines, axioms include only statements asserted as a priori knowledge. As used here, "axioms" also include the theory derived from axiomatic statements.
  * Events: the changing of attributes or relations [1]

Überarbeitete Transkription der VO 9 vom 10.12.2010

In dieser Vorlesung wurde nach einer abschließenden Überleitung das objektorientierte Softwareentwicklungs-Paradigma behandelt - in Hinblick darauf, inwiefern sich darin (vulgär-)platonische Konzepte finden lassen. Den Abschluss der Vorlesung bildete ein Ausblick auf ein Interaktives Text-Adventure zu Platons Politeia.
Transkription VO 9