A Mobile Matchmaker for the Ubiquitous Semantic Web

The Semantic Web and Internet of Things visions are converging toward the so-called Semantic Web of Things SWoT. It aims to enable smart semantic-enabled applications and services in ubiquitous contexts. Due to architectural and performance issues, it is currently impractical to use existing Semantic Web reasoners. They are resource consuming and are basically optimized for standard inference tasks on large ontologies. On the contrary, SWoT use cases generally require quick decision support through semantic matchmaking in resource-constrained environments. This paper presents Mini-ME, a novel mobile inference engine designed from the ground up for the SWoT. It supports Semantic Web technologies and implements both standard subsumption, satisfiability, classification and non-standard abduction, contraction, covering inference services for moderately expressive knowledge bases. In addition to an architectural and functional description, usage scenarios are presented and an experimental performance evaluation is provided both on a PC testbed against other popular Semantic Web reasoners and on a smartphone.

[1]  Blazej Lewcio,et al.  User Experience in 4G Networks , 2010 .

[2]  Eduardo Mena,et al.  Android goes Semantic: DL Reasoners on Smartphones , 2013, ORE.

[3]  Michele Ruta,et al.  Building a Semantic Web of Things: Issues and Perspectives in Information Compression , 2009, 2009 IEEE International Conference on Semantic Computing.

[4]  Tommaso Di Noia,et al.  A semantic-based mobile registry for dynamic RFID-based logistics support , 2008, ICEC.

[5]  Francesco M. Donini,et al.  Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts , 2008, Int. J. Semantic Web Inf. Syst..

[6]  Boris Motik,et al.  HermiT: A Highly-Efficient OWL Reasoner , 2008, OWLED.

[7]  Sasan Adibi,et al.  Fourth-generation Wireless Networks: Applications and Innovations , 2009 .

[8]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[9]  Eugenio Di Sciascio,et al.  Mobile Semantic-Based Matchmaking: A Fuzzy DL Approach , 2010, ESWC.

[10]  Ian Horrocks,et al.  A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

[11]  Alex Sinner,et al.  User Profiles and Matchmaking on Mobile Phones , 2005, INAP.

[12]  Eugenio Di Sciascio,et al.  Concept abduction and contraction in semantic-based P2P environments , 2011, Web Intell. Agent Syst..

[13]  Boris Motik,et al.  Delta-reasoner: a semantic web reasoner for an intelligent mobile platform , 2012, WWW.

[14]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[15]  Declan O'Sullivan,et al.  COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices , 2011, RuleML Europe.

[16]  Nacéra Bennacer,et al.  Metadata- and Ontology- Based Semantic Web Mining , 2006 .

[17]  Philip T. Kortum,et al.  Evaluating the Usability of Multimedia, Mobile and Network-Based Products , 2012, Int. J. Wirel. Networks Broadband Technol..

[18]  Eugenio Di Sciascio,et al.  A Framework and a Tool for Semantic Annotation of POIs in OpenStreetMap , 2014 .

[19]  Luis Olsina,et al.  Modeling Content Quality for the Web 2.0 and Follow-on Applications , 2010 .

[20]  Tommaso Di Noia,et al.  A hybrid ZigBee/Bluetooth approach to mobile semantic grids , 2010, Comput. Syst. Sci. Eng..

[21]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[22]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[23]  Timothy W. Finin,et al.  Enhanced Service Discovery in Bluetooth , 2002, Computer.

[24]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[25]  Neeraj Kumar,et al.  Load Balancing Aware Multiparty Secure Group Communication for Online Services in Wireless Mesh Networks , 2011, Int. J. Wirel. Networks Broadband Technol..

[26]  Francesco M. Donini,et al.  Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach , 2007, J. Artif. Intell. Res..

[27]  Tommaso Di Noia,et al.  RFID meets bluetooth in a semantic based u-commerce environment , 2007, ICEC.

[28]  Klaus Meißner,et al.  An Ontology-Based, Cross-Application Context Modeling and Management Service , 2010, Int. J. Semantic Web Inf. Syst..

[29]  Andreas von Hessling.  Semantic User Profiles and their Applications in a Mobile Environment , 2004 .

[30]  Francesco M. Donini,et al.  Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..

[31]  Alex Sinner,et al.  KRHyper - In Your Pocket , 2005, CADE.

[32]  Tommaso Di Noia,et al.  A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces , 2007, Int. J. Electron. Commer..

[33]  Tommaso Di Noia,et al.  Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[34]  Frank Dignum,et al.  Programming Deliberative Agents for Mobile Services: The 3APL-M Platform , 2005, PROMAS.

[35]  Bernhard Nebel,et al.  Am empirical analysis of optimization techniques for terminological representation systems , 1994, Applied Intelligence.

[36]  Marta Sabou,et al.  Crowdsourced Knowledge Acquisition: Towards Hybrid-Genre Workflows , 2013, Int. J. Semantic Web Inf. Syst..

[37]  Qihua Liu,et al.  U-commerce research: a literature review and classification , 2013, Int. J. Ad Hoc Ubiquitous Comput..

[38]  David Taniar,et al.  Web Semantics Ontology , 2006 .

[39]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[40]  Diego López-de-Ipiña,et al.  mRDP: An HTTP-based lightweight semantic discovery protocol , 2007, Comput. Networks.

[41]  A. Sheth.  International Journal on Semantic Web & Information Systems , .

[42]  László Bokor,et al.  Survey and Evaluation of Advanced Mobility Management Schemes in the Host Identity Layer , 2014, Int. J. Wirel. Networks Broadband Technol..

[43]  Renata Wassermann,et al.  An Argumentation Machinery to Reason over Inconsistent Ontologies , 2010, IBERAMIA.

[44]  G. Giaglis,et al.  Reviewing Mobile Marketing Research to Date: Towards Ubiquitous Marketing , 2010 .

[45]  Thorsten Liebig,et al.  The OWLlink API: Teaching OWL Components a Common Protocol , 2010, OWLED.

[46]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[47]  Kay Römer,et al.  SPITFIRE: toward a semantic web of things , 2011, IEEE Communications Magazine.

[48]  Mourad Loulou,et al.  Optimization of CMOS Quadrature VCO Using a Graphical Method , 2012 .

[49]  Eugenio Di Sciascio,et al.  A Semantic -Enhanced Augmented Reality Tool for OpenStreetMap POI Discovery , 2014 .

[50]  Shonali Krishnaswamy,et al.  Pervasive service discovery: mTableaux mobile reasoning , 2008 .

[51]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[52]  Eugenio Di Sciascio,et al.  Semantic-Based Resource Discovery and Orchestration in Home and Building Automation: A Multi-Agent Approach , 2014, IEEE Transactions on Industrial Informatics.

[53]  Sean Bechhofer,et al.  The OWL API: A Java API for Working with OWL 2 Ontologies , 2009, OWLED.

[54]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[55]  Dongman Lee,et al.  MiRE4OWL: Mobile Rule Engine for OWL , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[56]  Christos Bouras,et al.  A Simulation Framework for the Evaluation of Frequency Reuse in LTE-A Systems , 2014, Int. J. Wirel. Networks Broadband Technol..

[57]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[58]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[59]  Pavel Klinov,et al.  Experimenting with ELK Reasoner on Android , 2013, ORE.

[60]  Arjuna Marzuki,et al.  Advances in Monolithic Microwave Integrated Circuits for Wireless Systems: Modeling and Design Technologies , 2011 .

[61]  San Murugesan,et al.  Handbook of Research on Web 2.0, 3.0, and X.0: Technologies, Business, and Social Applications , 2009 .

[62]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.