Skip to main content
SpringerLink
Log in
Book cover

European Semantic Web Conference

ESWC 2019: The Semantic Web pp 298–313Cite as

Mini-ME Swift: The First Mobile OWL Reasoner for iOS

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 11503))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    RDF 1.1 Concepts and Abstract Syntax, W3C Recommendation 25 February 2014, https://www.w3.org/TR/rdf11-concepts/.

  2. 2.

    OWL 2 Web Ontology Language Document Overview (Second Edition), W3C Recommendation 11 December 2012, https://www.w3.org/TR/owl2-overview/.

  3. 3.

    AndroJena project page: https://github.com/lencinhaus/androjena.

  4. 4.

    Swift documentation: https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language.

  5. 5.

    Automatic reference counting documentation: https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/AutomaticReferenceCounting.html.

  6. 6.

    Unmanaged references documentation: https://developer.apple.com/documentation/swift/unmanaged.

  7. 7.

    OpenStreetMap: https://www.openstreetmap.org/.

  8. 8.

    IndoorAtlas: https://www.indooratlas.com/.

  9. 9.

    Apple ARKit 2: https://developer.apple.com/arkit/.

  10. 10.

    Code and instructions available under the Eclipse Public License 1.0 at https://github.com/sisinflab-swot/owl-reasoner-test-framework.

  11. 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. 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. 13.

    Dual-core 1.5 GHz Apple A8 CPU, 2 GB LPDDR3 RAM, 16 GB flash storage, iOS 9.3.3.

  14. 14.

    Dual-core 1.3 GHz Apple A7 CPU, 1 GB LPDDR3 RAM, 16 GB flash storage, iOS 10.3.2.

  15. 15.

    http://sisinflab.poliba.it/swottools/minime-swift.

  16. 16.

    http://dl.kr.org/ore2014.

  17. 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. 18.

    GraphHopper iOS port: https://github.com/graphhopper/graphhopper-ios.

References

  1. 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

    Chapter  Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. Bernstein, A., Hendler, J., Noy, N.: A new look at the Semantic Web. Commun. ACM 59(9), 35–37 (2016)

    Article  Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. Ermilov, T., Khalili, A., Auer, S.: Ubiquitous semantic applications: a systematic literature review. Int. J. Semant. Web Inf. Syst. 10(1), 66–99 (2014)

    Article  Google Scholar 

  6. Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245–269 (2014)

    Article  MATH  Google Scholar 

  7. Horridge, M., Bechhofer, S.: The OWL API: a java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)

    Article  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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

    Chapter  Google Scholar 

  12. 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

    Chapter  Google Scholar 

  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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. McBride, B.: Jena: a Semantic Web toolkit. IEEE Internet Comput. 6(6), 55–59 (2002)

    Article  Google Scholar 

  16. 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

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Article  MathSciNet  MATH  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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

    Chapter  Google Scholar 

  22. 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

    Chapter  Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. 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)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. 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

    Chapter  Google Scholar 

  28. 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

    Chapter  Google Scholar 

  29. Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78–85 (2014)

    Article  MATH  Google Scholar 

  30. 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)

    Google Scholar 

  31. Tai, W., Keeney, J., O’Sullivan, D.: Resource-constrained reasoning using a reasoner composition approach. Semant. Web 6(1), 35–59 (2015)

    Article  Google Scholar 

  32. 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)

    Google Scholar 

  33. 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

    Chapter  Google Scholar 

  34. 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

    Chapter  Google Scholar 

  35. 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

    Chapter  Google Scholar 

  36. 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

    Chapter  Google Scholar 

  37. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Polytechnic University of Bari, via E. Orabona 4, 70125, Bari, Italy

    Michele Ruta, Floriano Scioscia, Filippo Gramegna, Ivano Bilenchi & Eugenio Di Sciascio

Authors
  1. Michele Ruta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Floriano Scioscia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Filippo Gramegna
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ivano Bilenchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Eugenio Di Sciascio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michele Ruta .

Editor information

Editors and Affiliations

  1. Wright State University, Dayton, OH, USA

    Pascal Hitzler

  2. KMi, The Open University, Milton Keynes, UK

    Miriam Fernández

  3. University of California, Santa Barbara, CA, USA

    Krzysztof Janowicz

  4. Maastricht University, Maastricht, The Netherlands

    Amrapali Zaveri

  5. Heriot-Watt University, Edinburgh, UK

    Alasdair J.G. Gray

  6. IBM Research, Dublin, Ireland

    Vanessa Lopez

  7. The Australian National University, Canberra, ACT, Australia

    Armin Haller

  8. Jönköping University, Jönköping, Sweden

    Karl Hammar

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation