Semantic Alliance: A Framework for Semantic Allies

We present an architecture and software framework for semantic allies: Semantic systems that complement existing software applications with semantic services and interactions based on a background ontology. On the one hand, our Semantic Alliance framework follows an invasive approach: Users can profit from semantic technology without having to leave their accustomed workflows and tools. On the other hand, Semantic Alliance offers a largely application-independent way of extending existing (open API) applications with MKM technologies. Semantic Alliance framework presented in this paper consists of three components: i.) a universal semantic interaction manager for given abstract document types, ii.) a set of thin APIs realized as invasive extensions to particular applications, and iii.) a set of renderer components for existing semantic services. We validate the Semantic Alliance approach by instantiating it with a spreadsheet-specific interaction manager, thin APIs for LibreOffice Calc 3.4 and MS Excel'10, and a browser-based renderer.

[1]  Uwe Aßmann,et al.  Invasive Software Composition , 2003, Springer Berlin Heidelberg.

[2]  Enrico Motta,et al.  Watson, more than a Semantic Web search engine , 2011, Semantic Web.

[3]  James D. Hollan,et al.  Direct Manipulation Interfaces , 1985, Hum. Comput. Interact..

[4]  Sriram Subramanian,et al.  Talking about tactile experiences , 2013, CHI.

[5]  Andrea Kohlhase “Overcoming Proprietary Hurdles: CPoint as Invasive Editor” , 2005 .

[6]  Jeffrey Johnson,et al.  Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules , 2010 .

[7]  Michael Kohlhase,et al.  Semantic transparency in user assistance systems , 2009, SIGDOC '09.

[8]  Mark Pilgrim Greasemonkey hacks - tips and tools for remixing the web with Firefox , 2005 .

[9]  Stephen M. Watt,et al.  Intelligent Computer Mathematics , 2014, Lecture Notes in Computer Science.

[10]  Mira Dontcheva,et al.  Exploring websites through contextual facets , 2009, CHI.

[11]  Jason Nieh,et al.  Measuring thin-client performance using slow-motion benchmarking , 2001, TOCS.

[12]  Christoph Lange,et al.  Integrating Web Services into Active Mathematical Documents , 2009, Calculemus/MKM.

[13]  Michael Kohlhase,et al.  Formal Management of CAD/CAM Processes , 2009, FM.

[14]  Ana Cavalcanti,et al.  FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings , 2009, FM.

[15]  Jeffrey Wong,et al.  Making mashups with marmite: towards end-user programming for the web , 2007, CHI.

[16]  Michael Kohlhase,et al.  Compensating the Computational Bias of Spreadsheets with MKM Techniques , 2009, Calculemus/MKM.

[17]  Scott E. Hudson,et al.  Implementing interface attachments based on surface representations , 1999, CHI '99.

[18]  Christoph Lange,et al.  The Planetary System: Web 3.0 & Active Documents for STEM , 2011, ICCS.