-
1
-
-
73649143525
-
The DL-Lite family and relations
-
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1-69 (2009)
-
(2009)
J. of Artificial Intelligence Research
, vol.36
, pp. 1-69
-
-
Artale, A.1
Calvanese, D.2
Kontchakov, R.3
Zakharyaschev, M.4
-
2
-
-
0009858375
-
Resolution theorem proving
-
Elsevier, MIT Press
-
Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning (in 2 volumes), vol. 1, pp. 19-99. Elsevier, MIT Press (2001)
-
(2001)
Handbook of Automated Reasoning (In 2 Volumes)
, vol.1
, pp. 19-99
-
-
Bachmair, L.1
Ganzinger, H.2
-
3
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
-
DOI 10.1007/s10817-007-9078-x, Special Issue on Reasoning in Description Logics
-
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39, 385-429 (2007) (Pubitemid 47340922)
-
(2007)
Journal of Automated Reasoning
, vol.39
, Issue.3
, pp. 385-429
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
4
-
-
44449142497
-
Conjunctive query answering for the description logic SHIQ
-
Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research 31, 157-204 (2008) (Pubitemid 351761985)
-
(2008)
Journal of Artificial Intelligence Research
, vol.31
, pp. 157-204
-
-
Glimm, B.1
Horrocks, I.2
Lutz, C.3
Sattler, U.4
-
5
-
-
80051684064
-
The combined approach to query answering in DL-Lite
-
Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Procs. of KR 2010, pp. 247-357 (2010)
-
(2010)
Procs. of KR 2010
, pp. 247-357
-
-
Kontchakov, R.1
Lutz, C.2
Toman, D.3
Wolter, F.4
Zakharyaschev, M.5
-
6
-
-
78650447140
-
Efficient query answering for OWL 2
-
Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009, Springer, Heidelberg
-
Pérez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489-504. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5823
, pp. 489-504
-
-
Pérez-Urbina, H.1
Horrocks, I.2
Motik, B.3
-
7
-
-
67549104757
-
Linking data to ontologies
-
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics 10, 133-173 (2008)
-
(2008)
J. on Data Semantics
, vol.10
, pp. 133-173
-
-
Poggi, A.1
Lembo, D.2
Calvanese, D.3
De Giacomo, G.4
Lenzerini, M.5
Rosati, R.6
-
8
-
-
80051679347
-
Improving query answering over DL-Lite ontologies
-
Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Procs. of KR 2010, pp. 290-300 (2010)
-
(2010)
Procs. of KR 2010
, pp. 290-300
-
-
Rosati, R.1
Almatelli, A.2
-
9
-
-
84885744831
-
Owlgres: A scalable OWL reasoner
-
CEUR-WS.org
-
Stocker, M., Smith, M.: Owlgres: A scalable OWL reasoner. In: Procs. of OWLED 2008. CEUR-WS.org, vol. 432 (2008)
-
(2008)
Procs. of OWLED 2008
, vol.432
-
-
Stocker, M.1
Smith, M.2
|