Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Cost-Effective Integration of MKM Semantic Services into Editing Environments - MaRDI portal

Cost-Effective Integration of MKM Semantic Services into Editing Environments

From MaRDI portal
Publication:2907317

DOI10.1007/978-3-642-31374-5_7zbMATH Open1359.68285arXiv1203.3316OpenAlexW1860846637MaRDI QIDQ2907317

Constantin Jucovschi

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: Integration of MKM services into editors has been of big interest in both formal as well as informal areas of MKM. Until now, most of the efforts to integrate MKM services into editing environments are done on an individual basis which results in high creation and maintenance costs. In this paper, I propose an architecture which allows editing environments and MKM services to be integrated in a more efficient way. This is accomplished by integrating editors and services only once with a real-time document synchronization and service broker. Doing so, simplifies the development of services as well as of editor integrations. My experience suggests that integrating new services into an arbitrary number of already integrated editors can take as little as 3-4 hours of work.


Full work available at URL: https://arxiv.org/abs/1203.3316






Uses Software


Recommendations





This page was built for publication: Cost-Effective Integration of MKM Semantic Services into Editing Environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907317)