Difference between pages "Unique Name Assumption" and "Vier Jahre Nodix (und kein bisschen weißer)"

From Simia
(Difference between pages)
Jump to navigation Jump to search
imported>Denny
m (Reverted edits by Ihonevigefa (Talk); changed back to last version by Denny)
 
imported>Denny
 
Line 1: Line 1:
{{pubdate|31|March|2005}}
+
{{pubdate|14|January|2005}}
I just read [http://morenews.blogspot.com/ Andrew Newman's] entry on the [http://morenews.blogspot.com/2005/03/why-different-things-are-same.html Unique Name Assumption (UNA)]. He thinks that not having an UNA is "weird, completely backwards and very non-intuitive". Furher he continues, that "It does seem perverse that the basis for this, the URI, is unique." He cites an [http://www.deri.at/teaching/seminars/internal/slides/OWL_DLvsFlight.pdf OWL Flight] paper that caused me quite some headache a few weeks ago (cause there was so little in it that I found to like).
+
Am 14. Januar eröffnete Nodix - meine zweite Website nach einem Vorgänger in den frühen 90ern - die Pforten, und vieles, vieles hat sich seitdem getan. Ein halbes Dutzend eigener Websiten ist aus Nodix seitdem entstanden, und noch ein paar sind geplant, die mehr oder weniger ein kleines Netzwerk von Websiten bilden sollen.
  
Andrew, whose blog I really like to read, makes one very valid point: "It doesn't really say, though, why you need non-unique names."
+
Im ersten Jahr wahr ich sehr stolz, 2.000 Besucher gehabt zu haben. Irre! Größenwahnsinnig startete ich die Aktion 10.000, bis Januar 2003 10.000 Besucher gehabt zu haben - und tatsächlich es gelang, sogar schon bis August 2002. 2002 hatte Nodix insgesamt 20.000 Besucher - eine unglaubliche Verzehnfachung! 2003 wurde die Zahl nochmal mehr als verdoppelt - 44.000 Besucher in jenem Jahr. Und 2004 schließlich, bis heute, hatten über 115.000 Besucher! Für eine private Homepage wirklich famos. Vielen Dank all den Leuten, die Nodix treu sind, und es ab und an besuchen.
  
There was an [http://www.w3.org/TR/2004/REC-webont-req-20040210/#req-id-equivalence OWL requirement] that gives a short rationale for the UNA, but it seems it is not yet stated obvious enough.<br />
+
Allerdings hat sich in den Jahren auch ein kleines Team um Nodix gebildet. Nicht, dass es sich selber so bezeichnen würde, aber große Teile von Nodix entstehen und entstanden unabhängig voneinander. Jüngster Sproß ist Schwesterchens nakit-arts, das lange nur ihre Galerie enthielt, jetzt aber mit ihrem Blog - einem der schönsten überhaupt - zu den bestbesuchten Seiten hier gehört. Desweiteren Ralf Baumgartner, der, obwohl er eine eigene Website hat, sich demnächst verstärkt um something*positive kümmern wird, einer der Dornröschen-Seiten von Nodix. Genau wie die nutkidz. Doch für beide ist geplant, in den nächsten Wochen sie wiederzubeleben, und die Pläne schreiten voran. Versprochen, nichts davon stirbt.
Let's make a short jump to the close future: the Semantic Web is thriving, private homepages offer rich information sources about anything, and even the companies see the value of offering machine-processable information, thus, ontologies and knowledge bases everywhere!
 
  
People want to say how they liked the movie they just saw. They enrich their movie review with an RDF-statement that says
+
Dies gilt insbesondere für das DSA4 Werkzeug, das zur Zeit leider nicht einmal eine Website hat. Twel wird sich hier verstärkt darum kümmern, doch es hängt an mir. Zu meinen guten Vorsätzen und Plänen dieses Jahr gehört es aber, einige Aufgaben endlich abzuschließen: dazu gehört zunächst das Verfassen zweier Texte für DSA, einer fast fertig, einer in Planung; und dazu gehört der Relaunch der Website zum und das Fertigstellen des DSA4 Werkzeugs. Ja, genau gelesen, mein Zeitplan für 2005 sieht eine fertige Version des DSA4 Werkzeugs vor - definiert als über 95%-ige Regelkonformanz bei der Generierung und Steigerung. Na, ist das nichts?
<pre>http://semantic.nodix.net/movie#Ring_2 http://semantic.nodix.net/rating#rated http://semantic.nodix.net/rating#4_of_5.</pre>
 
Or rather, their editor creates this statement automatically and publishes it along the review.
 
  
I'd be highly surprised if [http://www.imdb.com/ imdb] would use the same URI for denoting the movie. They would probably use an imdb-URI. And so could I, using the imdb-specified URI for the movie. But I didn't, and I don't have to. If I want to state that this is the same movie, I can assert that explicitly. If I had UNA, I couldn't do that. The two knowledge bases could not work together.
+
So weit zu den Versprechungen und Plänen. Und was hat es mit dem Weißer auf sich? Nun, wie seit dem ersten Tag ist die Hintergrundfarbe von Nodix, einer weltbekannten Spielefirma zu Ehren, eaeaea.
  
With UNA, many knowledge bases relying on inverse functional properties would break as well. [http://www.foaf-project.org/ FOAF], for examples, uses this, identifiying persons with an IFP of their eMail-Hash. With UNA, this wouldn't work anymore.
+
<noinclude>{{Nodixpost}}</noinclude>
 
 
Let's take another example. On my mothers webpage there could be a statement saying she has three kids, Jurica, Rozana and Zdenko. I would state on my page that I am my moms kid. My sister, being the social kind, tells the world about her mom and her two brothers, Jurica and Denny. <br />
 
Now, if we have UNA, a reasoner would infer that one of us is lying. But all of us are very honest, trustworthy people. The problem here is, that my name is Zdenko, but most people refer to me as Denny. UNA says that Denny and Zdenko are the same person. If we have no UNA, we wouldn't believe that. But still we can state it explicitly: my mom could have said that she has three kids, Jurica, Rozana and Zdenko, and those are mutually distinct. Problem solved.
 
 
 
You could say, wait, if we had UNA we still could just claim that Zdenko owl:sameAs Denny, and the problem wouldn't arise. That is true. But then I would have to consider my moms statements. That maybe OK on a scale like this, but imagine this in the wilds of the web - you would have to consider every statement made about something, before you may state something as well. Impossible! And you would introduce non-monotonic inferences, and you probably wouldn't really want that.
 
 
 
What does this mean? Let's take the following row of statements, and consider the answer to the question "Is Kain on of Adams two sons?". So we know that Adam has two sons, and that there is an entity named Kain.
 
 
 
<pre>Adam fatherOf Abel.</pre>
 
UNA and non-UNA both answer: don't know.
 
<pre>Adam fatherOf Cain.</pre>
 
UNA says "No, Kain is no son of Adam". non-UNA says: "Sorry, I still don't know".
 
<pre>Cain sameAs Kain.</pre>
 
UNA says "Yes, Kain is a son of Adam (hope you didn't notice my little lie seconds before)". non-UNA says: "Yes, Kain is a son of Adam".
 
 
 
Assuming that, instead of the last statement, we claimed that
 
<pre>Adam fatherOf Kain.</pre>
 
UNA would say: "I'm messed up, I don't know anything, my database is inconsistent, sorry." , whereas non-UNA would answer: "Yes, Kain is a son of Adam (and by the way, maybe Kain and Abel are the same, or Kain and Cain, or Abel and Cain)."
 
 
 
The problem is, that in the setting of the Semantic Web you have a World Wide Web with thousands of facts, always changing, and you must assume that you didn't fetch all the information about a subject. You really can't know if you know everything there is about Adam. But you still want to be able to ask questions. And you want to get answers, and these answers to be monotonic. You don't want the Semantic Web to answer one day "No", the other "Yes" and sometimes "I don't know", but you could be fine with having it either provide the correct answer or non at all.
 
 
 
OWL-Flight and proponents of UNA actually forgot that it's a Semantic Web, not just a Semantic Knowledge Base. If you want UNA, take your Prolog-engine. The Semantic Web is more. And therefore it has to meet some requirements, and UNA is an astonishingly basic requirement of the Semantic Web. Don't forget, you can create local unique names if needed. But the other way would be much harder.
 
 
 
Still, Andrews arguments lead to a very important question: taking for granted that Andrew is an intelligent guy with quite some experience with this kind of stuff, how probable is it, that Joe Random User will have really big problems with grasping such concepts as non-UNA? How should the primers be written? How should the tools work in order to help users deal with this stuff - without requiring the user to study these ideas in advance?
 
 
 
Still a long way to go.
 
 
 
<noinclude>{{Semantic Nodix post}}</noinclude>
 

Latest revision as of 14:46, 26 December 2007

Am 14. Januar eröffnete Nodix - meine zweite Website nach einem Vorgänger in den frühen 90ern - die Pforten, und vieles, vieles hat sich seitdem getan. Ein halbes Dutzend eigener Websiten ist aus Nodix seitdem entstanden, und noch ein paar sind geplant, die mehr oder weniger ein kleines Netzwerk von Websiten bilden sollen.

Im ersten Jahr wahr ich sehr stolz, 2.000 Besucher gehabt zu haben. Irre! Größenwahnsinnig startete ich die Aktion 10.000, bis Januar 2003 10.000 Besucher gehabt zu haben - und tatsächlich es gelang, sogar schon bis August 2002. 2002 hatte Nodix insgesamt 20.000 Besucher - eine unglaubliche Verzehnfachung! 2003 wurde die Zahl nochmal mehr als verdoppelt - 44.000 Besucher in jenem Jahr. Und 2004 schließlich, bis heute, hatten über 115.000 Besucher! Für eine private Homepage wirklich famos. Vielen Dank all den Leuten, die Nodix treu sind, und es ab und an besuchen.

Allerdings hat sich in den Jahren auch ein kleines Team um Nodix gebildet. Nicht, dass es sich selber so bezeichnen würde, aber große Teile von Nodix entstehen und entstanden unabhängig voneinander. Jüngster Sproß ist Schwesterchens nakit-arts, das lange nur ihre Galerie enthielt, jetzt aber mit ihrem Blog - einem der schönsten überhaupt - zu den bestbesuchten Seiten hier gehört. Desweiteren Ralf Baumgartner, der, obwohl er eine eigene Website hat, sich demnächst verstärkt um something*positive kümmern wird, einer der Dornröschen-Seiten von Nodix. Genau wie die nutkidz. Doch für beide ist geplant, in den nächsten Wochen sie wiederzubeleben, und die Pläne schreiten voran. Versprochen, nichts davon stirbt.

Dies gilt insbesondere für das DSA4 Werkzeug, das zur Zeit leider nicht einmal eine Website hat. Twel wird sich hier verstärkt darum kümmern, doch es hängt an mir. Zu meinen guten Vorsätzen und Plänen dieses Jahr gehört es aber, einige Aufgaben endlich abzuschließen: dazu gehört zunächst das Verfassen zweier Texte für DSA, einer fast fertig, einer in Planung; und dazu gehört der Relaunch der Website zum und das Fertigstellen des DSA4 Werkzeugs. Ja, genau gelesen, mein Zeitplan für 2005 sieht eine fertige Version des DSA4 Werkzeugs vor - definiert als über 95%-ige Regelkonformanz bei der Generierung und Steigerung. Na, ist das nichts?

So weit zu den Versprechungen und Plänen. Und was hat es mit dem Weißer auf sich? Nun, wie seit dem ersten Tag ist die Hintergrundfarbe von Nodix, einer weltbekannten Spielefirma zu Ehren, eaeaea.


Ursprünglich auf Nodix von Denny veröffentlicht.

Vorhergehender Beitrag:
Pah!
Nachfolgender Beitrag:
Ironie