Databases Reference
In-Depth Information
30. Calvanese, D., De Giacomo, G., Rodriguez-Muro, M.: Integrating data into ontologies.
Part of the ISWC 2008 tutorial 'Reasoning for Ontology Engineering and Usage' (2008),
31. Calvanese, D., Giacomo, G.D.: Expressive description logics. In: [5], ch. 5, pp. 178-218.
Cambridge University Press (2003)
32. Calvanese, D., Zakharyaschev, M.: Answering queries in description logics: Theory and
applications to data management. Course held at ESSLLI 2010 (2010),
33. Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.,
Stein, L.A.: DAML+OIL reference description. W3C Note (March 2001),
34. Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genet-
ics 25, 25-29 (2000)
35. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory
and practice. Journal of Artificial Intelligence Research 31, 273-318 (2008)
36. Donini, F.M.: Complexity of reasoning. In: [5], ch. 3, pp. 96-136. Cambridge University
Press (2003)
37. Donini, F.M., Colucci, S., Di Noia, T., Di Sciascio, E.: A tableaux-based method for com-
puting least common subsumers for expressive description logics. In: Proc. of the Twenty-
First International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 739-745.
AAAI (July 2009)
38. Eiter, T., Lutz, C., Ortiz, M., Simkus, M.: Query answering in description logics with tran-
sitive roles. In: Proceedings of the 21st International Joint Conference on Artificial Intelli-
gence (IJCAI 2009). AAAI Press (2009)
39. Fitting, M.: Basic modal logic. In: Handbook of Logic in Artificial Intelligence and Logic
Programming, vol. 1, pp. 365-448. Oxford Science Publications (1993)
40. Franconi, E.: Description logics - tutorial course information (2002),
41. Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crub´ezy,M.,Eriksson,H.,Noy,N.,Tu,
S.: The evolution of
PROT EGE
-2000: An environment for knowledge-based system devel-
opment. International Journal of Human-Computer Studies 58, 89-123 (2003)
42. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative ex-
tensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. of the
10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006),
pp. 187-197. AAAI Press (2006)
43. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the descrip-
tion logic
SHIQ
. In: Veloso, M.M. (ed.) Proc. of the 20th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2007), Hyderabad, India, pp. 399-404 (2007)
44. Hitzler, P., Krotzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontol-
ogy Language: Primer (October 27, 2009),
45. Horrcks, I., Sattler, U.: Logical foundations for the semantic web. Slides of the ESSLI 2003
46. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth,
A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.)
ISWC 2008. LNCS, vol. 5318, pp. 323-338. Springer, Heidelberg (2008)
