Parallel computation techniques for ontology reasoning

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

Volumn 5318 LNCS, Issue , 2008, Pages 901-906

  Bock, Jürgen ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; PARALLEL ARCHITECTURES;

ONTOLOGY REASONINGS; PARALLEL COMPUTATION; PARALLEL PROCESSING; PARALLELISATION; REASONING ALGORITHMS; REASONING TECHNIQUES; RESEARCH PROBLEMS;

SEMANTIC WEB;

EID: 57349190212     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88564-1_60     Document Type: Conference Paper

References (16)

1. Fensel, D., van Harmelen, F.: Unifying Reasoning and Search to Web Scale. IEEE Internet Computing 11(2), 94-96 (2007)
2. Bergmann, F.W., Quantz, J.J.: Parallelizing Description Logics. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI 1995. LNCS, vol. 981. Springer, Heidelberg (1995)
3. Quantz, J.J., Dunker, G., Bergmann, F., Keller, I.: The FLEX System. Technical Report 124, Technische Universität Berlin, Berlin (December 1995)
4. Liebig, T., Müller, F.: Parallelizing Tableaux-Based Description Logic Reasoning. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS. vol. 4806, pp. 1135-1144. Springer, Heidelberg (2007)
5. Gupta, G., Pontelli, E., Ali, K.A., Carlsson, M., Hermenegildo, M.V.: Parallel Execution of Prolog Programs: A Survey. ACM Trans. Program. Lang. Syst. 23(4), 472-602 (2001)
6. Stuckenschmidt, H., Klein, M.C.A.: Structure-Based Partitioning of Large Concept Hierarchies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 289-303. Springer, Heidelberg (2004)
7. Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularizing OWL Ontologies. In: Proceedings of the KCAP-2005 Workshop on Ontology Management. ACM, New York (2005)
8. Doran, P., Tamma, V.A.M., Iannone, L.: Ontology Module Extraction for Ontology Reuse: An Ontology Engineering Perspective. In: Proceedings of the 16th CIKM. ACM, New York (2007)
9. Cuenca Grau, B., Parsia, B., Sirin, E.: Tableau algorithms for ε-connections of Description Logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS) (2004)
10. MacCartney. B., McIlraith, S.A., Amir, E., Uribe, T.E.: Practical Partition-Based Theorem Proving for Large Knowledge Bases. In: Proceedings of the 18th IJCAI. Morgan Kaufmann, San Francisco (2003)
11. Schlicht, A., Stuckenschmidt, H.: Distributed Resolution for ALC In: Proceedings of DL2008. CEUR Workshop Proceedings, vol. 353 (May 2008)
12. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL -A Polynomial-time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130. Springer, Heidelberg (2006)
13. Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying Ontologies. In: Proceedings of the 20th AAAI. AAAI Press, Menlo Park (2005)
14. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D thesis, University of Manchester (1997)
15. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D thesis, Universität Karlsruhe (TH), Institut AIFB, Karlsruhe, Germany (2006)
16. Bock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL Reasoners. In: Proceedings of the ARea2008 Workshop. CEUR Workshop Proceedings, vol. 350 (June 2008)