Parallel TBox classification in description logics - First experimental results

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 485-490

  Aslani, Mina ^a   Haarslev, Volker ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; FORMAL LANGUAGES; ONTOLOGY;

DESCRIPTION LOGIC; EXPERIMENTAL EVALUATION; LOW OVERHEAD; MANY-CORE; MULTI-CORES; MULTI-PROCESSORS; OWL ONTOLOGIES; REASONERS; SOUND AND COMPLETE; WEB COMMUNITY;

DATA DESCRIPTION;

EID: 77956055394     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-485     Document Type: Conference Paper

References (17)

1. M. Aslani and V. Haarslev, 'Towards parallel classifcation of TBoxes', in Proceedings of the 2008 InternationalWorkshop on Description Logics (DL-2008), Dresden, Germany, May 13-16, (2008).
2. F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich, 'An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on', Applied Artificial Intelligence. Special Issue on Knowledge Base Management, 4(2), 109-132, (1994).
3. F. Bergmann and J. Quantz, 'Parallelizing description logics', in Proc. of 19th Ann. German Conf. on Artificial Intelligence, LNCS, pp. 137- 148. Springer-Verlag, (1995).
4. B. Cuenca Grau, C. Halaschek-Wiener, and Y. Kazakov, 'History matters: Incremental ontology reasoning using modules', in Proc. of the 6th Int. Semantic Web Conf. (ISWC 2007), Busan, South Korea, Nov. 11-15, (2007).
5. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler, 'A logical framework for modularity of ontologies', in In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), Busan, South Korea, Nov. 11-15, pp. 298-303, (2007).
6. J. Dolby, A. Fokoue, A. Kalyanpur, A. Kershenbaum, L. Ma, E. Schonberg, and K. Srinivas, 'Scalable semantic retrieval through summarization and refinement', in 21st Conf. on Artificial Intelligence (AAAI), pp. 299-304. AAAI Press, (2007).
7. A. Eyal and S. Mcllraith, 'Partition-based logical reasoning for firstorder and propositional theories', Artifical Intelligence, 162(1-2), 49-88, (2005).
8. A. Fokoue, A. Kershenbaum, L. Ma, E. Schonberg, and K. Srinivas, 'The summary Abox: Cutting ontologies down to size', in Proc. of Int. Semantic Web Conf. (ISWC), volume 4273 of LNCS, pp. 343-356. Springer-Verlag, (2006).
9. Y. Guo and J. Heflin, 'A scalable approach for partitioning OWL knowledge bases', in Proc. 2nd Int. Workshop on Scalable Semantic Web Knowledge Base Systems, Athens, USA, pp. 47-60, (2006).
10. V. Haarslev and R. Möller, 'High performance reasoning with very large knowledge bases: A practical case study', in Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, IJCAI-01, Aug. 4-10, Seattle, USA, pp. 161-166. Morgan Kaufmann, (2001).
11. V. Haarslev and R. Möller, 'On the scalability of description logic instance retrieval', Journal of Automated Reasoning, 41(2), 99-142, (2008).
12. V. Haarslev, R. Möller, and A.-Y. Turhan, 'Exploiting pseudo models for TBox and ABox reasoning in expressive description logics', in Proc. of the Int. Joint Conf. on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy, LNCS, pp. 61-75, (June 2001).
13. T. Liebig and F. Müller, 'Parallelizing tableaux-based description logic reasoning', in Proc. of 3rd Int. Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS '07), Vilamoura, Portugal, Nov 27, volume 4806 of LNCS, pp. 1135-1144. Springer-Verlag, (2007).
14. A. Schlicht and H. Stuckenschmidt, 'Distributed resolution for expressive ontology networks', in Web Reasoning and Rule Systems, 3rd Int. Conf. (RR 2009), Chantilly, VA, USA, Oct. 25-26, 2009, pp. 87-101, (2009).
15. H. Shan and J. P. Singh, 'Parallel tree building on a range of shared address space multiprocessors: Algorithms and application performance', in 12th Int. Parallel Processing Symposium (IPPS '98), March 30 - April 3, 1998, Orlando, Florida, USA, pp. 475-484, (1998).
16. R. Shearer and I. Horrocks, 'Exploiting partial information in taxonomy construction', in Proc. of the 8th International Semantic Web Conference (ISWC 2009), (2009).
17. Jacopo Urbani, Spyros Kotoulas, Eyal Oren, and Frank van Harmelen, 'Scalable distributed reasoning using MapReduce', in International Semantic Web Conference, pp. 634-649, (2009).