Approximate OWL-reasoning with screech

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

Volumn 5341 LNCS, Issue , 2008, Pages 165-180

  Tserendorj, Tuvshintur ^a   Rudolph, Sebastian ^b   Krötzsch, Markus ^b   Hitzler, Pascal ^b  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; ONTOLOGY;

APPROXIMATE REASONING; DATA COMPLEXITY; DATA VOLUME; EXPRESSIVE ONTOLOGIES; ONTOLOGY REASONINGS; OWL ONTOLOGIES; REASONING PROCESS; STATE OF THE ART;

BIRDS;

EID: 57049122846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_13     Document Type: Conference Paper

References (23)

1. McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (2004), http://www.w3.org/TR/owl-features/
2. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proc. of WWW 2003, Budapest, Hungary, May 2003, pp. 48-57. ACM, New York (2003)
3. Volz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, Institute AIFB, University of Karlsruhe (2004)
4. Krötzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Athens, Georgia, pp. 17-26. IEEE Computer Society, Los Alamitos (2006)
5. Krötzsch, M., Rudolph, S., Hitzler, P.: Description Logic Rules. In: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008). IOS Press, Amsterdam (to appear, 2008)
6. Krötzsch, M., Rudolph, S., Hitzler, P.: Elp: Tractable rules for OWL 2. In: Proceedings of the 7th International Semantic Web Conference (ISWC 2008) (to appear, 2008)
7. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, pp. 466-471 (2005)
8. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (2006)
9. Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246. Springer, Heidelberg (2006)
10. Hitzler, P., Vrandecic, D.: Resolution-based approximate reasoning for OWL DL. In: Gil, Y., et al. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 383-397. Springer, Heidelberg (2005)
11. Rudolph, S., Krötzsch, M., Hitzler, P., Sintek, M., Vrandecic, D.: Efficient OWL reasoning with logic programs - evaluations. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 370-373. Springer, Heidelberg (2007)
12. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42, 741-843 (1995)
13. Fensel, D., Harmelen, F.V.: Unifying reasoning and search to web scale. IEEE Internet Computing 11, 94-96 (2007)
14. Stuckenschmidt, H., van Harmelen, F.: Approximating terminological queries. In: Larsen, H., et al. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522. Springer, Heidelberg (2002)
15. Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proceedings of the International Workshop on Description Logics, DL 2004, Whistler, Canada, pp. 31-40 (2004)
16. Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 318-332. Springer, Heidelberg (2005)
17. Wache, H., Groot, P., Stuckenschmidt, H.: Scalable instance retrieval for the semantic web by approximation. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol. 3807, pp. 245-254. Springer, Heidelberg (2005)
18. Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1434-1439. AAAI Press, Menlo Park (2007)
19. Stuckenschmidt, H.: Partial matchmaking using approximate subsumption. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1459-1464. AAAI Press, Menlo Park (2007)
20. Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning 13, 145-172 (1994)
21. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42, 741-843 (1995)
22. Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 29-50. Springer, Heidelberg (2004)
23. Selman, B., Kautz, H.A.: Knowledge compilation using horn approximations. In: Proc. 9th National Conference on Artificial Intelligence (AAAI 1991), pp. 904-909 (1991)