-
1
-
-
0003727420
-
-
Cambridge University Press
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
2
-
-
85167627563
-
New expressive languages for ontological query answering
-
Cal, A., Gottlob, G., Pieris, A.: New expressive languages for ontological query answering. In: AAAI (2011)
-
(2011)
AAAI
-
-
Cal, A.1
Gottlob, G.2
Pieris, A.3
-
3
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
-
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(3), 385-429 (2007)
-
(2007)
J. 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
-
-
84868294276
-
Query rewriting for Horn-SHIQ plus rules
-
Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: AAAI (2012)
-
(2012)
AAAI
-
-
Eiter, T.1
Ortiz, M.2
Simkus, M.3
Tran, T.K.4
Xiao, G.5
-
5
-
-
84880569273
-
Towards practical query answering for Horn-SHIQ
-
Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Towards practical query answering for Horn-SHIQ. In: Description Logics (2012)
-
(2012)
Description Logics
-
-
Eiter, T.1
Ortiz, M.2
Simkus, M.3
Tran, T.K.4
Xiao, G.5
-
6
-
-
25144513579
-
LUBM: A benchmark for OWL knowledge base systems
-
Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2-3), 158-182 (2005)
-
(2005)
J. Web Sem
, vol.3
, Issue.2-3
, pp. 158-182
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
7
-
-
84884192065
-
Exponential lower bounds and separation for query rewriting
-
Kikot, S., Kontchakov, R., Podolskii, V.V., Zakharyaschev, M.: Exponential lower bounds and separation for query rewriting. In: ICALP (2). pp. 263-274 (2012)
-
(2012)
ICALP
, Issue.2
, pp. 263-274
-
-
Kikot, S.1
Kontchakov, R.2
Podolskii, V.V.3
Zakharyaschev, M.4
-
8
-
-
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: KR (2010)
-
(2010)
KR
-
-
Kontchakov, R.1
Lutz, C.2
Toman, D.3
Wolter, F.4
Zakharyaschev, M.5
-
9
-
-
78751689814
-
Conjunctive query answering in the description logic EL using a relational database systems
-
Lutz, C., Wolter, F., Toman, D.: Conjunctive query answering in the description logic EL using a relational database systems. In: IJCAI. pp. 2070-2075 (2009)
-
(2009)
IJCAI
, pp. 2070-2075
-
-
Lutz, C.1
Wolter, F.2
Toman, D.3
-
11
-
-
84893393225
-
High performance query answering over DLLite ontologies
-
Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DLLite ontologies. In: KR (2012)
-
(2012)
KR
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
-
12
-
-
84881185192
-
Quest, an OWL 2 QL reasoner for ontologybased data access
-
Rodriguez-Muro, M., Calvanese, D.: Quest, an OWL 2 QL reasoner for ontologybased data access. In: OWLED (2012)
-
(2012)
OWLED
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
-
13
-
-
80051679347
-
Improving query answering over DL-Lite ontologies
-
Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: KR (2010)
-
(2010)
KR
-
-
Rosati, R.1
Almatelli, A.2
-
14
-
-
80051700021
-
Owlgres: A scalable OWL reasoner
-
Stocker, M., Smith, M.: Owlgres: A scalable OWL reasoner. In: OWLED (2008)
-
(2008)
OWLED
-
-
Stocker, M.1
Smith, M.2
-
15
-
-
84893390254
-
A generic querying algorithm for greedy sets of existential rules
-
Thomazo, M., Baget, J.F., Mugnier, M.L., Rudolph, S.: A generic querying algorithm for greedy sets of existential rules. In: KR (2012)
-
(2012)
KR
-
-
Thomazo, M.1
Baget, J.F.2
Mugnier, M.L.3
Rudolph, S.4
|