Inhaltsverzeichnis
20 Beziehungen: Auszeichnungssprache, Computeralgebrasystem, E-Learning, Extensible Hypertext Markup Language, Extensible Markup Language, Formale Logik, Graph (Graphentheorie), LaTeX, Lecture Notes in Computer Science, Maschinengestütztes Beweisen, Mathematical Markup Language, Mathematik, Michael Kohlhase, OpenMath, Physik, Resource Description Framework, Semantic Web, Semantik, Web Ontology Language, Webservice.
- Semantisches Web
Auszeichnungssprache
Eine Auszeichnungssprache (abgekürzt ML) ist eine maschinenlesbare Sprache für die Gliederung und Formatierung von Texten und anderen Daten.
Sehen OMDoc und Auszeichnungssprache
Computeralgebrasystem
Ein Computeralgebrasystem (CAS) ist ein Computerprogramm, das der Bearbeitung algebraischer Ausdrücke dient.
Sehen OMDoc und Computeralgebrasystem
E-Learning
Unter E-Learning oder Electronic Learning („elektronisch unterstütztes Lernen“, wörtlich: „elektronisches Lernen“), auch als E-Lernen bezeichnet, werden – nach einer Definition von Michael Kerres – alle Formen von Lernen verstanden, bei denen elektronische oder digitale Medien für die Präsentation und Distribution von Lernmaterialien und/oder zur Unterstützung zwischenmenschlicher Kommunikation zum Einsatz kommen.
Sehen OMDoc und E-Learning
Extensible Hypertext Markup Language
Der W3C-Standard Extensible Hypertext Markup Language (erweiterbare HTML; Abkürzung XHTML) ist eine textbasierte Auszeichnungssprache zur Strukturierung und semantischen Auszeichnung von Inhalten wie Texten, Bildern und Hyperlinks in Dokumenten.
Sehen OMDoc und Extensible Hypertext Markup Language
Extensible Markup Language
Die Extensible Markup Language (dt. Erweiterbare Auszeichnungssprache), abgekürzt XML, ist eine Auszeichnungssprache zur Darstellung hierarchisch strukturierter Daten im Format einer Textdatei, die sowohl von Menschen als auch von Maschinen lesbar ist.
Sehen OMDoc und Extensible Markup Language
Formale Logik
Als formale Logik wird im Allgemeinen eine Logik bezeichnet, die sich mit dem Zusammenhang zwischen der logischen Form von Aussagen und der Gültigkeit von Ableitungs- und Folgerungsbeziehungen zwischen diesen Formen beschäftigt.
Sehen OMDoc und Formale Logik
Graph (Graphentheorie)
Ein Graph ist in der Graphentheorie eine abstrakte Struktur, die eine Menge von Objekten zusammen mit den zwischen diesen Objekten bestehenden Verbindungen repräsentiert.
Sehen OMDoc und Graph (Graphentheorie)
LaTeX
LaTeX (im deutschsprachigen Raum auch, Eigenschreibweise: \mathrm) ist ein plattformunabhängiges und freies Softwarepaket, das die Benutzung des Textsatzsystems TeX mit Hilfe von Makros vereinfacht.
Sehen OMDoc und LaTeX
Lecture Notes in Computer Science
Lecture Notes in Computer Science (LNCS) ist eine Buchreihe aus der Informatik, die seit 1973 von Springer Science+Business Media (vormals Springer-Verlag) herausgegeben wird.
Sehen OMDoc und Lecture Notes in Computer Science
Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme.
Sehen OMDoc und Maschinengestütztes Beweisen
Mathematical Markup Language
Die Mathematical Markup Language (MathML) ist ein Dokumentenformat zur Darstellung mathematischer Formeln und komplexer Ausdrücke.
Sehen OMDoc und Mathematical Markup Language
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathÄ“matikÄ“ téchnÄ“ ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Sehen OMDoc und Mathematik
Michael Kohlhase
Michael Kohlhase Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Friedrich-Alexander-Universität Erlangen-Nürnberg, wo er an der Technischen Fakultät die Forschungsgruppe KWARC (Knowledge Adaptation and Reasoning for Content) leitet.
Sehen OMDoc und Michael Kohlhase
OpenMath
OpenMath ist ein Standard zur Beschreibung der Semantik mathematischer Formeln.
Sehen OMDoc und OpenMath
Physik
Verschiedene Beispiele physikalischer Phänomene Die Physik (bundesdeutsches Hochdeutsch:, österreichisches Hochdeutsch:, Schweizer Hochdeutsch: auch) ist eine Naturwissenschaft, die grundlegende Phänomene der Natur untersucht.
Sehen OMDoc und Physik
Resource Description Framework
Das Resource Description Framework (RDF, engl. sinngemäß „System zur Beschreibung von Ressourcen“) bezeichnet eine technische Herangehensweise im Internet zur Formulierung logischer Aussagen über beliebige Dinge (Ressourcen).
Sehen OMDoc und Resource Description Framework
Semantic Web
Das Semantic Web ist ein Konzept eines auf Maschinenlesbarkeit basierenden World Wide Web (Web 3.0).
Sehen OMDoc und Semantic Web
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Sehen OMDoc und Semantik
Web Ontology Language
Die Web Ontology Language (kurz OWL – zum Akronym OWL statt WOL siehe weiter unten) ist eine Spezifikation des World Wide Web Consortiums (W3C), um Ontologien anhand einer formalen Beschreibungssprache erstellen, publizieren und verteilen zu können.
Sehen OMDoc und Web Ontology Language
Webservice
Ein Webservice (auch Webdienst) stellt eine Schnittstelle für die Maschine-zu-Maschine- oder Anwendungs-Kommunikation über Rechnernetze wie das Internet zur Verfügung.
Sehen OMDoc und Webservice
Siehe auch
Semantisches Web
- AgMES
- BIBFRAME
- Bibliographic Ontology
- DARPA Agent Markup Language
- DBpedia
- Digitales Objektgedächtnis
- Dublin Core
- Eureqa
- F-Logic
- FOAF
- GeoNames
- Giant Global Graph
- Internationalized Resource Identifier
- Internet Content Rating Association
- JSON-LD
- Jena (Framework)
- Kontrolliertes Vokabular
- Linguistic Linked Open Data
- Mikroformat
- MultiNet
- OMDoc
- Offenes Datenportal der EU
- Ontologie (Informatik)
- Ontology Alignment
- RDF-Schema
- RDFa
- Research Organisation Registry
- Resource Description Framework
- Rule Interchange Format
- Schema.org
- Semantic Grid
- Semantic Publishing
- Semantic Web
- Semantic Web Services
- SemanticGov
- Semantische Suche
- Simple Knowledge Organisation System
- Social Semantic Web
- Social Tagging
- Swoogle
- Twine (Website)
- Uniform Resource Identifier
- VIVO (Software)
- Web Ontology Language
- Web Ontology Language for Web Services
- Web Service Modeling Language
- Web Service Modeling Ontology
- Wissensmodellierung
- Wolfram Alpha