Parallel ABox reasoning of ε L ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7185 LNCS, Issue , 2012, Pages 17-32

  Ren, Yuan ^a   Pan, Jeff Z ^a   Lee, Kevin ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN OF ALGORITHMS; DISJOINTNESS; PARALLELISATION; REASONING ALGORITHMS; REASONING SYSTEM; RESOURCE COSTS; SEMANTIC WEB , ONTOLOGY;

ALGORITHMS; SEMANTIC WEB;

COMPUTATIONAL EFFICIENCY;

EID: 84862229187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29923-0_2     Document Type: Conference Paper

References (19)

1. Aslani, M., Haarslev, V.: Parallel tbox classification in description logics - first experimental results. In: Proceeding of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 485-490. IOS Press, Amsterdam (2010)
2. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153-184. Springer, Heidelberg (2003)
3. Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51, 107-113 (2008)
4. Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: Saor: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P.,Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 337-353. Springer, Heidelberg (2010)
5. Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent Classification of EL Ontologies. 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. 305-320. Springer, Heidelberg (2011)
6. Liebig, T.,Müller, F.: Parallelizing Tableaux-Based Description Logic Reasoning. In:Meersman, R., Tari, Z. (eds.) OTM-WS 2007, Part II. LNCS, vol. 4806, pp. 1135-1144. Springer, Heidelberg (2007)
7. Maier, R.M.F., Hitzler, P.: A mapreduce algorithm for el+. In: Proc. of InternationalWorshop of Description Logic (DL 2010) (2010)
8. Meissner, A.: Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic. Applied Mathematics and Computer Science 21(1), 83-95 (2011)
9. Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., ten Teije, A., van Harmelen, F.: Marvin: Distributed reasoning over large-scale semantic web data. Web Semant. 7, 305-316 (2009)
10. Schlicht,A., Stuckenschmidt, H.:Distributed resolution for alc. In: Description LogicsWorkshop (2008)
11. Schlicht, A., Stuckenschmidt, H.: Distributed Resolution for Expressive Ontology Networks. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 87-101. Springer, Heidelberg (2009)
12. Serafini, L., Tamilin, A.: DRAGO: Distributed Reasoning Architecture for the Semantic Web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361-376. Springer, Heidelberg (2005) (Pubitemid 41422076)
13. Soma, R., Prasanna, V.K.: Parallel inferencing for owl knowledge bases. In: Proceedings of the 2008 37th International Conference on Parallel Processing, ICPP 2008, pp. 75-82. IEEE Computer Society, Washington, DC, USA (2008)
14. Stoilos, G., Grau, B.C., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proc. of AAAI 2010, pp. 1431-1436. AAAI Publications (2010)
15. ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Sem. 3(2-3), 79-115 (2005)
16. Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: Owl Reasoning withWebpie: Calculating the Closure of 100 Billion Triples. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 213-227. Springer, Heidelberg (2010)
17. Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable Distributed Reasoning using Mapreduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 634-649. Springer, Heidelberg (2009)
18. Weaver, J., Hendler, J.A.: Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D.,Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 682-697. Springer, Heidelberg (2009)
19. Wu, G., Qi, G., Du, J.: Finding all justifications of owl entailments using tms and mapreducec. In: The ACM Conference on Information and Knowledge Management (2011)