-
1
-
-
33750697756
-
Quonto: Querying ontologies
-
Acciarri, A.; Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; Palmieri, M.; and Rosati, R. 2005. Quonto: Querying ontologies. In Proc. of AAAI-05.
-
(2005)
Proc. of AAAI-05
-
-
Acciarri, A.1
Calvanese, D.2
Giacomo, G. D.3
Lembo, D.4
Lenzerini, M.5
Palmieri, M.6
Rosati, R.7
-
2
-
-
0003727420
-
-
Cambridge Uni. Press
-
Baader, F.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. 2002. The Description Logic Handbook: Theory, implementation and applications. Cambridge Uni. Press.
-
(2002)
The Description Logic Handbook: Theory, implementation and applications
-
-
Baader, F.1
McGuinness, D.2
Nardi, D.3
Patel-Schneider, P.4
-
3
-
-
79955095848
-
On rules with existential variables: Walking the decidability line
-
Baget, J.-F.; Leclère, M.; Mugnier, M.-L.; and Salvat, E. 2011. On rules with existential variables: Walking the decidability line. Artificial Intelligence 175(9-10):1620-1654.
-
(2011)
Artificial Intelligence
, vol.175
, Issue.9-10
, pp. 1620-1654
-
-
Baget, J.-F.1
Leclère, M.2
Mugnier, M.-L.3
Salvat, E.4
-
4
-
-
78449294986
-
Datalog+/-: A family of logical knowledge representation and query languages for new applications
-
Calì, A.; Gottlob, G.; Lukasiewicz, T.; Marnette, B.; and Pieris, A. 2010. Datalog+/-: A family of logical knowledge representation and query languages for new applications. In Proc. of LICS, 228-242.
-
(2010)
Proc. of LICS
, pp. 228-242
-
-
Calì, A.1
Gottlob, G.2
Lukasiewicz, T.3
Marnette, B.4
Pieris, A.5
-
5
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
-
Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
-
(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
-
7
-
-
84881039944
-
What to ask to an incomplete semantic web reasoner?
-
AAAI Press
-
Cuenca Grau, B., and Stoilos, G. 2011. What to ask to an incomplete semantic web reasoner? In Proc. of IJCAI 2011, 2226-2231. AAAI Press.
-
(2011)
Proc. of IJCAI 2011
, pp. 2226-2231
-
-
Cuenca Grau, B.1
Stoilos, G.2
-
9
-
-
18144386595
-
Data exchange: semantics and query answering
-
Fagin, R.; Kolaitis, P. G.; Miller, R. J.; and Popa, L. 2005. Data exchange: semantics and query answering. Theoretical Computer Science 336(1):89-124.
-
(2005)
Theoretical Computer Science
, vol.336
, Issue.1
, pp. 89-124
-
-
Fagin, R.1
Kolaitis, P. G.2
Miller, R. J.3
Popa, L.4
-
12
-
-
25144513579
-
LUBM: A Benchmark for OWL Knowledge Base Systems
-
Guo, Y.; Pan, Z.; and Heflin, J. 2005. LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2):158-182.
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.2
, pp. 158-182
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
13
-
-
78751689814
-
Conjunctive query answering in the description logic EL using a relational database system
-
Lutz, C.; Toman, D.; and Wolter, F. 2009. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of IJCAI-09.
-
(2009)
Proc. of IJCAI-09
-
-
Lutz, C.1
Toman, D.2
Wolter, F.3
-
14
-
-
33746103250
-
Towards a complete OWL ontology benchmark
-
Ma, L.; Yang, Y.; Qiu, Z.; Xie, G. T.; Pan, Y.; and Liu, S. 2006. Towards a complete OWL ontology benchmark. In Proc. of ESWC, 125-139.
-
(2006)
Proc. of ESWC
, pp. 125-139
-
-
Ma, L.1
Yang, Y.2
Qiu, Z.3
Xie, G. T.4
Pan, Y.5
Liu, S.6
-
15
-
-
70350657109
-
Generalized schema-mappings: from termination to tractability
-
Marnette, B. 2009. Generalized schema-mappings: from termination to tractability. In Proc. PODS, 13-22.
-
(2009)
Proc. PODS
, pp. 13-22
-
-
Marnette, B.1
-
16
-
-
73649104640
-
-
W3C Recommendation
-
Motik, B.; Cuenca Grau, B.; Horrocks, I.; Wu, Z.; Fokoue, A.; and Lutz, C. 2009. OWL 2 Web Ontology Language Profiles. W3C Recommendation.
-
(2009)
OWL 2 Web Ontology Language Profiles
-
-
Motik, B.1
Cuenca Grau, B.2
Horrocks, I.3
Wu, Z.4
Fokoue, A.5
Lutz, C.6
-
18
-
-
36349006589
-
Characterizing data complexity for conjunctive query answering in expressive description logics
-
Ortiz, M.; Calvanese, D.; and Eiter, T. 2006. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of AAAI-06.
-
(2006)
Proc. of AAAI-06
-
-
Ortiz, M.1
Calvanese, D.2
Eiter, T.3
-
20
-
-
77549087969
-
Tractable query answering and rewriting under description logic constraints
-
Pérez-Urbina, H.; Motik, B.; and Horrocks, I. 2010. Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic 8(2):186-209.
-
(2010)
Journal of Applied Logic
, vol.8
, Issue.2
, pp. 186-209
-
-
Pérez-Urbina, H.1
Motik, B.2
Horrocks, I.3
-
21
-
-
67549104757
-
Linking data to ontologies
-
Poggi, A.; Lembo, D.; Calvanese, D.; Giacomo, G. D.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. Data Semantics 10:133-173.
-
(2008)
J. Data Semantics
, vol.10
, pp. 133-173
-
-
Poggi, A.1
Lembo, D.2
Calvanese, D.3
Giacomo, G. D.4
Lenzerini, M.5
Rosati, R.6
-
22
-
-
84885910857
-
Improving query answering over DL-Lite ontologies
-
Rosati, R., and Almatelli, A. 2010. Improving query answering over DL-Lite ontologies. In Proc. of KR-10.
-
(2010)
Proc. of KR-10
-
-
Rosati, R.1
Almatelli, A.2
-
23
-
-
34249817069
-
Pellet: A practical OWL DL reasoner
-
Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; and Katz, Y. 2007. Pellet: A practical OWL DL reasoner. J. Web Semantics 5(2):51-53.
-
(2007)
J. Web Semantics
, vol.5
, Issue.2
, pp. 51-53
-
-
Sirin, E.1
Parsia, B.2
Grau, B. C.3
Kalyanpur, A.4
Katz, Y.5
|