{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:33:36Z","timestamp":1781105616213,"version":"3.54.1"},"reference-count":47,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/ijswis.2014100104","type":"journal-article","created":{"date-parts":[[2015,5,29]],"date-time":"2015-05-29T14:36:52Z","timestamp":1432910212000},"page":"77-100","source":"Crossref","is-referenced-by-count":30,"title":["A Mobile Matchmaker for the Ubiquitous Semantic Web"],"prefix":"10.4018","volume":"10","author":[{"given":"Floriano","family":"Scioscia","sequence":"first","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michele","family":"Ruta","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Loseto","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Filippo","family":"Gramegna","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saverio","family":"Ieva","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Agnese","family":"Pinto","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eugenio","family":"Di Sciascio","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Elettrica e dell'Informazione (DEI), Politecnico di Bari, Bari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijswis.2014100104-0","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1009177"},{"key":"ijswis.2014100104-1","first-page":"364","article-title":"Pushing the EL envelope.","author":"F.Baader","year":"2005","journal-title":"19th International Joint Conference on Artificial Intelligence"},{"key":"ijswis.2014100104-2","unstructured":"Baader, F., Calvanese, D., Mc Guinness, D., Nardi, D., & PatelSchneider, P. (2002). The Description Logic Handbook. Cambridge University Press."},{"key":"ijswis.2014100104-3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00872105"},{"key":"ijswis.2014100104-4","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., & Suntisrivaraporn, B. (2006). CEL \u2013 a polynomial-time reasoner for life science ontologies. Automated Reasoning, 287\u2013291.","DOI":"10.1007\/11814771_25"},{"key":"ijswis.2014100104-5","doi-asserted-by":"publisher","DOI":"10.2753\/JEC1086-4415120205"},{"key":"ijswis.2014100104-6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.2153","article-title":"Semantic matchmaking as non-monotonic reasoning: A description logic approach.","volume":"29","author":"T.Di Noia","year":"2007","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ijswis.2014100104-7","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2008010104"},{"key":"ijswis.2014100104-8","doi-asserted-by":"publisher","DOI":"10.1016\/S1071-5819(02)00127-1"},{"key":"ijswis.2014100104-9","doi-asserted-by":"crossref","unstructured":"Haarslev, V., & M\u00fcller, R. (2001). Racer system description. Automated Reasoning, 701\u2013705.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"ijswis.2014100104-10","article-title":"The OWL API: a Java API for working with OWL 2 ontologies.","author":"M.Horridge","year":"2009","journal-title":"Proceedings of OWL Experiences and Directions (OWLED)"},{"key":"ijswis.2014100104-11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.267"},{"key":"ijswis.2014100104-12","first-page":"2040","article-title":"Consequence-driven reasoning for Horn SHIQ ontologies.","volume":"Vol. 9","author":"Y.Kazakov","year":"2009","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ijswis.2014100104-13","unstructured":"Kazakov, Y., & Klinov, P. (2013). Experimenting with ELK Reasoner on Android. In Proceedings of 2nd International Workshop on OWL Reasoner Evaluation (ORE 13), 68\u201374. Ulm, Germany."},{"key":"ijswis.2014100104-14","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9296-3"},{"key":"ijswis.2014100104-15","first-page":"317","article-title":"MiRE4OWL: Mobile Rule Engine for OWL.","author":"T.Kim","year":"2010","journal-title":"34th IEEE Annual Computer Software and Applications Conference Workshops (CompSACW)"},{"key":"ijswis.2014100104-16","article-title":"User Profiles and Matchmaking on Mobile Phones","author":"T.Kleemann","year":"2005","journal-title":"Proceedings of 16th InternationalConference on Applications of Declarative Programming and Knowledge Management"},{"key":"ijswis.2014100104-17","doi-asserted-by":"crossref","unstructured":"Koch, F., Meyer, J.-J. C., Dignum, F., & Rahwan, I. (2006). Programming deliberative agents for mobile services: the 3APL-M platform. In Programming multi-agent systems, 222\u2013235, Springer.","DOI":"10.1007\/11678823_14"},{"key":"ijswis.2014100104-18","unstructured":"Lawley, M., & Bousquet, C. (2010). Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL 2 EL reasoner. In Proceedings of the 6th Australasian Ontology Workshop. Conferences in research and practice in information technology, vol. 122, 45\u201349."},{"key":"ijswis.2014100104-19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90009-2"},{"issue":"4","key":"ijswis.2014100104-20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1080\/10864415.2004.11044307","article-title":"A software framework for matchmaking based on Semantic Web technology.","volume":"8","author":"L.Li","year":"2004","journal-title":"International Journal of Electronic Commerce"},{"issue":"1","key":"ijswis.2014100104-21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.3233\/SW-2011-0027","article-title":"OWLlink.","volume":"2","author":"T.Liebig","year":"2011","journal-title":"Semantic Web"},{"key":"ijswis.2014100104-22","doi-asserted-by":"publisher","DOI":"10.1504\/IJAHUC.2013.052414"},{"key":"ijswis.2014100104-23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16952-6_11"},{"key":"ijswis.2014100104-24","doi-asserted-by":"publisher","DOI":"10.1145\/2187980.2187988"},{"key":"ijswis.2014100104-25","article-title":"The OWLlink API: Teaching OWL Components a Common Protocol","author":"O.Noppens","year":"2010","journal-title":"OWL Experiences and Directions"},{"key":"ijswis.2014100104-26","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2011.6069708"},{"key":"ijswis.2014100104-27","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2007070105"},{"key":"ijswis.2014100104-28","doi-asserted-by":"publisher","DOI":"10.1145\/1282100.1282124"},{"key":"ijswis.2014100104-29","doi-asserted-by":"publisher","DOI":"10.1145\/1409540.1409576"},{"issue":"3","key":"ijswis.2014100104-30","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/WIA-2011-0214","article-title":"Concept abduction and contraction in semantic-based P2P environments.","volume":"9","author":"M.Ruta","year":"2011","journal-title":"Web Intelligence and Agent Systems"},{"key":"ijswis.2014100104-31","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2014.10.029"},{"key":"ijswis.2014100104-32","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IAT.2009.29"},{"issue":"3","key":"ijswis.2014100104-33","first-page":"235","article-title":"A hybrid ZigBee\/Bluetooth approach to mobile semantic grids.","volume":"25","author":"M.Ruta","year":"2010","journal-title":"Computer Systems Science and Engineering"},{"key":"ijswis.2014100104-34","doi-asserted-by":"crossref","unstructured":"Ruta, M., Scioscia, F., & Di Sciascio, E. (2010). Mobile Semanticbased Matchmaking: a fuzzy DL approach. The Semantic Web: Research and Applications, Proceedings of the 7th Extended Semantic Web Conference, 16\u201330.","DOI":"10.1007\/978-3-642-13486-9_2"},{"key":"ijswis.2014100104-35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2273433"},{"key":"ijswis.2014100104-36","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2014.01.144"},{"key":"ijswis.2014100104-37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2009.75"},{"key":"ijswis.2014100104-38","unstructured":"Shearer, R., Motik, B., & Horrocks, I. (2008). HermiT: A highly efficient OWL reasoner. In Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED), 26\u201327."},{"key":"ijswis.2014100104-39","doi-asserted-by":"crossref","unstructured":"Sinner, A., & Kleemann, T. (2005, July). KRHyper - In Your Pocket. In Proceedings of 20th International Conference on Automated Deduction (CADE, 452-457. Tallinn, Estonia.","DOI":"10.1007\/11532231_33"},{"key":"ijswis.2014100104-40","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"ijswis.2014100104-41","unstructured":"Steller, L., & Krishnaswamy, S. (2008). Pervasive Service Discovery: mTableaux Mobile Reasoning. In International Conference on Semantic systems (I-semantics). Graz, Austria."},{"key":"ijswis.2014100104-42","doi-asserted-by":"crossref","unstructured":"Tai, W., Keeney, J., & O\u2018Sullivan, D. (2011). COROR: a composable rule-entailment OWL reasoner for resource-constrained devices. Rule-Based Reasoning, Programming, and Applications, 212\u2013226.","DOI":"10.1007\/978-3-642-22546-8_17"},{"key":"ijswis.2014100104-43","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., & Horrocks, I. (2006). FaCT++ description logic reasoner: System description. Automated Reasoning, 292\u2013297.","DOI":"10.1007\/11814771_26"},{"key":"ijswis.2014100104-44","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2007.06.017"},{"key":"ijswis.2014100104-45","article-title":"Semantic User Profiles and their Applications in a Mobile Environment.","author":"A.von Hessling","year":"2004","journal-title":"Workshop on Artificial Intelligence in Mobile Systems (AIMS)"},{"key":"ijswis.2014100104-46","first-page":"46","article-title":"Android goes semantic: DL reasoners on smartphones.","author":"R.Yus","year":"2013","journal-title":"Proceedings of 2nd International Workshop on OWL Reasoner Evaluation (ORE)"}],"container-title":["International Journal on Semantic Web and Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=129763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T23:55:52Z","timestamp":1654127752000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijswis.2014100104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2014,10,1]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijswis.2014100104","relation":{},"ISSN":["1552-6283","1552-6291"],"issn-type":[{"value":"1552-6283","type":"print"},{"value":"1552-6291","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,1]]}}}