Abstract
Mobile reasoners play a pivotal role in the so-called Semantic Web of Things. While several tools exist for the Android platform, iOS has been neglected so far. This is due to architectural differences and unavailability of OWL manipulation libraries, which make porting existing engines harder. This paper presents Mini-ME Swift, the first Description Logics reasoner for iOS. It implements standard (Subsumption, Satisfiability, Classification, Consistency) and non-standard (Abduction, Contraction, Covering, Difference) inferences in an OWL 2 fragment. Peculiarities are discussed and performance results are presented, comparing Mini-ME Swift with other state-of-the-art OWL reasoners.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
RDF 1.1 Concepts and Abstract Syntax, W3C Recommendation 25 February 2014, https://www.w3.org/TR/rdf11-concepts/.
- 2.
OWL 2 Web Ontology Language Document Overview (Second Edition), W3C Recommendation 11 December 2012, https://www.w3.org/TR/owl2-overview/.
- 3.
AndroJena project page: https://github.com/lencinhaus/androjena.
- 4.
- 5.
Automatic reference counting documentation: https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/AutomaticReferenceCounting.html.
- 6.
Unmanaged references documentation: https://developer.apple.com/documentation/swift/unmanaged.
- 7.
OpenStreetMap: https://www.openstreetmap.org/.
- 8.
IndoorAtlas: https://www.indooratlas.com/.
- 9.
Apple ARKit 2: https://developer.apple.com/arkit/.
- 10.
Code and instructions available under the Eclipse Public License 1.0 at https://github.com/sisinflab-swot/owl-reasoner-test-framework.
- 11.
Dual Intel Xeon 5500 quad-core CPUs at 2.26Â GHz clock frequency, 32 GB DDR3 RAM at 1066 MHz, 640 GB 7200 RPM HDD, OS X 10.11.6 El Capitan.
- 12.
Apple A10 CPU (2 high-performance cores at 2.34Â GHz and 2 low-energy cores), 2 GB LPDDR4 RAM, 32 GB flash storage, iOS 10.1.1.
- 13.
Dual-core 1.5 GHz Apple A8 CPU, 2 GB LPDDR3 RAM, 16 GB flash storage, iOS 9.3.3.
- 14.
Dual-core 1.3 GHz Apple A7 CPU, 1 GB LPDDR3 RAM, 16 GB flash storage, iOS 10.3.2.
- 15.
- 16.
- 17.
Mobile tests could have been run from command line interface by jailbreaking iOS devices. This has been avoided, in order to assess performance in the standard iOS configuration.
- 18.
GraphHopper iOS port: https://github.com/graphhopper/graphhopper-ios.
References
Ali, S., Kiefer, S.: \(\mu \)OR – a micro OWL DL reasoner for ambient intelligent devices. In: Abdennadher, N., Petcu, D. (eds.) GPC 2009. LNCS, vol. 5529, pp. 305–316. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01671-4_28
Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2), 109–132 (1994)
Bernstein, A., Hendler, J., Noy, N.: A new look at the Semantic Web. Commun. ACM 59(9), 35–37 (2016)
Bobed, C., Yus, R., Bobillo, F., Mena, E.: Semantic reasoning on mobile devices: do Androids dream of efficient reasoners? J. Web Semant. 35, 167–183 (2015)
Ermilov, T., Khalili, A., Auer, S.: Ubiquitous semantic applications: a systematic literature review. Int. J. Semant. Web Inf. Syst. 10(1), 66–99 (2014)
Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245–269 (2014)
Horridge, M., Bechhofer, S.: The OWL API: a java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)
Jara, A.J., Olivieri, A.C., Bocchi, Y., Jung, M., Kastner, W., Skarmeta, A.F.: Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence. Int. J. Web Grid Serv. 10(2–3), 244–272 (2014)
Kazakov, Y., Klinov, P.: Experimenting with ELK reasoner on android. In: OWL Reasoner Evaluation Workshop (ORE). CEUR Workshop Proceedings, vol. 1015, pp. 68–74. CEUR-WS, Aachen (2013)
Kim, T., Park, I., Hyun, S.J., Lee, D.: MiRE4OWL: mobile rule engine for OWL. In: Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops, pp. 317–322. IEEE Computer Society, Piscataway (2010)
Koch, F., Meyer, J.-J.C., Dignum, F., Rahwan, I.: Programming deliberative agents for mobile services: the 3APL-M platform. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 222–235. Springer, Heidelberg (2006). https://doi.org/10.1007/11678823_14
Koziuk, M., Domaszewicz, J., Schoeneich, R.O., Jablonowski, M., Boetzel, P.: Mobile context-addressable messaging with DL-lite domain model. In: Roggen, D., Lombriser, C., Tröster, G., Kortuem, G., Havinga, P. (eds.) EuroSSC 2008. LNCS, vol. 5279, pp. 168–181. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88793-5_13
Li, Y.F., Pan, J.Z., Hauswirth, M., Nguyen, H.: The ubiquitous Semantic Web: promises, progress and challenges. In: Web-Based Services: Concepts, Methodologies, Tools, and Applications, pp. 272–289. IGI Global, Hershey (2016)
Matentzoglu, N., Leo, J., Hudhra, V., Sattler, U., Parsia, B.: A survey of current, stand-alone OWL reasoners. In: 4th OWL Reasoner Evaluation Workshop (ORE). CEUR Workshop Proceedings, vol. 1387, pp. 68–79. CEUR-WS, Aachen (2015)
McBride, B.: Jena: a Semantic Web toolkit. IEEE Internet Comput. 6(6), 55–59 (2002)
Moguillansky, M.O., Wassermann, R., Falappa, M.A.: An argumentation machinery to reason over inconsistent ontologies. In: Kuri-Morales, A., Simari, G.R. (eds.) IBERAMIA 2010. LNCS (LNAI), vol. 6433, pp. 100–109. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16952-6_11
Motik, B., Horrocks, I., Kim, S.M.: Delta-reasoner: a Semantic Web reasoner for an intelligent mobile platform. In: Proceedings of the 21st International Conference on World Wide Web, pp. 63–72. ACM, New York (2012)
Parsia, B., Matentzoglu, N., Gonçalves, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reasoning 59(4), 455–482 (2017)
Patton, E.W., McGuinness, D.L.: The mobile wine agent: pairing wine with the social Semantic Web. In: 2nd Social Data on the Web Workshop - 8th International Semantic Web Conference. CEUR Workshop Proceedings, vol. 520. CEUR-WS, Aachen (2009)
Pizzocaro, D., Preece, A., Chen, F., La Porta, T., Bar-Noy, A.: A distributed architecture for heterogeneous multi sensor-task allocation. In: 2011 International Conference on Distributed Computing in Sensor Systems (DCOSS), pp. 1–8. IEEE, Piscataway (2011)
Ruta, M., Scioscia, F., Di Sciascio, E.: Mobile semantic-based matchmaking: a fuzzy DL approach. In: Aroyo, L., et al. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 16–30. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13486-9_2
Ruta, M., Scioscia, F., Di Sciascio, E., Bilenchi, I.: OWL API for iOS: early implementation and results. In: Dragoni, M., Poveda-Villalón, M., Jimenez-Ruiz, E. (eds.) OWLED/ORE -2016. LNCS, vol. 10161, pp. 141–152. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-54627-8_11
Ruta, M., Scioscia, F., Gramegna, F., Di Sciascio, E.: A mobile knowledge-based system for on-board diagnostics and car driving assistance. In: 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), pp. 91–96. ThinkMind, Wilmington (2010)
Ruta, M., Scioscia, F., Ieva, S., De Filippis, D., Di Sciascio, E.: Indoor/outdoor mobile navigation via knowledge-based POI discovery in augmented reality. In: Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 3, pp. 26–30. IEEE, Piscataway (2015)
Scioscia, F., Ruta, M.: Building a Semantic Web of Things: issues and perspectives in information compression. In: Proceedings of the 3rd IEEE International Conference on Semantic Computing, pp. 589–594. IEEE Computer Society, Piscataway (2009)
Scioscia, F., Ruta, M., Loseto, G., Gramegna, F., Ieva, S., Pinto, A., Di Sciascio, E.: Mini-ME matchmaker and reasoner for the Semantic Web of Things. In: Innovations, Developments, and Applications of Semantic Web and Information Systems, pp. 262–294. IGI Global, Hershey (2018)
Seitz, C., Schönfelder, R.: Rule-based OWL reasoning for specific embedded devices. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7032, pp. 237–252. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25093-4_16
Sinner, A., Kleemann, T.: KRHyper – in your pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452–457. Springer, Heidelberg (2005). https://doi.org/10.1007/11532231_33
Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78–85 (2014)
Steller, L., Krishnaswamy, S.: Pervasive service discovery: mTableaux mobile reasoning. In: International Conference on Semantic Systems (I-Semantics), pp. 93–101. TU Graz, Graz (2008)
Tai, W., Keeney, J., O’Sullivan, D.: Resource-constrained reasoning using a reasoner composition approach. Semant. Web 6(1), 35–59 (2015)
Teege, G.: Making the difference: a subtraction operation for description logics. In: Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR 1994), pp. 540–550. ACM, New York (1994)
Thomas, E., Pan, J.Z., Ren, Y.: TrOWL: tractable OWL 2 reasoning infrastructure. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6089, pp. 431–435. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13489-0_38
Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006). https://doi.org/10.1007/11814771_26
van Aart, C., Wielinga, B., van Hage, W.R.: Mobile cultural heritage guide: location-aware semantic search. In: Cimiano, P., Pinto, H.S. (eds.) EKAW 2010. LNCS (LNAI), vol. 6317, pp. 257–271. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16438-5_18
Van Woensel, W., Abidi, S.S.R.: Optimizing semantic reasoning on memory-constrained platforms using the RETE algorithm. In: Gangemi, A., Navigli, R., Vidal, M.-E., Hitzler, P., Troncy, R., Hollink, L., Tordai, A., Alam, M. (eds.) ESWC 2018. LNCS, vol. 10843, pp. 682–696. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-93417-4_44
Yus, R., Pappachan, P.: Are apps going semantic? a systematic review of semantic mobile applications. In: 1st International Workshop on Mobile Deployment of Semantic Technologies (MoDeST). CEUR Workshop Proceedings, vol. 1506, pp. 2–13. CEUR-WS, Aachen (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ruta, M., Scioscia, F., Gramegna, F., Bilenchi, I., Di Sciascio, E. (2019). Mini-ME Swift: The First Mobile OWL Reasoner for iOS. In: Hitzler, P., et al. The Semantic Web. ESWC 2019. Lecture Notes in Computer Science(), vol 11503. Springer, Cham. https://doi.org/10.1007/978-3-030-21348-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-21348-0_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21347-3
Online ISBN: 978-3-030-21348-0
eBook Packages: Computer ScienceComputer Science (R0)