Exploiting partial information in taxonomy construction

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

Volumn 5823 LNCS, Issue , 2009, Pages 569-584

  Shearer, Rob ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; SEMANTIC WEB;

CLASSIFICATION ALGORITHM; NUMBER OF CLASS; PARTIAL INFORMATION; PROTOTYPICAL IMPLEMENTATION; REASONERS;

CLASSIFICATION (OF INFORMATION);

EID: 78650447563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04930-9_36     Document Type: Conference Paper

References (11)

1. Baader, F., Hollunder, B., Nebel, B., Pro Tlich, H.-J., Franconi, E.: 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, 270-281 (1994).
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003).
3. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364-369 (2005).
4. Daskalakis, C., Karp, R.M., Mossel, E., Riesenfeld, S., Verbin, E.: Sorting and selection in posets. CoRR, abs/0707.1532 (2007).
5. Ellis, G.: Compiled hierarchical retrieval. In: 6th Annual Conceptual GraphsWorkshop, pp. 285-310 (1991).
6. Faigle, U., Turán, G.: Sorting and recognition problems for ordered sets. In: Mehlhorn, K. (ed.) STACS 1985. LNCS, vol. 182, pp. 109-118. Springer, Heidelberg (1984).
7. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Nebel, B. (ed.) Proceedings of Seventeenth International JointŁConference on Artificial Intelligence, IJCAI 2001, pp. 161-166 (2001).
8. Haarslev, V., Möller, R., Turhan, A.-Y.: Exploiting pseudo models for tBox and aBox reasoning in expressive description logics. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 61-75. Springer, Heidelberg (2001).
9. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997).
10. Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics Using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007). (Pubitemid 47545104)
11. Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimising terminological reasoning for expressive description logics. J. of Automated Reasoning (2007).