imported>Trustable: Trustable verschob die Seite Direct mapping nach Direct Mapping: Schreibweise wie im Artikel

2018-10-20T06:41:02Z

Trustable verschob die Seite Direct mapping nach Direct Mapping: Schreibweise wie im Artikel

Neue Seite

Das '''Direct Mapping''' bzw. die '''Direktabbildung''' ist ein Verfahren, das die Konvertierung von beschreibungslogischen [[Axiom]]en in Logikprogrammregeln (und umgekehrt) ermöglicht.

Mit Logikprogrammregeln kann man logische Zusammenhänge, z. B. [[Implikation]]en formulieren. Beispiel: die Regel

<math>Ruede(X) \leftarrow Hund(X), Maennchen(X).</math>

bedeutet, dass jedes Objekt X, das die Eigenschaften „Hund“ und „Maennchen“ erfüllt, ein „Ruede“ ist. Dieser Wissensrepräsentationsformalismus ist weit verbreitet, unter anderem findet er in logischen Programmiersprachen wie [[Prolog (Programmiersprache)|Prolog]] Verwendung. In den letzten Jahren gewann mit den [[Beschreibungslogik]]en (engl. Description Logic) jedoch ein weiterer Repräsentationsformalismus an Bedeutung. Mit ihm lassen sich unter anderem Unterkonzeptbeziehungen gut modellieren, z. B. könnte man „Mann“ als Unterklasse von „Mensch“ definieren, da ein Mann ein näher spezifizierter Mensch ist:

<math>Mann \sqsubseteq Mensch</math>

Beide Formalismen haben bezüglich Ausdrucksmächtigkeit und Entscheidbarkeit ihre Vor- und Nachteile, weswegen sie auch parallel existieren. Das '''Direct Mapping''' ermöglicht, die beiden Repräsentationsformalismen ineinander überzuführen, was sinnvoll sein kann, wenn Wissen aus mehreren Wissensbasen gemeinsam genutzt werden soll. Dies ist unter anderem im Kontext des [[semantisches Web|semantischen Webs]] interessant. Das Verfahren kann jedoch nur auf einer Teilmenge des Schnittes von [[Beschreibungslogik]] und Logikprogrammen angewendet werden. Die Mächtigkeit der durch diese Schnittmenge definierten Sprache entspricht etwa der von [[Web Ontology Language|OWL Lite]].

Erstmals erwähnt wurde das Direct Mapping im Jahre [[2003]] in einem Artikel von Benjamin N. Grosof.

== Weblinks ==
*http://www.michaelhanselmann.de/projekte_directmapping.htm Ausführlichere Darstellung des Themas

[[Kategorie:Künstliche Intelligenz]]

Direct Mapping - Versionsgeschichte

imported>Trustable: Trustable verschob die Seite Direct mapping nach Direct Mapping: Schreibweise wie im Artikel