Approximating description logic classification for semantic Web reasoning

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 318-332

  Groot, Perry ^a   Stuckenschmidt, Heiner ^b   Wache, Holger ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; SEMANTICS;

APPROXIMATE DEDUCTION TECHNIQUES; LOGIC CLASSIFICATION; ONTOLOGY LANGUAGE OWL;

WORLD WIDE WEB;

EID: 26444577569     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431053_22     Document Type: Conference Paper

References (22)

1. Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence 74 (1995) 249-310
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press (2003)
3. Borgida, A., Etherington, D.W.: Hierarchical knowledge bases and efficient disjunctive reasoning. In Brachman, R.J., Levesque, H.J., Reiter, R., eds.: KR'89: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Mateo, California (1989) 33-43
4. Baader, F., Küsters, R., Molitor, R.: Rewriting concepts using terminologies. In Cohn, A.G., Giunchiglia, F., Selman, B., eds.: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), San Francisco, Morgan Kaufman (2000) 297-308
5. Brandt, S., Küsters, R., Turhan, A.Y.: Approximation and difference in description logics. In Fensel, D., Giunchiglia, F., McGuiness, D., Williams, M.A., eds.: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), San Francisco, CA, Morgan Kaufman (2002) 203-214
6. McAllester, D.: Truth maintenance. In: Proceedings of AAAI'90, Morgan Kaufmann (1990) 1109-1116
7. OWL test suite, http://www.w3.org/TR/owl-test/.
8. Donini, F., Hollunder, B., Lenzerini, M., Spaccamela, A.M., Nardi, D., Nutt, W.: The complexity of existential quantification in concept languages. Artificial Intelligence 53 (1992) 309-327
9. Groot, P., ten Teije, A., van Harmelen, F.: Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification. In Dubois, D., Welty, C., Williams, M., eds.: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, BC, Canada, AAAI Press (2004) 399-406
10. ten Teije, A., van Harmelen, F.: Exploiting domain knowledge for approximate diagnosis. In Pollack, M., ed.: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97). Volume 1., Nagoya, Japan, Morgan Kaufmann (1997) 454-459
11. ten Teije, A., van Harmelen, F.: Computing approximate diagnoses by using approximate entailment. In Aiello, G., Doyle, J., eds.: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Boston, Massachusetts, Morgan Kaufman (1996)
12. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), ACM (2003) 48-57
13. Horrocks, I.: The FaCT system. In: Proceedings of the second International Conference on Analytic Tableaux and Related Methods. Volume 1397 of Lecture Notes in Artificial Intelligence., Springer (1998) 307-312
14. Haarslev, V., Möller, R.: Race system description. In: Proceedings of the 1999 Description Logic Workshop (DL'99). CEUR Electronic Workshop Proceedings (1999) 130-132
15. Haarslev, V., Möller, R.: Racer system description. In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001). Volume 2083 of Lecture Notes in Artificial Intelligence., Springer (2001) 701-705
16. Bechhofer, S., Möller, R., Crowther, P.: The dig description logic interface. In: Proceedings of DL2003 International Workshop on Description Logics, Rome (2003)
17. Baker, P., Brass, A., Bechhofer, S., Goble, C., Paton, N., Stevens, R.: TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources. An Overview. In: Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB'98), Menlow Park, California, AAAI Press (1998) 25-34
18. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. Wonder-Web Deliverable D18. Laboratory For Applied Ontology - ISTC-CNR. (20003)
19. Rector, A.L., Nowlan, W.A., Glowinski, A.: Goals for concept representation in the galen project. In: Proceedings of the Seventeenth Annual Symposium on Computer Applications in Medical Care (SCAMC-93), Washington DC, USA (1993) 414-418
20. Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and owl. In: To appear in Proceedings 3rd Int'l Conference on Mathematical Knowledge Management (MKM'04). Volume 3119 of Lecture Notes in Computer Science., Springer-Verlag (2004)
21. Bechhofer, S.: OWL Reasoning Examples. University of Manchester (2003) http://owl.man.ac.uk/2003/why/latest/.
22. Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: National conference on artificial intelligence (AAAI 2000). (2000) 399-404