Optimising ontology classification

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

Volumn 6496 LNCS, Issue PART 1, 2010, Pages 225-240

  Glimm, Birte ^a   Horrocks, Ian ^a   Motik, Boris ^a   Stoilos, Giorgos ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; SEMANTIC WEB;

CLASSIFICATION PROCEDURE; ONTOLOGY LANGUAGE; OPTIMISATIONS; ORIGINAL ALGORITHMS; PROPERTY CLASSIFICATION; REASONER; REASONERS;

ONTOLOGY;

EID: 78650902244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17746-0_15     Document Type: Conference Paper

References (9)

1. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems, or making kris get a move on. In: KR, pp. 270-281 (1992)
2. Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: Experience and perspectives. Web Semantics 4(3), 181-195 (2006) (Pubitemid 44331734)
3. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI, pp. 161-168 (2001)
4. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. KR 2006, pp. 57-67 (2006)
5. Motik, B., Horrocks, I.: OWL datatypes: Design and implementation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 307-322. Springer, Heidelberg (2008)
6. Motik, B., Patel-Schneider, P.F., Cuenca Grau, B.: OWL 2 web ontology language direct semantics. W3C Recommendation (2009), http://www.w3.org/TR/owl2- direct-semantics/
7. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 web ontology language structural specification and functional-style syntax. W3C Recommendation (2009), http://www.w3.org/TR/owl2-syntax/
8. Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research 36, 165-228 (2009)
9. Shearer, R., Horrocks, I.: Exploiting partial information in taxonomy construction. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 569-584. Springer, Heidelberg (2009)