WuV: Various Improvements (ready to merge) #133
Conversation
partially copied verbatim from https://en.wikipedia.org/w/index.php?title=Abox&oldid=892872890, ideally later cite as described on https://en.wikipedia.org/w/index.php?title=Special:CiteThisPage&page=Abox&id=892872890&wpFormIdentifier=titleform
…s is a bit weird from a FOL semantics standpoint
for strings, we just leave off quotes => no (un)escaping necessary for encoding lists comma-separatedly, we need to (un)escape the comma
…s of strings of primitive types across languages
| @@ -71,6 +71,16 @@ \section{General Principles}\label{sec:onto:principles} | |||
| This part is commonly called the \textbf{ABox} (A for assertional). | |||
| \end{compactitem} | |||
|
|
|||
| Some sentences in following paragraph partially copied from \url{https://en.wikipedia.org/w/index.php?title=Abox&oldid=892872890}. License: \url{https://en.wikipedia.org/w/index.php?title=Special:CiteThisPage&page=Abox&id=892872890&wpFormIdentifier=titleform}. | |||
There was a problem hiding this comment.
Here, the initial sentences are copied. Check with the URI which sentences precisely are copied. The rest of the paragraph was written by me.
| There, both kind of declarations are even separately stored for efficiency reasons, and in particular, the concrete way of representing table rows | ||
| as bits is determined by the corresponding table definitions. | ||
| However, such a hard distinction is not necessarily the case for other ontology languages. | ||
| For example, in the ontology language OWL or in general in triplestores, both kind of declarations are stored next to each other and the syntactic representation distinction blurs. |
There was a problem hiding this comment.
I think triplestores haven't been introduced at this point, but are mentioned here.
| @@ -6,6 +6,7 @@ | |||
| \usepackage{amsmath} | |||
| \usepackage{amssymb} | |||
| \usepackage{xkeyval} | |||
| \usepackage{tikz-cd} | |||
There was a problem hiding this comment.
For a commutative diagram I inserted on the slide describing querying and what translated syntactic functions (IsSummer) to semantic ones have to adhere to. The equation there contained a typo and also was hard to read; it's much nicer with a diagram now.
| @@ -367,6 +371,22 @@ \subsection{Rigorous Definition} | |||
| } | |||
| \end{lstlisting} | |||
| The details can vary, and special care must be taken in programming languages where initialization may have side effects. | |||
| Methods of OO-languages arise as special case of fields whose types are the method signatures and whose definitions are the method bodies. | |||
There was a problem hiding this comment.
Below, the notes contain a discussion on the difficulties of defining the mixin wrt. mutual recursion. Hence, introduce an intuition of how methods can be represented via ADTs here to later be able to talk about mutual recursion intuitively. Particularly for students without background in formalizing things the MMT way.
| \item YAML: line/indentation-based | ||
| \end{blockitems} | ||
| \end{frame} | ||
|
|
||
| \begin{frame}{Breakout Question} | ||
| What is the difference between JSON, YAML, XML? | ||
| What is the difference between XML, JSON, and YAML? |
There was a problem hiding this comment.
be consistent in order with last slide
ComFreek
changed the title
@florian-rabe As dicussed, this PR is now ready to be reviewed and merged!
This PR contains various changes, incl.
There are some things left to do to polish the introduced changes:
Determine how to quote/attribute the one or two sentences for the T-Box vs. A-Box difference that I copied from Wikipedia. I pasted the source URI into the *.tex lest this be forgotten 😄 I also added a comment directly within the changeset in this PR via GitHub's UI.
The translation
BOL -> Scalacould be made even more idiomatic with some more functional programing. Not sure if it's wise to do so from a didactics point of view.