{"id":266,"date":"2018-07-25T19:54:07","date_gmt":"2018-07-25T19:54:07","guid":{"rendered":"https:\/\/musikphilosophie.ch\/?page_id=266"},"modified":"2018-07-27T17:05:59","modified_gmt":"2018-07-27T17:05:59","slug":"eintonuniversen-1tu-in-praedikatenlogik-erster-stufe-und-owl","status":"publish","type":"page","link":"https:\/\/musikphilosophie.ch\/?page_id=266","title":{"rendered":"Eintonuniversen  (1TU) in Pr\u00e4dikatenlogik erster Stufe und OWL"},"content":{"rendered":"<p>Folgendes ist ein rudiment\u00e4re Skizze f\u00fcr ein Datenmodell. Ein solches ist n\u00f6tig, um die riesigen Datenmengen, die bei der Beschreibung von Kompositionen anfallen, elektronscih bew\u00e4ltigen zu k\u00f6nnen.<\/p>\n<p>Vereinfachung: Wir gehen davon aus, dass ein Ton nicht weiter zerlegt werden kann (H\u00fcllkurve, Dynamikkurve etc, werden vernachl\u00e4ssigt). Die Eigenschaften des Tones entsprechen der Kodierung eines Tons in idealisiertem und innerhalb unseres Modells erweiterten MIDI.<\/p>\n<ul>\n<li>Eintonuniversen sind in ein Metauniversum eingebettet, Tonh\u00f6hen und Dauer k\u00f6nnen nur relativ zu einem solchen definiert werden.<\/li>\n<\/ul>\n<p>Die Formalisierung in XML-Dialekten scheint allerdings eine Sackgasse. XML ist auf eine Objektidentifikation ausgelegt und deshalb f\u00fcr eine Tropenontologie vermutlich nicht geeignet.<\/p>\n<h2>1TU in Pr\u00e4dikatenlogik erster Stufe<\/h2>\n<h3>\u03a6-Pr\u00e4dikate<\/h3>\n<p><strong>Frequenz<sub>\u03a6<\/sub><\/strong> <em>f<\/em> (Domain: <strong>R<\/strong> &gt; 0, Range\u00a0: 0 \u2264 <em>f<\/em> \u2264 20\u2018000), limitiert durch H\u00f6rgrenzen des Ohres; Mass: Hz<br \/>\n<strong>Beginn<sub>\u03a6<\/sub><\/strong> <em>on<\/em><strong><sub>\u03a6<\/sub><\/strong> (Domain: <strong>N<\/strong> = 0), Masseinheit Sekunden (\u00abon\u00bb von Onset)<br \/>\n<strong>Ende<sub>\u03a6<\/sub><\/strong> <em>off<\/em><strong><sub>\u03a6<\/sub><\/strong> ((Domain: <strong>R<\/strong> \u2265 0, Range: 0 &lt; <em>off<\/em> \u2264 unbestimmt [definiert durch Wahrnehmungsgesetze]) Mass Sekunden (\u00aboff\u00bb von Offset)<br \/>\n<strong>(relative) Lautst\u00e4rke<sub>\u03a6<\/sub><\/strong> <em>vel<\/em><strong><sub>\u03a6<\/sub><\/strong> ((Domain: <strong>N<\/strong> \u2265 0, Range: 0 &lt; <em>vel\u00a0<\/em>\u2264 127) Mass? (\u00abvel\u00bb von Velocity)<\/p>\n<h3>\u03a8-Pr\u00e4dikate<\/h3>\n<p><strong>Tonh\u00f6he<\/strong><sub>\u03a8 <\/sub><em>h <\/em>(Domain: Tonh\u00f6hen der Klaviertastatur, Range= A0\u00a0\u2264 <em>h<\/em> \u2264 C8), Masseinheit?<br \/>\n<strong>Dauer<\/strong><sub>\u03a8<\/sub> <em>d<\/em> (Domain: Dauern, Range: gerade noch wahrnehmbar \u2264 <em>d<\/em> \u2264 endlos), Masseinheit?<br \/>\n<strong>Lautheit<\/strong><sub>\u03a8<\/sub> <em>s<\/em> (Domain: Lautheiten, Range: gerade noch wahrnehmbar\u00a0\u2264 <em>s<\/em> \u2264 schmerzhaft), Masseinheit Sone<\/p>\n<table>\n<tbody>\n<tr>\n<td style=\"text-align: center;\" width=\"566\">Ein <strong>1TU<\/strong> ist ein 6-Tupel (<em>f, off, vel, h, d, s<\/em>).<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<ul>\n<li>Es gibt theoretisch beliebig viele 1TU.<\/li>\n<li>Gilt folgender Identit\u00e4tssatz?<br \/>\n1TU<sub>1<\/sub> \u2261 1TU<sub>2<\/sub><strong>\u00a0 \u21d4\u00a0 <\/strong>f<sub>1<\/sub> = f<sub>2<\/sub> . off<sub>1<\/sub> = off<sub>2<\/sub> . vel<sub>1<\/sub> = vel<sub>2 . <\/sub>\u00a0h<sub>1<\/sub> = h<sub>2<\/sub> . d<sub>1<\/sub> = d<sub>2<\/sub> . s<sub>1<\/sub> = s<sub>2<\/sub><\/li>\n<\/ul>\n<h1><\/h1>\n<h1>1TU in OWL<\/h1>\n<h2>XML Schema f\u00fcr 1TU<\/h2>\n<h3>XML-Version mit DTD und Attributen<\/h3>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-268 alignleft\" src=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml1-233x300.jpg\" alt=\"\" width=\"431\" height=\"555\" srcset=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml1-233x300.jpg 233w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml1.jpg 498w\" sizes=\"auto, (max-width: 431px) 100vw, 431px\" \/><\/p>\n<p>&nbsp;<\/p>\n<h3>XML-Version mit DTD und verschachtelten Tags<\/h3>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-269 alignleft\" src=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml2-300x288.jpg\" alt=\"\" width=\"717\" height=\"688\" srcset=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml2-300x288.jpg 300w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml2-768x738.jpg 768w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml2.jpg 773w\" sizes=\"auto, (max-width: 717px) 100vw, 717px\" \/><\/p>\n<p>&nbsp;<\/p>\n<h3>1TU in rudiment\u00e4rem RDF<\/h3>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-270 alignleft\" src=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml3-300x148.jpg\" alt=\"\" width=\"715\" height=\"353\" srcset=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml3-300x148.jpg 300w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml3-768x378.jpg 768w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml3.jpg 774w\" sizes=\"auto, (max-width: 715px) 100vw, 715px\" \/><\/p>\n<p>&nbsp;<\/p>\n<h3>1TU in rudiment\u00e4rem RDF mit leeren Knoten<\/h3>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-271 alignleft\" src=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml4-246x300.jpg\" alt=\"\" width=\"691\" height=\"843\" srcset=\"https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml4-246x300.jpg 246w, https:\/\/musikphilosophie.ch\/wp-content\/uploads\/2018\/07\/axml4.jpg 697w\" sizes=\"auto, (max-width: 691px) 100vw, 691px\" \/><\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Folgendes ist ein rudiment\u00e4re Skizze f\u00fcr ein Datenmodell. Ein solches ist n\u00f6tig, um die riesigen Datenmengen, die bei der Beschreibung von Kompositionen anfallen, elektronscih bew\u00e4ltigen zu k\u00f6nnen. Vereinfachung: Wir gehen davon aus, dass ein Ton nicht weiter zerlegt werden kann (H\u00fcllkurve, Dynamikkurve etc, werden vernachl\u00e4ssigt). Die Eigenschaften des Tones entsprechen der Kodierung eines Tons in idealisiertem und innerhalb unseres Modells erweiterten MIDI. Eintonuniversen sind in ein Metauniversum eingebettet, Tonh\u00f6hen und Dauer k\u00f6nnen nur relativ zu einem solchen definiert werden. Die Formalisierung in XML-Dialekten scheint allerdings eine Sackgasse. XML ist auf eine Objektidentifikation ausgelegt und deshalb f\u00fcr eine Tropenontologie vermutlich nicht geeignet. 1TU in Pr\u00e4dikatenlogik erster Stufe \u03a6-Pr\u00e4dikate Frequenz\u03a6 f (Domain: R &gt; 0, Range\u00a0: 0 \u2264 f \u2264 20\u2018000), limitiert<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-266","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/pages\/266","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=266"}],"version-history":[{"count":10,"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/pages\/266\/revisions"}],"predecessor-version":[{"id":322,"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=\/wp\/v2\/pages\/266\/revisions\/322"}],"wp:attachment":[{"href":"https:\/\/musikphilosophie.ch\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=266"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}