Unchain my εL reasoner

CEUR Workshop Proceedings

Volumn 745, Issue , 2011, Pages 202-212

  Kazakov, Yevgeny ^a   Krotzsch, Markus ^a   Simanik, Frantisek ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY RELATION; CLASSIFICATION PROCEDURE; COMPLEX ROLES; INFERENCE RULES; REASONER; TRANSITIVE CLOSURE;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84865813529     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05). pp. 364-369. Professional Book Center (2005)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL-a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) Proc. 3rd Int. Joint Conf. on Automated Reasoning (IJCAR'06). LNCS, vol. 4130, pp. 287-291. Springer (2006)
3. Delaitre, V., Kazakov, Y.: Classifying ELH ontologies in SQL databases. In: Patel- Schneider, P.F., Hoekstra, R. (eds.) Proc. OWLED 2009 Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 529. CEUR-WS.org (2009)
4. Krotzsch, M.: Efficient rule-based inferencing for OWL EL. In: Walsh [9], to appear
5. Lawley, M.J., Bousquet, C.: Fast classification in Protege: Snorocket as an OWL 2 EL reasoner. In: Taylor, K., Meyer, T., Orgun, M. (eds.) Proc. 6th Australasian Ontology Workshop (IAOA'10). Conferences in Research and Practice in Information Technology, vol. 122, pp. 45-49. Australian Computer Society Inc. (2010)
6. Motik, B., Cuenca Grau, B., Horrocks, I.,Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (27 October 2009), available at http://www.w3.org/TR/owl2-profiles/
7. Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation (27 October 2009), available at http://www.w3.org/TR/owl2-syntax/
8. Siman?ik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Walsh [9], to appear
9. Walsh, T. (ed.): Proc. 22nd Int. Conf. on Artificial Intelligence (IJCAI'11). IJCAI (2011)