Fehlerfreundliche Lehr-Lern-Arrangements: Selbstorganisationsoffener UnterrichtKarsten D. Wolf
Kurzbeitrag zu einer Lehrerweiterbildung im Rahmen der Bremen Sommeruni 2007. Kurzer Überblick zum Konzept "Selbstorganisiertes Lernen" nach Sembill, Wolf, Wuttke, Schumacher und Seifried.
Hochzeitsmappe des SportSchloss Velen im Münsterland. Hier finden Sie alles wissenswertes zum Thema heiraten im Sportschloss Velen. Die Mappe enthält Menü- und Buffetvorschläge, Getränkeangebote, sowie Raumpläne in denen die Trauung oder die Hochzeitsfeier stattfinden kann.
Para calcular la fracción de un número, se divide el número por el denominador de la fracción y se multiplica el resultado por el numerador. Por ejemplo, 3/4 de 20 se calcula dividiendo 20 entre 4 y multiplicando el resultado por 3 para dar 15, y 2/5 de 30 se calcula dividiendo 30 entre 5 y multiplicando el resultado por 2 para dar 12.
La Web 2.0 permite a los usuarios interactuar y colaborar como creadores de contenido en una comunidad virtual, a diferencia de sitios web estáticos. Ejemplos de la Web 2.0 son comunidades web, redes sociales, wikis y blogs, que facilitan el compartir información y la colaboración entre usuarios. La Web 2.0 evolucionó de aplicaciones estáticas a dinámicas donde la colaboración del usuario es necesaria.
Fehlerfreundliche Lehr-Lern-Arrangements: Selbstorganisationsoffener UnterrichtKarsten D. Wolf
Kurzbeitrag zu einer Lehrerweiterbildung im Rahmen der Bremen Sommeruni 2007. Kurzer Überblick zum Konzept "Selbstorganisiertes Lernen" nach Sembill, Wolf, Wuttke, Schumacher und Seifried.
Hochzeitsmappe des SportSchloss Velen im Münsterland. Hier finden Sie alles wissenswertes zum Thema heiraten im Sportschloss Velen. Die Mappe enthält Menü- und Buffetvorschläge, Getränkeangebote, sowie Raumpläne in denen die Trauung oder die Hochzeitsfeier stattfinden kann.
Para calcular la fracción de un número, se divide el número por el denominador de la fracción y se multiplica el resultado por el numerador. Por ejemplo, 3/4 de 20 se calcula dividiendo 20 entre 4 y multiplicando el resultado por 3 para dar 15, y 2/5 de 30 se calcula dividiendo 30 entre 5 y multiplicando el resultado por 2 para dar 12.
La Web 2.0 permite a los usuarios interactuar y colaborar como creadores de contenido en una comunidad virtual, a diferencia de sitios web estáticos. Ejemplos de la Web 2.0 son comunidades web, redes sociales, wikis y blogs, que facilitan el compartir información y la colaboración entre usuarios. La Web 2.0 evolucionó de aplicaciones estáticas a dinámicas donde la colaboración del usuario es necesaria.
El documento habla sobre el calentamiento global, que es el aumento de la temperatura promedio de la atmósfera terrestre y los océanos. Algunas de las causas principales son los gases de efecto invernadero, la contaminación y los eventos sobrenaturales. Finalmente, el documento enfatiza la importancia de reducir las emisiones de gases, plantar más árboles y reciclar para poder salvar el planeta y asegurar un mundo sano para las generaciones futuras.
El documento trata sobre conceptos geográficos como ambiente, espacios urbanos y rurales, paisajes, recursos naturales y su manejo. Explica las características de los espacios urbanos y rurales y los cuatro enfoques para el manejo de recursos: extractivista, conservacionista, ecodesarrollista y sustentable. Además, menciona energías alternativas, trashumancia y la organización espacial del Alto Valle del Río Negro.
YouZee - Business Intelligence Software www.youzee.euKONZEPTUM GmbH
YOUZEE
Das Wissens-Werkzeug für Entscheider
Wer strategisch richtige Entscheidungen treffen will, muss Zugriff haben auf die richtigen Informationen – immer aktuell und in aussagekräftiger Form.
www.youzee.eu
YOUZEE is a software for graphical presentation and goal oriented analysis of highly complex data. YOUZEE offers small and medium-sized businesses of all branches the possibility to create and edit comprehensive reportings and analysis charts and to present them multifarious.
Este documento describe las principales estructuras de las plantas como el fruto, la hoja, la raíz, el tallo y la flor. Define cada una de estas estructuras y sus componentes. Explica que el fruto contiene las semillas y ayuda en su diseminación, que la raíz fija la planta al suelo y captura agua y minerales, y que el tallo conduce y almacena nutrientes y permite el crecimiento de ramas y hojas. También clasifica las flores y describe sus partes reproductivas masculinas y femeninas.
Kommunale Internetportale Trends, Online-Strategien, Vorgehen in Relaunchvorhaben, „Mobilisierung“ und Contentstrategie
Vortrag von Jens Mofina auf der Veranstaltung Stadt und Netz 2013, 24.09.2013, Rathaus der Stadt Nürnberg
Gender Mainstreaming New Media Literacy E Learning Vechtaguest489e47
Eine Präsentation zum Thema Gender Mainstreaming von E-Learning unter besonderer Berücksichtigung der New Media Literacy. Gehalten in der Ringvorlesung "Sex und Gender" an der Hochschule Vechta im November 2007.
El documento compara diferentes antivirus gratuitos, incluyendo Avast, NOD32, Kaspersky, AVG, Avira, Microsoft Security Essentials y Panda. Se describen las ventajas y desventajas de cada uno, destacando que ofrecen protección en tiempo real contra virus, spyware y otras amenazas, así como actualizaciones automáticas y herramientas de análisis y optimización del sistema.
Service-Community im Kundenservice 20100225Björn Behrendt
Diese Präsentation zeigt die einzigartigen Einsatzmöglichkeiten und Vorteile der Software-as-a-Service von http://www.service-community.de für besseren Customer Care und die Einbindung von Kundenmeinungen und Antworten in den Support Prozess.
El documento describe las diferentes modalidades del comercio electrónico, incluyendo el comercio B2B, B2C, B2G, G2C, proveedores de acceso a internet, portales horizontales y verticales, tiendas virtuales, centros comerciales virtuales, y contrataciones electrónicas. También explica los principios rectores del comercio electrónico como la equivalencia funcional, neutralidad tecnológica, inalteración del derecho preexistente, buena fe, y libertad contractual.
Vortrag von
Thomas Fischer, Lehrstuhl für Wirtschaftsinformatik an der Friedrich-Schiller-Universität Jena
auf dem 14. Interuniversitären Doktorandenseminar Wirtschaftsinformatik am 14.07.2011 auf der Augustusburg bei Chemnitz.
El documento habla sobre el calentamiento global, que es el aumento de la temperatura promedio de la atmósfera terrestre y los océanos. Algunas de las causas principales son los gases de efecto invernadero, la contaminación y los eventos sobrenaturales. Finalmente, el documento enfatiza la importancia de reducir las emisiones de gases, plantar más árboles y reciclar para poder salvar el planeta y asegurar un mundo sano para las generaciones futuras.
El documento trata sobre conceptos geográficos como ambiente, espacios urbanos y rurales, paisajes, recursos naturales y su manejo. Explica las características de los espacios urbanos y rurales y los cuatro enfoques para el manejo de recursos: extractivista, conservacionista, ecodesarrollista y sustentable. Además, menciona energías alternativas, trashumancia y la organización espacial del Alto Valle del Río Negro.
YouZee - Business Intelligence Software www.youzee.euKONZEPTUM GmbH
YOUZEE
Das Wissens-Werkzeug für Entscheider
Wer strategisch richtige Entscheidungen treffen will, muss Zugriff haben auf die richtigen Informationen – immer aktuell und in aussagekräftiger Form.
www.youzee.eu
YOUZEE is a software for graphical presentation and goal oriented analysis of highly complex data. YOUZEE offers small and medium-sized businesses of all branches the possibility to create and edit comprehensive reportings and analysis charts and to present them multifarious.
Este documento describe las principales estructuras de las plantas como el fruto, la hoja, la raíz, el tallo y la flor. Define cada una de estas estructuras y sus componentes. Explica que el fruto contiene las semillas y ayuda en su diseminación, que la raíz fija la planta al suelo y captura agua y minerales, y que el tallo conduce y almacena nutrientes y permite el crecimiento de ramas y hojas. También clasifica las flores y describe sus partes reproductivas masculinas y femeninas.
Kommunale Internetportale Trends, Online-Strategien, Vorgehen in Relaunchvorhaben, „Mobilisierung“ und Contentstrategie
Vortrag von Jens Mofina auf der Veranstaltung Stadt und Netz 2013, 24.09.2013, Rathaus der Stadt Nürnberg
Gender Mainstreaming New Media Literacy E Learning Vechtaguest489e47
Eine Präsentation zum Thema Gender Mainstreaming von E-Learning unter besonderer Berücksichtigung der New Media Literacy. Gehalten in der Ringvorlesung "Sex und Gender" an der Hochschule Vechta im November 2007.
El documento compara diferentes antivirus gratuitos, incluyendo Avast, NOD32, Kaspersky, AVG, Avira, Microsoft Security Essentials y Panda. Se describen las ventajas y desventajas de cada uno, destacando que ofrecen protección en tiempo real contra virus, spyware y otras amenazas, así como actualizaciones automáticas y herramientas de análisis y optimización del sistema.
Service-Community im Kundenservice 20100225Björn Behrendt
Diese Präsentation zeigt die einzigartigen Einsatzmöglichkeiten und Vorteile der Software-as-a-Service von http://www.service-community.de für besseren Customer Care und die Einbindung von Kundenmeinungen und Antworten in den Support Prozess.
El documento describe las diferentes modalidades del comercio electrónico, incluyendo el comercio B2B, B2C, B2G, G2C, proveedores de acceso a internet, portales horizontales y verticales, tiendas virtuales, centros comerciales virtuales, y contrataciones electrónicas. También explica los principios rectores del comercio electrónico como la equivalencia funcional, neutralidad tecnológica, inalteración del derecho preexistente, buena fe, y libertad contractual.
Vortrag von
Thomas Fischer, Lehrstuhl für Wirtschaftsinformatik an der Friedrich-Schiller-Universität Jena
auf dem 14. Interuniversitären Doktorandenseminar Wirtschaftsinformatik am 14.07.2011 auf der Augustusburg bei Chemnitz.
Weblogs im Schulunterricht und ihr Einfluss auf Motivation und Reflexionsproz...Christian Schmidt
Folien zu meiner Präsentation auf dem "10. Tag des wissenschaftlichen Nachwuchses der Pädagogischen Hochschulen", der am 13./14. November 2009 an der PH Schwäbisch Gmünd stattfand.
These are the introductory slides for a joint seminar of the University of Paderborn and the University of Augsburg called Future Social Learning Networks. The seminar is design to let students actively construct knowledge about social media tools in educational settings and about their future impact on learning.
Ziele des WS am 10.7.13
• Einblick erhalten in MOOCs als Trainingsform
• Den Unterschied zwischen cMOOCs und xMOOCs kennenlernen
• Eine Lernplattform der Zukunft kennenlernen
• Das Erfahrene in Bezug setzen mit der eigenen Lehr/Trainingstätigkeit
• Diskussion der Auswirkungen von MOOCs
Keynote am 18. E-Learning Tag an der FH JOANNEUMpeterpur
Seit fast zehn Jahren gibt es in Einführungslehrveranstaltungen an der TU Wien »double blind peer reviewing« mit 1.000 Studierenden. In der Keynote von Peter Purgathofer (TU Wien) werden die besonderen Herausforderungen dieses Settings diskutiert und die Vorgehensweise sowie Lösungsansätze vorgestellt, mit denen die vielen Probleme eines solchen Ansatzes behandelt werden.
Details zu den im Vortrag erwähnten Artikel sind auf https://www.researchgate.net/profile/Peter_Purgathofer zu finden.
Gestaltungsmaßnahmen zur Förderung kollaborativer Wiki-Arbeit in der Hochschu...Christian Kummer
Diese Präsentation wurde auf der GeNeMe '12 vorgetragen. Der vorgestellte Forschungsbeitrag befindet sich unter: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-97538
Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...Christoph Lange
In Wirtschaft und Wissenschaft entstehen zunehmend Infrastrukturen für Datenaustausch. Der Wirtschaft ist Vertrauen unter Geschäftspartnern wichtig und Souveränität darüber, was Andere mit meinen Daten machen – die Wissenschaft betont freie Zugänglichkeit und Nachnutzbarkeit. FAIR Data Spaces verbinden beides auf Grundlage gemeinsamer Prinzipien.
Was muss getan werden, damit Datenaustausch nicht mehr bedeutet, E-Mail-Anhänge zu verschicken oder Geheimnisse zentralen Plattformen feindlicher Mächte anzuvertrauen? Wirtschaft, Wissenschaft und öffentliche Verwaltung suchen zunehmend nach Lösungen, um den Datenaustausch sicher und effizient zu gestalten und damit neues Innovationspotenzial zu heben. Was gibt es schon, was ist geplant, und wie können vorhandene Initiativen zusammenwachsen, um Daten über die Grenzen dieser Welten hinaus gemeinsam zu nutzen?
Initiativen der Wirtschaft wie Gaia-X und International Data Spaces priorisieren den Aufbau von Vertrauen unter Geschäftspartner:innen ohne Papier-Verträge sowie die Souveränität darüber, was Andere mit den eigenen wertvollen Daten machen. In der Wissenschaft, zum Beispiel bei der Nationalen Forschungsdateninfrastruktur NFDI, geht es um freie Zugänglichkeit und Nachnutzbarkeit im Einklang mit ethischen Prinzipien. Der öffentlichen Hand ist neben dem freien Zugang etwa zu Open-Data-Portalen die digitale Daseinsvorsorge wichtig. Große Herausforderungen unserer Zeit erfordern Datenaustausch nicht nur innerhalb dieser Welten, sondern über ihre Grenzen hinaus:
zum Beispiel zwischen Forschungsinstituten und kleinen Technologie-Unternehmen, die nicht alle Daten selbst sammeln können,
oder zwischen großen Unternehmen mit reichen Datenschätzen und wirtschaftlichen Interessen und einer Nutzung dieser Daten für das Gemeinwohl.
Das Projekt FAIR Data Spaces schafft Bausteine für übergreifende Datenräume als Keimzellen einer fairen Datenökonomie nach gemeinsamen Prinzipien. Wir möchten diskutieren, wie weit die aus dem Forschungsdatenmanagement stammenden FAIR-Data-Prinzipien tragen, wonach Daten findable (auffindbar), accessible (zugänglich), interoperabel und reusable (nachnutzbar) sein sollen. Das Projekt verfolgt den Plan, vorhandene Initiativen organisatorisch, rechtlich, technisch und praktisch zu einer gemeinsamen Community zusammenzuführen, und lebt dabei von einer breiten Mitwirkung. Werdet mit dem Fraunhofer IUK-Verbund Teil dieser Community und bleibt dabei innovativ und kritisch!
Machine Support for Interacting with Scientific Publications Improving Inform...Christoph Lange
1) The document discusses using semantic web and linked data technologies to help assess the quality of scientific output by answering questions about workshops, conferences, publications, and data.
2) It proposes connecting bibliographic metadata, citations, full text, social networks and research data using initiatives like schema.org to provide machine support for quality assessment.
3) The goal is to provide complementary metrics to human peer review and impact factors by enabling multidimensional, context-sensitive analysis of trends, topics, citations and more.
Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...Christoph Lange
The Linked Data paradigm has emerged as a powerful enabler for data and knowledge interlinking and exchange using standardised Web technologies.
In this article, we discuss our vision how the Linked Data paradigm can be employed to evolve the intranets of large organisations -- be it enterprises, research organisations or governmental and public administrations -- into networks of internal data and knowledge.
In particular for large enterprises data integration is still a key challenge. The Linked Data paradigm seems a promising approach for integrating enterprise data. Like the Web of Data, which now complements the original document-centred Web, data intranets may help to enhance and flexibilise the intranets and service-oriented architectures that exist in large organisations. Furthermore, using Linked Data gives enterprises access to 50+ billion facts from the growing Linked Open Data (LOD) cloud. As a result, a data intranet can help to bridge the gap between structured data management (in ERP, CRM or SCM systems) and semi-structured or unstructured information in documents, wikis or web portals, and make all of these sources searchable in a coherent way.
Keynote at Baltic DB&IS 2014, 9 June 2014, Tallinn, Estonia
Linked Open (Geo)Data and the Distributed Ontology Language – a perfect matchChristoph Lange
The Distributed Ontology Language is a meta-language for integrating
ontologies written in different languages. Our notion of “distributed”
comprises logical heterogeneity within ontologies, modularity and reuse,
and links across ontologies in different places of the Web. Not only
can ontologies be distributed across the Web, but DOL's supply of
supported ontology languages can also be extended in a decentral way.
For this functionality, DOL builds on the Linked Open Data (LOD)
principles. But DOL also contributes to LOD use cases. Many current
LOD applications are limited by the weak expressivity of the RDF and
RDFS languages commonly used to express data and vocabularies.
Completely switching to a more expressive language would impair
scalability to big datasets. DOL addresses the scalability and
expressivity requirements by allowing to represent each aspect of a
dataset in the most suitable language and keeping these different
representations connected. This is particularly useful in geographic
information systems, where big datasets (e.g. Linked Geo Data, the LOD
version of OpenStreetMap) need to be integrated with formalisations of
complex spatial notions (e.g. in the first-order language Common Logic).
Linking Big Data to Rich Process DescriptionsChristoph Lange
Linked (Open) Data is one key to coping with Big Data: it enables decentralised, collaborative management of big datasets, low-overhead information retrieval, and scalable reasoning. Big Data are created or consumed by technical processes or business processes. Their formal description, e.g. for software verification or compliance checking, requires logics whose complexity far exceeds that of the data. Restricting LOD to the RDF logic does not allow for integrating rich process descriptions with the data that these processes create, and therefore does not enable knowledge management, information retrieval and reasoning to take full advantage of rich background knowledge. In this talk I demonstrate different frontiers at which I have worked towards achieving an integration of process descriptions and data.
The Distributed Ontology Language (DOL): Use Cases, Syntax, and ExtensibilityChristoph Lange
The document discusses the Distributed Ontology Language (DOL) which aims to support semantic integration and interoperability across heterogeneous ontologies. DOL allows for logically heterogeneous ontologies, modular ontologies, and formal and informal links between ontologies. It has a formal semantics and can be serialized in XML, RDF, and text. Examples of applications that could benefit from DOL include an ontology repository engine and a multilingual map user interface driven by aligned ontologies.
Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...Christoph Lange
This document discusses redesigning the Mathematics Subject Classification (MSC) scheme as a linked dataset using SKOS. Key points include: representing the MSC hierarchy using SKOS concepts and properties; adding multilingual labels and mathematical markup; linking related concepts within and across schemes; and deploying the dataset on the web with a SPARQL endpoint for access. The redesign aims to facilitate maintenance and reuse while preserving all existing MSC information.
Semantic Web Technology: The Key to Making Scientific Information Systems SocialChristoph Lange
This document discusses how semantic web technologies can make scientific information systems more social. It provides examples of how schema.org defines structured data for annotating web pages with information like movies, reviews, and social relationships between people. It also briefly mentions Facebook's Open Graph protocol. The key points are that semantic web annotations allow machines to understand web data in order to assist users, initiatives like schema.org are making these annotations mainstream, and structured semantic data enables social features for information sharing and collaboration.
Making Heterogeneous Ontologies Interoperable Through StandardisationChristoph Lange
The document discusses making heterogeneous ontologies interoperable through standardization, presenting a scenario of an assisted living environment where different devices like a wheelchair and freezer need to communicate but use different ontologies. It argues for developing a standardized meta ontology language to facilitate integration and interoperability between these diverse ontologies used by different devices with varying knowledge needs.
Previewing OWL Changes and Refactorings Using a Flexible XML DatabaseChristoph Lange
The document discusses using a flexible XML database called TNTBase to preview changes and refactorings to ontologies. TNTBase allows editing ontologies through "virtual documents" that define editable XML views of ontology content. This enables refactoring ontologies by previewing the effects of changes like extracting subclasses into a new module before making the changes live. The document provides examples of refactoring an ontology in this way and describes the underlying library functions that power the refactoring previews.
The document proposes an architecture called JOBAD that allows mathematical documents to interactively access web services. JOBAD uses JavaScript to integrate definition lookup, unit conversion, and other services directly into OMDoc-based documents. This allows readers to interactively adapt document appearance and access remote explanations and computations without leaving the document interface. Future plans include more interactive customization and linking documents to external search and information resources.
The document describes a project to publish mathematics lecture notes as linked data. Key points:
1) Lecture notes containing 2,000 slides and 1,000 homework problems were semantically annotated and converted to RDF to create structured data.
2) The RDF is stored in a triplestore and can be queried with an OMDoc-aware SPARQL endpoint or full-text search.
3) Annotations in the human-readable XHTML documents link to services for interactivity. The goal is to scale this to 300,000 annotated publications and link to external datasets.
sTeX+ – a System for Flexible Formalization of Linked DataChristoph Lange
The document describes S EX+, an extension of S EX that allows formalizing and annotating technical documents with semantic metadata. S EX+ enables defining ad hoc vocabularies to describe project-specific concepts and annotate documents accordingly. It produces output in PDF, OMDoc+RDFa, and XHTML+MathML+RDFa to enable interactive services. S EX+ aims to balance formalization with flexibility for existing authoring practices.
Krextor – An Extensible Framework for Contributing Content Math to the Web of...Christoph Lange
Moseley (DBTune) (DBTune) RAMEAU
Folk NTU SH lobid
GTAA Plymouth Resource
Krextor is an extensible framework for contributing mathematical content from OpenMath CDs to the Web of Data. It converts OpenMath CDs, which are document-oriented, to RDF, which follows the graph-based RDF data model used by the Web of Data. As an example, it can link a mathematical property in an OpenMath CD to its identifier by grouping the property and giving it an ID, without modifying the original CD. This allows bootstrapping mathematics onto the Web of Data in
The document discusses the mathematical semantics of statistical data. It presents examples of derived statistical values for populations and unemployment rates for two locations. It raises questions about how to validate derived values and compute them for new data points. It proposes representing mathematical expressions as ordered n-ary trees in RDF to integrate math into the semantic web of data.
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...Christoph Lange
The document discusses enabling collaboration on semiformal mathematical knowledge through semantic web integration. It outlines the current state of collaboration in mathematics through blogs, wikis and projects. The author proposes an integrated view of the collaboration workflow between authors, readers and reviewers to formalize, validate, present and review semiformal mathematical knowledge.
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...
Mathematik als Anwendungsfall und Herausforderung für das Semantic Web
1. Motivation Ansatz Doktorarbeit Fazit
Mathematik als Anwendungsfall und
Herausforderung für das Semantic Web
Doktorandenforum Natur+Wissenschaft
Christoph Lange
Jacobs University Bremen
8. Dezember 2008
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 1
2. Motivation Ansatz Doktorarbeit Fazit
Hello, World!
Christoph Lange, Informatik, Jacobs University Bremen
Fachgebiet: Semantic Web, Mathematical Knowledge
Management (Verbindung von beidem)
Stadium: Bausteine zu Ende führen und in größeren
Zusammenhang setzen
Vortragsthema: Überblick über das Forschungsthema
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 2
3. Motivation Ansatz Doktorarbeit Fazit
Semiformales mathematisches Wissen
Arbeit mit mathematischem Wissen liegt zwischen den Extremen
völlig unstrukturierter und informaler Text: z. B. Tafelanschrieb
vollständige Formalisierung: z. B. algebraische Spezifikation
Neue Theorien (Definitionen, Axiome) in Entwicklung, Beweisskizzen,
Lehrmaterialien, . . .
Example
Wenn der Dozent weiß, dass eine Beweisskizze korrekt ist, sollte er sie
als „Beweis“ klassifizieren und bei einer Suche als solchen finden
können.
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 3
4. Motivation Ansatz Doktorarbeit Fazit
Kollaboration an mathematischem Wissen
Forschung und Lehre sind kollaborativ:
Forschung: Ideen kursieren in der Arbeitsgruppe → Ausarbeitungen
publizieren, Peer-Review” große kollaborative
Entwicklungen
Lehre: Professor, Assistenten und gute Studenten erarbeiten
zusammen Übungsaufgaben
Im Computerzeitalter arbeiten wir immer noch mit Bleistift und
Papier.
Ziel: Integrierte Umgebung zum kollaborativen Bearbeiten, Erkunden
und Kommentieren
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 4
5. Motivation Ansatz Doktorarbeit Fazit
Ein Wiki für semiformales mathematisches Wissen
Mathematisches Wissen fürs Informationsmanagement zu
strukturieren ist harte Arbeit
Lösung: semantisches Markup: Sagen, was Symbole und
Strukturen bedeuten – nicht wie sie aussehen
Dazu muss man denken und Aufwand treiben
Leitgedanke meiner Forschung
„Wie können Anwender unterstützt werden, den Aufwand zu treiben,
gemeinsam mathematisches Wissen zu strukturieren. Welches
zusätzliche Wissen kann aus ihren Beiträgen erschlossen werden, und
wie kann dieses Wissen wiederum genutzt werden, um die
Zusammenarbeit zu verbessern?“
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 5
6. Motivation Ansatz Doktorarbeit Fazit
Mathematisches (Nicht-)Wissen in Wikis
Fragen, die Wikipedia nicht
beantworten kann (Bsp. Pythagoras):
Suche sqrt{a^2 + b^2} = c
oder x^2 + y^2 = z^2
Alle Sätze über Dreiecke, für die
ein Beweis im Wiki steht
√
„Was bedeutet ?“
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 6
7. Motivation Ansatz Doktorarbeit Fazit
SWiM, ein Semantisches Wiki für Mathematik
http://swim.kwarc.info, http://wiki.openmath.org
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 7
8. Motivation Ansatz Doktorarbeit Fazit
Bausteine und ihr Zusammenhang
OpenMath–Wiki andere
Fallstudie
?
Evaluation
Frontend/Backend SWiM Diskussion
Integration anregen
navigieren
schreiben
abfragen
verstetigen
ermöglicht
Wissens-
verbessern
(Inter)aktive repräsentation
Argumentation
Dokumente Strukturen
abgreifen Gesprächs-
Annotation
thema
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 8
9. Motivation Ansatz Doktorarbeit Fazit
Forschungsmethode
1 Anwendungszenarien untersuchen, Anforderungen
vorhandener Projekte bzgl. Kollaboration sammeln: OpenMath
Content Dictionaries, Flyspeck, . . .
2 Durch vorhandene Formalismen gegebene
Wissensrepräsentation
erweitern/verbessern/anpassen/zurechtstutzen und auf
integrierte Web-Kollaborationsplattform zuschneiden
3 System-Prototypen basierend auf dieser Wissensrepräsentation
bauen, ausgewählte Anforderungen aus (1) erfüllen
4 System in diesen Projekten einsetzen, Feedback aus Fallstudien
sammeln. GOTO 1.
In Wirklichkeit keine so strikte Trennung
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 9
10. Motivation Ansatz Doktorarbeit Fazit
Ergebnisse
Strukturen mathematischen Wissens Semantic-Web-gerecht
modelliert
. . . und integriert mit Metadaten, rhetorischen Strukturen und
Argumentation über math. Wissen
Semantic-Web-Ontologien auf „mathematischere“ Art
modellieren (expressiver, besser dokumentiert)
Kollaborativer Editor (Wiki) für mathematische Dokumente
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 10
11. Motivation Ansatz Doktorarbeit Fazit
Fragen
Jedes Teilthema für sich ist nach oben offen; wo den
Schlussstrich ziehen?
Ergebnisse überprüfen: Machbarkeit bestimmter Vermutungen zu
prüfen ist leicht; ob es wirklich Anwender unterstützt oder gar
motiviert, ist schwer.
Sehr spezielles Anwendungsgebiet:
Vorteil Anwender kennen sich aus, haben sehr genaue
Wünsche und Vorstellungen
Nachteil Anwender kommen auch ohne mein System
zurecht, haben überzogene Wünsche („Ich würde ja
gern, aber. . . “)
Viel Programmieraufwand, hoher Integrationsaufwand: viel
Eigenleistung, aber auch auf Assistenten angewiesen
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 11
12. Motivation Ansatz Doktorarbeit Fazit
Fazit
Web-Kollaboration an semiformalem mathematischem Wissen
in einer Umgebung, die das Wissen bearbeiten und
nutzen kann
für Forschung, Entwicklung, Lehre
mit einem semantischen Wiki
Experimenteller Ansatz: Anforderungen untersuchen, formales
Modell entwickeln, in echtem System und echten Anwendungen
testen
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 12
13. Motivation Ansatz Doktorarbeit Fazit
Fazit
Web-Kollaboration an semiformalem mathematischem Wissen
in einer Umgebung, die das Wissen bearbeiten und
nutzen kann
für Forschung, Entwicklung, Lehre
mit einem semantischen Wiki
Experimenteller Ansatz: Anforderungen untersuchen, formales
Modell entwickeln, in echtem System und echten Anwendungen
testen
Web 2.0 für Mathematiker
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 12
14. Motivation Ansatz Doktorarbeit Fazit
Das Semantic Web
Ein herkömmliches Wiki bzw. webbasiertes System versteht das
Wissen nicht, das es enthält.
Vision des Semantic Web:
Bedeutung von Web-Inhalten für Maschinen
verständlich machen (schwache KI)
„Internet der Dinge“; Ressourcen mit
Metadaten und Beziehungen untereinander
Agenten erschließen Zusammenhänge: z. B.
in der Nähe einen guten Arzt finden, der die
Krankheit meiner Mutter behandeln kann
und heute offen hat [Berners-Lee et al. 2001]
Intelligenter als „Web 2.0“ (aber noch nicht
so verbreitet)
Theoretischer Hintergrund: Ontologien,
Formale Logik, Automatisches Beweisen
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 13
15. Motivation Ansatz Doktorarbeit Fazit
Semantische Wikis
Wie „versteht“ ein semantisches Wiki? Wie macht man Wissen
explizit?
normalerweise: 1 Seite = 1 reales Konzept
Seiten und Links haben Typen
z. B. „ist Arzt“, „behandelt Krankheit . . . “, „hat Praxis in . . . “
Typen definiert in Ontologie, je nach Anwendung mehr oder
weniger formal
Typhierarchien: „Sokrates ist ein Mensch, alle Menschen sind
sterblich, also ist Sokrates sterblich.“
Nutzen: Bessere Navigation, stärkere
Suchfunktion, kontextabhängige
Präsentation, neue Lernmöglichkeiten
Arbeitsablauf: Schrittweise Formalisierung
der Wiki-Seiten mit verteilten Rollen
Beispiel: Semantic Wikipedia
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 14
16. Motivation Ansatz Doktorarbeit Fazit
Math. Knowledge Representation on the Semantic
Web
Knowledge stored in OMDoc, but extracting an RDF outline to make
it operational:
Example
An OMDoc document: Extracted RDF graph:
Proof proves Theorem
<omdoc>
<proof id="pyth-proof" type type
for="pythagoras"> pyth-proof pythagoras
... proves
</proof>
</omdoc>
<pyth-proof, rdf:type, math:Proof>
<pyth-proof, math:proves, pythagoras>
Developing ontology based on OMDoc and OpenMath
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 15
17. Motivation Ansatz Doktorarbeit Fazit
Ontologies for Mathematical Documents (1)
Previous State
I had a basic ontology that modelled structures of notDef
mathematical knowledge; mainly statements (definition, renders-
Symbol
theorem, proof, examples)
sym
used in SWiM for navigation, queries, internal uses- uses-
Symbol Symbol
bookkeeping
fmp ex
fmp ex
fmp ex
contains contains
symDef
symDef
symDef
contains
cd
cd
cd
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 16
18. Motivation Ansatz Doktorarbeit Fazit
Ontologies for Mathematical Documents (1)
Previous State
I had a basic ontology that modelled structures of notDef
mathematical knowledge; mainly statements (definition, renders-
Symbol
theorem, proof, examples)
sym
used in SWiM for navigation, queries, internal uses- uses-
Symbol Symbol
bookkeeping
fmp ex
fmp ex
fmp ex
Next Challenge
contains contains
Semi-formal knowledge often comes in documents
symDef
symDef
symDef
that also contain text
There is a document structure (chapter, section, contains
cross-reference), and a rhetorical structure, both cd
cd
cd
of which can be independent from the
Ch. Lange (Jacobs University) structure. Mathematik im Semantic Web
mathematical 8. Dezember 2008 16
19. Motivation Ansatz Doktorarbeit Fazit
Annotation
Sections in the
editor
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 17
20. Motivation Ansatz Doktorarbeit Fazit
Annotation
The toolbar
Sections in the
editor
(Implementation by Gordan Ristovski)
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 17
21. Motivation Ansatz Doktorarbeit Fazit
Visualisation of Rhetorical Structures
Rhetorical Blocks (SALT)
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 18
22. Motivation Ansatz Doktorarbeit Fazit
Visualisation of Rhetorical Structures
Rhetorical Blocks (SALT)
Rhetorical Relations
(SALT, implementing RST)
(Implementation by Jana Giceva)
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 18
23. Motivation Ansatz Doktorarbeit Fazit
Argumentation about Mathematical Knowledge
Items
Take the survey:
tinyurl.com/5qdetd
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 19
24. Motivation Ansatz Doktorarbeit Fazit
Domain-Specific Argumentation
Assumptions
Possible problems depend on the type of knowledge item
Possible solutions depend on the type of knowledge item and the
type of problem
Standard problems have standard solutions, with which software
can assist
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 20
25. Motivation Ansatz Doktorarbeit Fazit
Domain-Specific Argumentation
Assumptions
Possible problems depend on the type of knowledge item
Possible solutions depend on the type of knowledge item and the
type of problem
Standard problems have standard solutions, with which software
can assist
Survey (tinyurl.com/5qdetd)
Common issues: wrong, incomprehensible, uncommon style,
underspecified, redundant, truth uncertain
Common solutions: directly improve affected knowledge item,
split it
When issues remain unresolved, it’s mostly due to insufficient
Ch. Lange (Jacobs University) support
restructuring Mathematik im Semantic Web 8. Dezember 2008 20
26. Motivation Ansatz Doktorarbeit Fazit
Domain-Specific Argumentation (Example)
User Interface
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 21
27. Motivation Ansatz Doktorarbeit Fazit
Domain-Specific Argumentation (Example)
hasDiscussion
forum1 theorem
(IkeWiki ontology)
has_container exemplifies
post1: Issue
(Incomprehensible) example
responseTo
has_reply resolvesInto
post2: Idea
(ProvideExample)
positionOn knowledge
post3: Agree items
(OMDoc ontology)
on wiki pages
post4: Disagree onIdea
post5: Agree onIssue
withPositions
post6: Decision
physical structure argumentative
(SIOC) discussion page structure
RDF Graph
User Interface
Ch. Lange (Jacobs University) Mathematik im Semantic Web 8. Dezember 2008 21