Skip to main content
SpringerLink
Log in

Large-Scale Complex Reasoning with Semantics: Approaches and Challenges

  • Conference paper
Web Information Systems Engineering – WISE 2013 Workshops (WISE 2013)

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

Included in the following conference series:

  • 1526 Accesses

Abstract

Huge amounts of data are generated by sensor readings, social media and databases. Such data introduce new challenges due to their volume and variety, and thus, new techniques are required for their utilization. We believe that reasoning can facilitate the extraction of new and useful knowledge. In particular, we may apply reasoning in order to make and support decisions, clean noisy data and derive high-level information from low-level input data. In this work we discuss the problem of large-scale reasoning over incomplete or inconsistent information, with an emphasis on nonmonotonic reasoning. We outline previous work, challenges and possible solutions, both over MapReduce and alternative high performance computing infrastructures.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fokoue, A., Felipe Meneguzzi, M.S., Pan, J.Z.: Querying linked ontological data through distributed summarization. In: Proc. of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012) (2012)

    Google Scholar 

  2. Afrati, F.N., Ullman, J.D.: Optimizing Multiway Joins in a Map-Reduce Environment. IEEE Trans. Knowl. Data Eng. 23(9), 1282–1298 (2011)

    Article  Google Scholar 

  3. Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Trans. Knowl. Data Eng. 19(2), 233–245 (2007)

    Article  Google Scholar 

  4. Antoniou, G., Williams, M.A.: Nonmonotonic reasoning. MIT Press (1997)

    Google Scholar 

  5. Bikakis, A., Antoniou, G.: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(4), 705–716 (2011)

    Article  Google Scholar 

  6. Brass, S., Zukowski, U., Freitag, B.: Transformation-based bottom-up computation of the well-founded model (1997)

    Google Scholar 

  7. Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: Proc. of the 6th Conference on Symposium on Opearting Systems Design & Implementation, vol. 6, p. 10. USENIX Association, Berkeley (2004)

    Google Scholar 

  8. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2), 11 (2011)

    Article  MathSciNet  Google Scholar 

  9. Flouris, G., Konstantinidis, G., Antoniou, G., Christophides, V.: Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1), 153–191 (2013)

    Article  Google Scholar 

  10. Gelfond, M.: Chapter 7 answer sets. In: van Harmelen, V.L., Porter, B. (eds.) Handbook of Knowledge Representation, vol. 3, pp. 285–316 (2008)

    Google Scholar 

  11. Harris, S., Lamb, N., Shadbolt, N.: 4store: The design and implementation of a clustered rdf store. In: 5th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2009) (2009)

    Google Scholar 

  12. Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples. In: Proc. of the 9th International Semantic Web Conference (ISWC 2010) (2010)

    Google Scholar 

  13. Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and Non-monotonic Rules for the Semantic Web. In: ECAI, pp. 474–479 (2012)

    Google Scholar 

  14. Konstantinidis, G., Flouris, G., Antoniou, G., Christophides, V.: A Formal Approach for RDF/S Ontology Evolution. In: ECAI, pp. 70–74 (2008)

    Google Scholar 

  15. Kotoulas, S., van Harmelen, F., Weaver, J.: KR and Reasoning on the Semantic Web: Web-Scale Reasoning (2011)

    Google Scholar 

  16. Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: WWW, pp. 531–540 (2010)

    Google Scholar 

  17. Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., ten Teije, A., van Harmelen, F.: Marvin: Distributed reasoning over large-scale Semantic Web data. J. Web Sem. 7(4), 305–316 (2009)

    Article  Google Scholar 

  18. Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1-2), 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  19. Ross, K.A.: The well-founded semantics for general logic programs. Journal of the ACM 38, 620–650 (1991)

    Article  MATH  Google Scholar 

  20. Roussakis, Y., Flouris, G., Christophides, V.: Declarative Repairing Policies for Curated KBs. In: HDMS (2011)

    Google Scholar 

  21. Salvadores, M., Correndo, G., Harris, S., Gibbins, N., Shadbolt, N.: The design and implementation of minimal RDFS backward reasoning in 4store. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part II. LNCS, vol. 6644, pp. 139–153. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  22. Salvadores, M., Correndo, G., Omitola, T., Gibbins, N., Harris, S., Shadbolt, N.: 4s-reasoner: Rdfs backward chained reasoning support in 4store. In: Web-scale Knowledge Representation, Retrieval, and Reasoning, Web-KR3 (September 2010)

    Google Scholar 

  23. Soma, R., Prasanna, V.K.: Parallel inferencing for owl knowledge bases. In: ICPP, pp. 75–82 (2008)

    Google Scholar 

  24. Tachmazidis, I., Antoniou, G.: Computing the stratified semantics of logic programs over big data through mass parallelization. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 188–202. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  25. Tachmazidis, I., Antoniou, G., Flouris, G., Kotoulas, S.: Towards parallel nonmonotonic reasoning with billions of facts. In: KR (2012)

    Google Scholar 

  26. Tachmazidis, I., Antoniou, G., Flouris, G., Kotoulas, S., McCluskey, L.: Large-scale parallel stratified defeasible reasoning. In: ECAI, pp. 738–743 (2012)

    Google Scholar 

  27. Urbani, J., van Harmelen, F., Schlobach, S., Bal, H.: QueryPIE: Backward reasoning for OWL horst over very large knowledge bases. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 730–745. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  28. Urbani, J., Kotoulas, S., Massen, J., van Harmelen, F., Bal, H.: Webpie: A web-scale parallel inference engine using mapreduce. Web Semantics: Science, Services and Agents on the World Wide Web 10 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Huddersfield, UK

    Grigoris Antoniou & Ilias Tachmazidis

  2. University of Aberdeen, UK

    Jeff Z. Pan

Authors
  1. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jeff Z. Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ilias Tachmazidis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vrije University of Amsterdam, De Boelelaan 1081, 1081, Amsterdam, The Netherlands

    Zhisheng Huang

  2. Faculty of Information and Communication Technologies, Swinburne University of Technology, PO Box 218, 3122, Melbourne, VIC, Australia

    Chengfei Liu

  3. College of Engineering and Science, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Jing He

  4. Centre for Applied Informatics, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Guangyan Huang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Antoniou, G., Pan, J.Z., Tachmazidis, I. (2014). Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. In: Huang, Z., Liu, C., He, J., Huang, G. (eds) Web Information Systems Engineering – WISE 2013 Workshops. WISE 2013. Lecture Notes in Computer Science, vol 8182. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54370-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54370-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54369-2

  • Online ISBN: 978-3-642-54370-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation