Concurrent classification of ℰℒ Ontologies

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

Volumn 7031 LNCS, Issue PART 1, 2011, Pages 305-320

  Kazakov, Yevgeny ^a   Krötzsch, Markus ^a   Simančík, František ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT COMPUTATION; FIRST-ORDER; LIGHT WEIGHT; LOCK-FREE DATA STRUCTURES; MEDICAL ONTOLOGY; MULTI-CORE SYSTEMS; MULTIPLE PROCESSORS; REASONER; SATURATION ALGORITHMS;

DATA STRUCTURES; MICROPROCESSOR CHIPS; SEMANTIC WEB; SEMANTICS; THEOREM PROVING; USER INTERFACES;

ONTOLOGY;

EID: 80055035849     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25073-6_20     Document Type: Conference Paper

References (22)

1. Aslani, M., Haarslev, V.: Parallel TBox classification in description logics - first experimental results. In: Proc. 19th European Conf. on Artificial Intelligence (ECAI 2010), pp. 485-490. IOS Press (2010)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the ℰℒ envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364-369. Professional Book Center (2005)
3. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning, pp. 19-99. Elsevier and MIT Press (2001)
4. Bergmann, F.W., Quantz, J.: Parallelizing Description Logics. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI 1995. LNCS, vol. 981, pp. 137-148. Springer, Heidelberg (1995)
5. Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the Web. Int. J. of Semantic Web Inf. Syst. 5(2), 49-90 (2009)
6. 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)
7. Kazakov, Y.: Consequence-driven reasoning for Horn script S ℋℐscript Q ontologies. In: Proc. 21st Int. Conf. on Artificial Intelligence (IJCAI 2009), pp. 2040-2045. IJCAI (2009)
8. Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent classification of ℰℒ ontologies. Tech. rep., University of Oxford (2011), http://code.google.com/p/elk-reasoner/wiki/Publications
9. Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Proc. 19th Int. Conf. on World Wide Web (WWW 2010), pp. 531-540. ACM (2010)
10. Lawley, M.J., Bousquet, C.: Fast classification in Protégé: Snorocket as an OWL 2 EL reasoner. In: Proc. 6th Australasian Ontology Workshop (IAOA 2010). Conferences in Research and Practice in Information Technology, vol. 122, pp. 45-49. Australian Computer Society Inc. (2010)
11. Liebig, T., Müller, F.: Parallelizing Tableaux-Based Description Logic Reasoning. In: Chung, S., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol. 4806, pp. 1135-1144. Springer, Heidelberg (2007)
12. Meissner, A.: Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic. Int. J. of Applied Mathematics and Computer Science 21(1), 83-95 (2011)
13. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-profiles/
14. +. In: Proc. 23rd Int. Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings, vol. 573, pp. 464-474. CEUR-WS.org (2010)
15. Schlicht, A., Stuckenschmidt, H.: Distributed Resolution for Expressive Ontology Retworks. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 87-101. Springer, Heidelberg (2009)
16. Simančík, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Proc. 22nd Int. Conf. on Artificial Intelligence (IJCAI 2011), pp. 1093-1098. AAAI Press/IJCAI (2011)
17. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWLDL reasoner. J. of Web Semantics 5(2), 51-53 (2007)
18. Soma,R.,Prasanna,V.K.: Parallel inferencing for OWL knowledge bases. In: Proc. Int. Conf. on Parallel Processing (ICPP 2008), pp. 75-82. IEEE Computer Society (2008)
19. 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) (Pubitemid 44532682)
20. Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: WebPIE: a Webscale parallel inference engine using MapReduce. J. of Web Semantics (in press, 2011), (accepted manuscript, preprint), http://www.cs.vu.nl/~frankh/ postscript/JWS11.pdf
21. 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)
22. 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)