Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Tachmazidis, Ilias
Languages: English
Types: Doctoral thesis
Subjects: Q1, T1
Due to the recent explosion of available data coming from the Web, sensor readings, social media, government authorities and scientific databases, both academia and industry have increased their interest in utilizing this knowledge. Processing huge amounts of data introduces several scientific and technological challenges, and creates new opportunities. Existing works on large-scale reasoning through mass parallelization (namely parallelization based on utilizing a large number of processing units) concentrated on monotonic reasoning, which can process only consistent datasets. The question arises whether and how mass parallelization can be applied to reasoning with huge amounts of imperfect (e.g. inconsistent, incomplete) information. Potential scenarios involving such imperfect data and knowledge include ontology evolution, ontology repair and smart city applications combining a variety of heterogeneous data sources. In this thesis, we overcome the limitations of monotonic reasoning, by studying several nonmonotonic logics that have the ability to handle imperfect knowledge, and it is shown that large-scale reasoning is indeed achievable for such complex knowledge structures. This work is mainly focused on adapting existing methods, thus ensuring that the proposed solutions are parallel and scalable. Initially, preliminaries and literature review are presented in order to introduce the reader to basic background and the state-of-the-art considering large-scale reasoning. Subsequently, each chapter presents an approach for large-scale reasoning over a given logic. Large-scale reasoning over defeasible logic is supported allowing conflict resolution by prioritizing the superiority among rules in the rule set. A solution for stratified semantics is presented where rules may contain both positive and negative subgoals, thus allowing reasoning over missing information in a given dataset. The approach for stratified semantics is generalized in order to fully support the well-founded semantics, where recursion through negation is allowed. Finally, conclusion includes observations from a preliminary investigation on a restricted form of answer set programming, a generic evaluation framework for large-scale reasoning, a discussion of the main findings of this work, and opportunities for future work.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [2] J. Du, G. Qi, J. Z. Pan, and Y. Shen, A decomposition-based approach to OWL DL ontology diagnosis, in IEEE 23rd International Conference on Tools with Articial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. IEEE Computer Society, 2011, pp. 659664. [Online]. Available: http://dx.doi.org/10.1109/ICTAI.2011.104
    • [3] G. Flouris, G. Konstantinidis, G. Antoniou, and V. Christophides, Formal foundations for RDF/S KB evolution, Knowl. Inf. Syst. , vol. 35, no. 1, pp. 153191, 2013.
    • [4] Y. Roussakis, G. Flouris, and V. Christophides, Declarative Repairing Policies for Curated KBs, in HDMS, 2011.
    • [11] M. J. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller, Ecient Defeasible Reasoning Systems, IJAIT, vol. 10, p. 2001, 2001.
    • [12] I. Tachmazidis, G. Antoniou, G. Flouris, and S. Kotoulas, Towards parallel nonmonotonic reasoning with billions of facts, in KR, G. Brewka, T. Eiter, and S. A. McIlraith, Eds. AAAI Press, 2012.
    • [13] I. Tachmazidis, G. Antoniou, G. Flouris, S. Kotoulas, and L. McCluskey, Large-scale Parallel Stratied Defeasible Reasoning, in ECAI, ser. Frontiers in Articial Intelligence and Applications, L. D. Raedt, C. BessiŁre, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, and P. J. F. Lucas, Eds., vol. 242. IOS Press, 2012, pp. 738743.
    • [14] I. Tachmazidis, G. Antoniou, G. Flouris, and S. Kotoulas, Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce, in SSWS+HPCSW, 2012.
    • [15] I. Tachmazidis and G. Antoniou, Computing the Stratied Semantics of Logic Programs over Big Data through Mass Parallelization, in RuleML, ser. Lecture Notes in Computer Science, L. Morgenstern, P. S. Stefaneas, F. LØvy, A. Wyner, and A. Paschke, Eds., vol. 8035. Springer, 2013, pp. 188202.
    • [16] I. Tachmazidis, G. Antoniou, and W. Faber, Ecient computation of the well-founded semantics over big data, TPLP, vol. 14, no. 4-5, pp. 445459, 2014. [Online]. Available: http://dx.doi.org/10.1017/S1471068414000131
    • [17] I. Tachmazidis, L. Cheng, S. Kotoulas, G. Antoniou, and T. E. Ward, Massively parallel reasoning under the well-founded semantics using X10, in 26th IEEE International Conference on Tools with Articial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 . IEEE Computer Society, 2014, pp. 162169. [Online]. Available: http://dx.doi.org/10.1109/ICTAI.2014.33
    • [18] P. Charles, C. Grotho, V. A. Saraswat, C. Donawa, A. Kielstra, K. Ebcioglu, C. von Praun, and V. Sarkar, X10: an object-oriented approach to non-uniform cluster computing, in OOPSLA, 2005, pp. 519538.
    • [20] G. Antoniou, J. Z. Pan, and I. Tachmazidis, Large-scale complex reasoning with semantics: Approaches and challenges, in Web Information Systems Engineering - WISE 2013 Workshops - WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers , ser. Lecture Notes in Computer Science, Z. Huang, C. Liu, J. He, and G. Huang, Eds., vol. 8182. Springer, 2013, pp. 110. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-54370-8_1
    • [21] F. Baader, I. Horrocks, and U. Sattler, Description Logics, in Handbook of Knowledge Representation , F. van Harmelen, V. Lifschitz, and B. Porter, Eds. Elsevier, 2008, ch. 3, pp. 135180. [Online]. Available: download/2007/BaHS07a.pdf
    • [22] S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases . 1995.
    • [43] R. Soma and V. K. Prasanna, Parallel Inferencing for OWL Knowledge Bases, in Proceedings of the 2008 37th International Conference on Parallel Processing , ser. ICPP '08. Washington, DC, USA: IEEE Computer Society, 2008, pp. 7582.
    • [44] J. Urbani, S. Kotoulas, E. Oren, and F. van Harmelen, Scalable Distributed Reasoning Using MapReduce, in ISWC, ser. Lecture Notes in Computer Science, A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, and K. Thirunarayan, Eds., vol. 5823. Springer, 2009, pp. 634649.
    • [45] J. Urbani, S. Kotoulas, J. Maassen, N. Drost, F. Seinstra, F. Van Harmelen, and H. Bal, WebPIE: a Web-scale Parallel Inference Engine.
    • [46] J. Urbani, S. Kotoulas, J. Maassen, F. van Harmelen, and H. E. Bal, WebPIE: A Web-scale Parallel Inference Engine using MapReduce, J. Web Sem., vol. 10, pp. 5975, 2012.
    • [47] , OWL reasoning with WebPIE: Calculating the Closure of 100 Billion Triples, in The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I , ser. Lecture Notes in Computer Science, L. Aroyo, G. Antoniou, E. Hyvnen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache, Eds., vol. 6088. Springer, 2010, pp. 213227. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-13486-9_15
    • [48] A. Hogan, J. Z. Pan, A. Polleres, and S. Decker, SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples, in The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I , ser. Lecture Notes in Computer Science, P. F. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Z. Pan, I. Horrocks, and B. Glimm, Eds., vol. 6496. Springer, 2010, pp. 337353. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-17746-0_22
    • [49] K. Wu and V. Haarslev, A Parallel Reasoner for the Description Logic ALC, in Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 , ser. CEUR Workshop Proceedings, vol. 846. CEUR-WS.org, 2012.
    • [50] T. Liebig and F. Mller, Parallelizing tableaux-based description logic reasoning, in On the Move to Meaningful Internet Systems 2007: OTM 2007 , ser. Lecture Notes in Computer Science, R. Meersman, Z. Tari, and P. Herrero, Eds., vol. 4806. Springer, 2007, pp. 11351144.
    • [51] T. Liebig, A. Steigmiller, and O. Noppens, Scalability via Parallelization of OWL Reasoning, in Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010) , 2010.
    • [52] A. Schlicht and H. Stuckenschmidt, MapResolve, in Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011 , ser. Lecture Notes in Computer Science, vol. 6902. Springer, 2011, pp. 294299.
    • [53] Y. Ren, J. Z. Pan, and K. Lee, Optimising parallel abox reasoning of EL ontologies, in Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 , ser. CEUR Workshop Proceedings, Y. Kazakov, D. Lembo, and F. Wolter, Eds., vol. 846. CEUR-WS.org, 2012. [Online]. Available: http://ceur-ws.org/Vol-846/paper_61.pdf
    • [54] A. Fokoue, F. Meneguzzi, M. Sensoy, and J. Z. Pan, Querying linked ontological data through distributed summarization, in Proceedings of the Twenty-Sixth AAAI Conference on Articial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., J. Homann and B. Selman, Eds. AAAI Press, 2012. [Online]. Available: http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5110
    • [64] F. N. Afrati and J. D. Ullman, Optimizing joins in a map-reduce environment, in EDBT, 2010, pp. 99110.
    • [65] S. Liang, P. Fodor, H. Wan, and M. Kifer, Openrulebench: an analysis of the performance of rule engines, in Proceedings of the 18th international conference on World wide web, ser. WWW '09. New York, NY, USA: ACM, 2009, pp. 601610. [Online]. Available: http://doi.acm.org/10.1145/1526709.1526790
    • [66] J. Nickolls and W. J. Dally, The GPU computing era, IEEE Micro, vol. 30, no. 2, pp. 5669, 2010. [Online]. Available: http://doi.ieeecomputersociety.org/10.1109/ MM.2010.41
    • [67] L. D. Raedt, C. BessiŁre, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, and P. J. F. Lucas, Eds., ECAI 2012 - 20th European Conference on Articial Intelligence. Including Prestigious Applications of Articial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 , ser. Frontiers in Articial Intelligence and Applications, vol. 242. IOS Press, 2012.
    • [68] A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, and K. Thirunarayan, Eds., The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings , ser. Lecture Notes in Computer Science, vol. 5823. Springer, 2009.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article