TNTBase – a Versioned Database for XML (Mathematical) Documents

•

0 gostou•532 visualizações

Christoph Lange

Content Math Training Camp 2010

Tecnologia Notícias e política

TNTBase – a Versioned Database for XML
(Mathematical) Documents
Content Math Training Camp 2010

Christoph Lange, Vyacheslav Zholudev

Jacobs University, Bremen, Germany
KWARC – Knowledge Adaptation and Reasoning for Content

July 07, 2010

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 1/8

TNTBase – a Versioned XML Database

http://tntbase.org – combines
Versioning as in Subversion
Fine-grained XML access as in Oracle Berkeley DB XML
. . . plus:
Virtual documents (= views on XML)
Plugin API for validation, presentation, etc.
RESTful HTTP interface for accessing functionality
‘‘File manager’’ GUI

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 2/8

TNTBase – File Manager Interface

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 3/8

TNTBase – Virtual Document Workflow

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 4/8

TNTBase – Extension Towards a Specific Format

TNTBase TNTBase (F)

Web Application
Web Application
F-specific layer

XML-layer
XML-layer

xSVN xSVN

XML XML(F)

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 5/8

TNTBase – Plugin API and RESTful Interface

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 6/8

TNTBase + JOMDoc + JOBAD Integrated

(JOMDoc rendering XHTML+MathML+RDFa, JOBAD providing
definition lookup and semantic navigation)

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 7/8

Conclusion

Content Math markup is often XML in versioned repositories ⇒
TNTBase core handles that well
There is not just one language (OMDoc, MathDox, OpenMath
CDs, etc.) – be flexible w. r. t. schema
Different languages require different validation and
presentation ⇒ plugin API
Alternative: put higher-level functionality on top, not into
TNTBase (→ MKM talk on Thursday: ‘‘MKM in the large’’)
Try it (Debian package available): http://tntbase.org

Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents
July 07, 2010 8/8

Mais conteúdo relacionado

Destaque

A Mathematical Approach to Ontology Authoring and Documentation

A Mathematical Approach to Ontology Authoring and Documentation

A Mathematical Approach to Ontology Authoring and Documentation

Christoph Lange

WDAqua ITN – Answering Questions using Web Data

WDAqua ITN – Answering Questions using Web Data

WDAqua ITN – Answering Questions using Web Data

Christoph Lange

OSCOSS: Opening Scholarly Communication in Social Sciences

OSCOSS: Opening Scholarly Communication in Social Sciences

OSCOSS: Opening Scholarly Communication in Social Sciences

Christoph Lange

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Christoph Lange

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

Christoph Lange

SWiM – A Semantic Wiki for Mathematical Knowledge Management

SWiM – A Semantic Wiki for Mathematical Knowledge Management

SWiM – A Semantic Wiki for Mathematical Knowledge Management

Christoph 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).

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

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

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Christoph Lange

Destaque (8)

A Mathematical Approach to Ontology Authoring and Documentation

A Mathematical Approach to Ontology Authoring and Documentation

A Mathematical Approach to Ontology Authoring and Documentation

WDAqua ITN – Answering Questions using Web Data

WDAqua ITN – Answering Questions using Web Data

WDAqua ITN – Answering Questions using Web Data

OSCOSS: Opening Scholarly Communication in Social Sciences

OSCOSS: Opening Scholarly Communication in Social Sciences

OSCOSS: Opening Scholarly Communication in Social Sciences

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

SWiM – A Semantic Wiki for Mathematical Knowledge Management

SWiM – A Semantic Wiki for Mathematical Knowledge Management

SWiM – A Semantic Wiki for Mathematical Knowledge Management

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...

Semelhante a TNTBase – a Versioned Database for XML (Mathematical) Documents

Processing and Publishing Content Math with JOMDoc and JOBAD

Processing and Publishing Content Math with JOMDoc and JOBAD

Processing and Publishing Content Math with JOMDoc and JOBAD

Christoph Lange

Python for Financial Data Analysis with pandas

Python for Financial Data Analysis with pandas

Python for Financial Data Analysis with pandas

Slides 111017220255-phpapp01

Slides 111017220255-phpapp01

Slides 111017220255-phpapp01

XML Prague 2005 EXSLT

XML Prague 2005 EXSLT

XML Prague 2005 EXSLT

Ks2009 Semanticweb In Action

Ks2009 Semanticweb In Action

Ks2009 Semanticweb In Action

Persistence Smoothie

Persistence Smoothie

Persistence Smoothie

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Dataconomy Media

Data science requires so many skills, people and time before the results can be accessed. Moreover, these results cannot be static anymore. And finally, the Big Data comes to the plate and the whole tool chain needs to change. In this talk Data Fellas introduces Shar3, a tool kit aiming to bridged the gaps to build a interactive distributed data processing pipeline, or loop! Then the talk covers genomics nowadays problems including data types, processing, discovery by introducing the GA4GH initiative and its implementation using Shar3.

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Publishing Math Lecture Notes as Linked Data

Publishing Math Lecture Notes as Linked Data

Publishing Math Lecture Notes as Linked Data

Christoph Lange

The status of the GeoServer WPS

The status of the GeoServer WPS

The status of the GeoServer WPS

Electronic resources, that is eContent, produced for education ‘’travels well’’ when it can be reused across national borders and in different curricular frameworks. In this talk, we discuss what features of mathematical eContent contribute to making it travel well. In particular, we will talk about semantic markup such as Content MathML and OpenMath, and about metadata descriptions of the learning resources. We will look into ways of producing mathematical eContent and how it can be converted to ad-hoc formats, including those that are accessible. Read more at http://www.jem-thematic.net/en/node/1298 Publication_details: ICTCM 2009, New Orleans. Author(s): O. Caprotti, M. Seppälä, M. Pauna Type: Slide presentation Date: 2009/03/14

How to make mathematical eContent travel well

How to make mathematical eContent travel well

How to make mathematical eContent travel well

Flux of MEME - final report

Flux of MEME - final report

Flux of MEME - final report

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Vladimir Alexiev, PhD, PMP

Apache Tika: 1 point Oh!

Apache Tika: 1 point Oh!

Apache Tika: 1 point Oh!

RUGCombine & Livetrix : search for a perfect interface ....?

RUGCombine & Livetrix : search for a perfect interface ....?

RUGCombine & Livetrix : search for a perfect interface ....?

Guus van den Brekel

RUGCombine & Livetrix

RUGCombine & Livetrix

RUGCombine & Livetrix

Try PurpleSearch

20130206 open refine

20130206 open refine

20130206 open refine

Martin Magdinier

Previewing OWL Changes and Refactorings Using a Flexible XML Database

Previewing OWL Changes and Refactorings Using a Flexible XML Database

Previewing OWL Changes and Refactorings Using a Flexible XML Database

Christoph Lange

XQuery Novelties (XML Holland 2010 - hardcore xml)

XQuery Novelties (XML Holland 2010 - hardcore xml)

XQuery Novelties (XML Holland 2010 - hardcore xml)

Semelhante a TNTBase – a Versioned Database for XML (Mathematical) Documents (20)

Processing and Publishing Content Math with JOMDoc and JOBAD

Processing and Publishing Content Math with JOMDoc and JOBAD

Processing and Publishing Content Math with JOMDoc and JOBAD

Python for Financial Data Analysis with pandas

Python for Financial Data Analysis with pandas

Python for Financial Data Analysis with pandas

Slides 111017220255-phpapp01

Slides 111017220255-phpapp01

Slides 111017220255-phpapp01

XML Prague 2005 EXSLT

XML Prague 2005 EXSLT

XML Prague 2005 EXSLT

Ks2009 Semanticweb In Action

Ks2009 Semanticweb In Action

Ks2009 Semanticweb In Action

Persistence Smoothie

Persistence Smoothie

Persistence Smoothie

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Andy Petrella_Med@Scale by Data Fellas: Scalable and Interoperable Genomics d...

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Data Enthusiasts London: Scalable and Interoperable data services. Applied to...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Controlled Vocabularies and Text Mining - Use Cases at the Goettingen State a...

Publishing Math Lecture Notes as Linked Data

Publishing Math Lecture Notes as Linked Data

Publishing Math Lecture Notes as Linked Data

The status of the GeoServer WPS

The status of the GeoServer WPS

The status of the GeoServer WPS

How to make mathematical eContent travel well

How to make mathematical eContent travel well

How to make mathematical eContent travel well

Flux of MEME - final report

Flux of MEME - final report

Flux of MEME - final report

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Getty Vocabulary Program LOD: Ontologies and Semantic Representation

Apache Tika: 1 point Oh!

Apache Tika: 1 point Oh!

Apache Tika: 1 point Oh!

RUGCombine & Livetrix : search for a perfect interface ....?

RUGCombine & Livetrix : search for a perfect interface ....?

RUGCombine & Livetrix : search for a perfect interface ....?

RUGCombine & Livetrix

RUGCombine & Livetrix

RUGCombine & Livetrix

20130206 open refine

20130206 open refine

20130206 open refine

Previewing OWL Changes and Refactorings Using a Flexible XML Database

Previewing OWL Changes and Refactorings Using a Flexible XML Database

Previewing OWL Changes and Refactorings Using a Flexible XML Database

XQuery Novelties (XML Holland 2010 - hardcore xml)

XQuery Novelties (XML Holland 2010 - hardcore xml)

XQuery Novelties (XML Holland 2010 - hardcore xml)

Mais de 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!

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Christoph Lange

Research Careers in Applied Computer Science

Research Careers in Applied Computer Science

Research Careers in Applied Computer Science

Christoph Lange

Machine Support for Interacting with Scientific Publications Improving Inform...

Machine Support for Interacting with Scientific Publications Improving Inform...

Machine Support for Interacting with Scientific Publications Improving Inform...

Christoph 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.

Linking Big Data to Rich Process Descriptions

Linking Big Data to Rich Process Descriptions

Linking Big Data to Rich Process Descriptions

Christoph Lange

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Christoph Lange

Semantic Web Technology: The Key to Making Scientific Information Systems Social

Semantic Web Technology: The Key to Making Scientific Information Systems Social

Semantic Web Technology: The Key to Making Scientific Information Systems Social

Christoph Lange

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

Christoph Lange

Making Heterogeneous Ontologies Interoperable Through Standardisation

Making Heterogeneous Ontologies Interoperable Through Standardisation

Making Heterogeneous Ontologies Interoperable Through Standardisation

Christoph Lange

JOBAD – Interactive Mathematical Documents

JOBAD – Interactive Mathematical Documents

JOBAD – Interactive Mathematical Documents

Christoph Lange

sTeX+ – a System for Flexible Formalization of Linked Data

sTeX+ – a System for Flexible Formalization of Linked Data

sTeX+ – a System for Flexible Formalization of Linked Data

Christoph Lange

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Christoph Lange

Mathematical Semantics of Statistical Data

Mathematical Semantics of Statistical Data

Mathematical Semantics of Statistical Data

Christoph Lange

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Christoph Lange

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Christoph Lange

wiki.openmath.org – how it works, how you can participate

wiki.openmath.org – how it works, how you can participate

wiki.openmath.org – how it works, how you can participate

Christoph Lange

Web-2.0-Forschung der KWARC-Gruppe

Web-2.0-Forschung der KWARC-Gruppe

Web-2.0-Forschung der KWARC-Gruppe

Christoph Lange

Aspects of Mathematical Knowledge on the Semantic Web

Aspects of Mathematical Knowledge on the Semantic Web

Aspects of Mathematical Knowledge on the Semantic Web

Christoph Lange

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Christoph Lange

Web Services in interaktiven mathematischen Dokumenten

Web Services in interaktiven mathematischen Dokumenten

Web Services in interaktiven mathematischen Dokumenten

Christoph Lange

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Christoph Lange

Mais de Christoph Lange (20)

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...

Research Careers in Applied Computer Science

Research Careers in Applied Computer Science

Research Careers in Applied Computer Science

Machine Support for Interacting with Scientific Publications Improving Inform...

Machine Support for Interacting with Scientific Publications Improving Inform...

Machine Support for Interacting with Scientific Publications Improving Inform...

Linking Big Data to Rich Process Descriptions

Linking Big Data to Rich Process Descriptions

Linking Big Data to Rich Process Descriptions

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...

Semantic Web Technology: The Key to Making Scientific Information Systems Social

Semantic Web Technology: The Key to Making Scientific Information Systems Social

Semantic Web Technology: The Key to Making Scientific Information Systems Social

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

TCP – zuverlässiger Ende-zu-Ende-Datenstrom

Making Heterogeneous Ontologies Interoperable Through Standardisation

Making Heterogeneous Ontologies Interoperable Through Standardisation

Making Heterogeneous Ontologies Interoperable Through Standardisation

JOBAD – Interactive Mathematical Documents

JOBAD – Interactive Mathematical Documents

JOBAD – Interactive Mathematical Documents

sTeX+ – a System for Flexible Formalization of Linked Data

sTeX+ – a System for Flexible Formalization of Linked Data

sTeX+ – a System for Flexible Formalization of Linked Data

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Krextor – An Extensible Framework for Contributing Content Math to the Web of...

Mathematical Semantics of Statistical Data

Mathematical Semantics of Statistical Data

Mathematical Semantics of Statistical Data

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...

wiki.openmath.org – how it works, how you can participate

wiki.openmath.org – how it works, how you can participate

wiki.openmath.org – how it works, how you can participate

Web-2.0-Forschung der KWARC-Gruppe

Web-2.0-Forschung der KWARC-Gruppe

Web-2.0-Forschung der KWARC-Gruppe

Aspects of Mathematical Knowledge on the Semantic Web

Aspects of Mathematical Knowledge on the Semantic Web

Aspects of Mathematical Knowledge on the Semantic Web

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Mathematik als Anwendungsfall und Herausforderung für das Semantic Web

Web Services in interaktiven mathematischen Dokumenten

Web Services in interaktiven mathematischen Dokumenten

Web Services in interaktiven mathematischen Dokumenten

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Annotating Rhetorical and Argumentative Structures in Mathematical Knowledge

Último

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

presentation ICT roal in 21st century education

presentation ICT roal in 21st century education

presentation ICT roal in 21st century education

The Good, the Bad and the Governed - Why is governance a dirty word? David O'Neill, Chief Operating Officer - APIContext Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Artificial Intelligence Chap.5 : Uncertainty

Artificial Intelligence Chap.5 : Uncertainty

Artificial Intelligence Chap.5 : Uncertainty

Khushali Kathiriya

AXA XL - Insurer Innovation Award Americas 2024

AXA XL - Insurer Innovation Award Americas 2024

AXA XL - Insurer Innovation Award Americas 2024

The Digital Insurer

Scaling API-first – The story of a global engineering organization Ian Reasor, Senior Computer Scientist - Adobe Radu Cotescu, Senior Computer Scientist - Adobe Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Juan lago vázquez

Dubai, often portrayed as a shimmering oasis in the desert, faces its own set of challenges, including the occasional threat of flooding. Despite its reputation for opulence and modernity, the emirate is not immune to the forces of nature. In recent years, Dubai has experienced sporadic but significant floods, testing the resilience of its infrastructure and communities. Among the critical lifelines in this bustling metropolis is the Dubai International Airport, a bustling hub that connects the city to the world. This article explores the intersection of Dubai flood events and the resilience demonstrated by the Dubai International Airport in the face of such challenges.

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

How to Troubleshoot Apps for the Modern Connected Worker

How to Troubleshoot Apps for the Modern Connected Worker

How to Troubleshoot Apps for the Modern Connected Worker

Manulife - Insurer Transformation Award 2024

Manulife - Insurer Transformation Award 2024

Manulife - Insurer Transformation Award 2024

The Digital Insurer

Join our latest Connector Corner webinar to discover how UiPath Integration Service revolutionizes API-centric automation in a 'Quote to Cash' process—and how that automation empowers businesses to accelerate revenue generation. A comprehensive demo will explore connecting systems, GenAI, and people, through powerful pre-built connectors designed to speed process cycle times. Speakers: James Dickson, Senior Software Engineer Charlie Greenberg, Host, Product Marketing Manager

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

CNIC Information System with Pakdata Cf In Pakistan

CNIC Information System with Pakdata Cf In Pakistan

CNIC Information System with Pakdata Cf In Pakistan

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

FWD Group - Insurer Innovation Award 2024

FWD Group - Insurer Innovation Award 2024

FWD Group - Insurer Innovation Award 2024

The Digital Insurer

2024: Domino Containers - The Next Step. News from the Domino Container commu...

2024: Domino Containers - The Next Step. News from the Domino Container commu...

2024: Domino Containers - The Next Step. News from the Domino Container commu...

Martijn de Jong

Strategies for Landing an Oracle DBA Job as a Fresher

Strategies for Landing an Oracle DBA Job as a Fresher

Strategies for Landing an Oracle DBA Job as a Fresher

Remote DBA Services

Keynote 2: APIs in 2030: The Risk of Technological Sleepwalk Paolo Malinverno, Growth Advisor - The Business of Technology Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

MS Copilot expands with MS Graph connectors

MS Copilot expands with MS Graph connectors

MS Copilot expands with MS Graph connectors

Nanddeep Nachan

Following the popularity of "Cloud Revolution: Exploring the New Wave of Serverless Spatial Data," we're thrilled to announce this much-anticipated encore webinar. In this sequel, we'll dive deeper into the Cloud-Native realm by uncovering practical applications and FME support for these new formats, including COGs, COPC, FlatGeoBuf, GeoParquet, STAC, and ZARR. Building on the foundation laid by industry leaders Michelle Roby of Radiant Earth and Chris Holmes of Planet in the first webinar, this second part offers an in-depth look at the real-world application and behind-the-scenes dynamics of these cutting-edge formats. We will spotlight specific use-cases and workflows, showcasing their efficiency and relevance in practical scenarios. Discover the vast possibilities each format holds, highlighted through detailed discussions and demonstrations. Our expert speakers will dissect the key aspects and provide critical takeaways for effective use, ensuring attendees leave with a thorough understanding of how to apply these formats in their own projects. Elevate your understanding of how FME supports these cutting-edge technologies, enhancing your ability to manage, share, and analyze spatial data. Whether you're building on knowledge from our initial session or are new to the serverless spatial data landscape, this webinar is your gateway to mastering cloud-native formats in your workflows.

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Último (20)

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

presentation ICT roal in 21st century education

presentation ICT roal in 21st century education

presentation ICT roal in 21st century education

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Artificial Intelligence Chap.5 : Uncertainty

Artificial Intelligence Chap.5 : Uncertainty

Artificial Intelligence Chap.5 : Uncertainty

AXA XL - Insurer Innovation Award Americas 2024

AXA XL - Insurer Innovation Award Americas 2024

AXA XL - Insurer Innovation Award Americas 2024

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

How to Troubleshoot Apps for the Modern Connected Worker

How to Troubleshoot Apps for the Modern Connected Worker

How to Troubleshoot Apps for the Modern Connected Worker

Manulife - Insurer Transformation Award 2024

Manulife - Insurer Transformation Award 2024

Manulife - Insurer Transformation Award 2024

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

CNIC Information System with Pakdata Cf In Pakistan

CNIC Information System with Pakdata Cf In Pakistan

CNIC Information System with Pakdata Cf In Pakistan

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

FWD Group - Insurer Innovation Award 2024

FWD Group - Insurer Innovation Award 2024

FWD Group - Insurer Innovation Award 2024

2024: Domino Containers - The Next Step. News from the Domino Container commu...

2024: Domino Containers - The Next Step. News from the Domino Container commu...

2024: Domino Containers - The Next Step. News from the Domino Container commu...

Strategies for Landing an Oracle DBA Job as a Fresher

Strategies for Landing an Oracle DBA Job as a Fresher

Strategies for Landing an Oracle DBA Job as a Fresher

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

MS Copilot expands with MS Graph connectors

MS Copilot expands with MS Graph connectors

MS Copilot expands with MS Graph connectors

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

TNTBase – a Versioned Database for XML (Mathematical) Documents

1. TNTBase – a Versioned Database for XML (Mathematical) Documents Content Math Training Camp 2010 Christoph Lange, Vyacheslav Zholudev Jacobs University, Bremen, Germany KWARC – Knowledge Adaptation and Reasoning for Content July 07, 2010 Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 1/8

2. TNTBase – a Versioned XML Database http://tntbase.org – combines Versioning as in Subversion Fine-grained XML access as in Oracle Berkeley DB XML . . . plus: Virtual documents (= views on XML) Plugin API for validation, presentation, etc. RESTful HTTP interface for accessing functionality ‘‘File manager’’ GUI Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 2/8

3. TNTBase – File Manager Interface Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 3/8

4. TNTBase – Virtual Document Workflow Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 4/8

5. TNTBase – Extension Towards a Specific Format TNTBase TNTBase (F) Web Application Web Application F-specific layer XML-layer XML-layer xSVN xSVN XML XML(F) Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 5/8

6. TNTBase – Plugin API and RESTful Interface Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 6/8

7. TNTBase + JOMDoc + JOBAD Integrated (JOMDoc rendering XHTML+MathML+RDFa, JOBAD providing definition lookup and semantic navigation) Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 7/8

8. Conclusion Content Math markup is often XML in versioned repositories ⇒ TNTBase core handles that well There is not just one language (OMDoc, MathDox, OpenMath CDs, etc.) – be flexible w. r. t. schema Different languages require different validation and presentation ⇒ plugin API Alternative: put higher-level functionality on top, not into TNTBase (→ MKM talk on Thursday: ‘‘MKM in the large’’) Try it (Debian package available): http://tntbase.org Lange/Zholudev (Jacobs) TNTBase – a Versioned Database for XML (Mathematical) Documents July 07, 2010 8/8