-
1
-
-
29344465647
-
QUONTO: QUerying ONTOlogies
-
Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QUONTO: QUerying ONTOlogies. In: Proc. of AAAI 2005, pp. 1670-1671 (2005)
-
(2005)
Proc. of AAAI 2005
, pp. 1670-1671
-
-
Acciarri, A.1
Calvanese, D.2
De Giacomo, G.3
Lembo, D.4
Lenzerini, M.5
Palmieri, M.6
Rosati, R.7
-
2
-
-
77957599502
-
Pushing the EL envelope
-
Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI 2005, pp. 364-369 (2005)
-
(2005)
Proc. of IJCAI 2005
, pp. 364-369
-
-
Baader, F.1
Brandt, S.2
Lutz, C.3
-
3
-
-
0003727420
-
-
2nd edn. Cambridge University Press, Cambridge
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
-
(2007)
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
-
4
-
-
70349334135
-
Ontologies and databases: The DL-Lite approach
-
Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. Semantic Technologies for Information Systems. Springer, Heidelberg
-
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. Semantic Technologies for Information Systems. LNCS, vol. 5689, pp. 255-356. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5689
, pp. 255-356
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Poggi, A.5
Rodriguez-Muro, M.6
Rosati, R.7
-
5
-
-
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(3), 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
-
6
-
-
56049103039
-
OWL 2: The next step for OWL
-
Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. J. of Web Semantics 6(4), 309-322 (2008)
-
(2008)
J. of Web Semantics
, vol.6
, Issue.4
, pp. 309-322
-
-
Cuenca Grau, B.1
Horrocks, I.2
Motik, B.3
Parsia, B.4
Patel-Schneider, P.5
Sattler, U.6
-
7
-
-
0002734441
-
Ontobroker: Ontology based access to distributed and semi-structured information
-
Meersman, R., Tari, Z., Stevens, S. (eds.) ch. 20, Kluwer Academic Publishers, Dordrecht
-
Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: Meersman, R., Tari, Z., Stevens, S. (eds.) Database Semantic: Semantic Issues in Multimedia Systems, ch. 20, pp. 351-370. Kluwer Academic Publishers, Dordrecht (1999)
-
(1999)
Database Semantic: Semantic Issues in Multimedia Systems
, pp. 351-370
-
-
Decker, S.1
Erdmann, M.2
Fensel, D.3
Studer, R.4
-
8
-
-
84860548736
-
The even more irresistible SROIQ
-
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of KR 2006, pp. 57-67 (2006)
-
(2006)
Proc. of KR 2006
, pp. 57-67
-
-
Horrocks, I.1
Kutz, O.2
Sattler, U.3
-
9
-
-
84860523368
-
RIQ and SROIQ are harder than SHOIQ
-
Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Proc. of KR 2008, pp. 274-284 (2008)
-
(2008)
Proc. of KR 2008
, pp. 274-284
-
-
Kazakov, Y.1
-
10
-
-
78650500192
-
Enhancing web portals with Ontology-Based Data Access: The case study of South Africa's Accessibility Portal for people with disabilities
-
Keet, C.M., Alberts, R., Gerber, A., Chimamiwa, G.: Enhancing web portals with Ontology-Based Data Access: the case study of South Africa's Accessibility Portal for people with disabilities. In: Proc. of OWLED 2008 (2008)
-
(2008)
Proc. of OWLED 2008
-
-
Keet, C.M.1
Alberts, R.2
Gerber, A.3
Chimamiwa, G.4
-
11
-
-
38349006924
-
Data complexity in the EL family of description logics
-
Krisnadhi, A., Lutz, C.: Data complexity in the EL family of description logics. In: Proc. of LPAR 2007, pp. 333-347 (2007)
-
(2007)
Proc. of LPAR 2007
, pp. 333-347
-
-
Krisnadhi, A.1
Lutz, C.2
-
12
-
-
84880876708
-
Conservative extensions in expressive description logics
-
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453-458 (2007)
-
(2007)
Proc. of IJCAI 2007
, pp. 453-458
-
-
Lutz, C.1
Walther, D.2
Wolter, F.3
-
13
-
-
36348935029
-
Approximating OWL-DL ontologies
-
Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proc. of AAAI 2007, pp. 1434-1439 (2007)
-
(2007)
Proc. of AAAI 2007
, pp. 1434-1439
-
-
Pan, J.Z.1
Thomas, E.2
-
14
-
-
78149265497
-
Completeness guaranteed approximations for OWL-DL query answering
-
CEUR, ceur-ws.org
-
Pan, J.Z., Thomas, E., Zhao, Y.: Completeness guaranteed approximations for OWL-DL query answering. In: Proc. of DL 2009. CEUR, vol. 477 (2009), ceur-ws.org
-
(2009)
Proc. of DL 2009
, vol.477
-
-
Pan, J.Z.1
Thomas, E.2
Zhao, Y.3
-
15
-
-
49949109970
-
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 X, 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
-
16
-
-
77954746808
-
Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé
-
Clark, K., Patel-Schneider, P.F. (eds.)
-
Poggi, A., Rodríguez-Muro, M., Ruzzi, M.: Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of OWLED 2008 DC (2008)
-
(2008)
Proc. of OWLED 2008 DC
-
-
Poggi, A.1
Rodríguez-Muro, M.2
Ruzzi, M.3
-
17
-
-
84889029269
-
Soundness preserving approximation for TBox reasoning
-
Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for TBox reasoning. In: Proc. of AAAI 2010 (2010)
-
(2010)
Proc. of AAAI 2010
-
-
Ren, Y.1
Pan, J.Z.2
Zhao, Y.3
-
18
-
-
0030102186
-
Knowledge compilation and theory approximation
-
Selman, B., Kautz, H.: Knowledge compilation and theory approximation. J. of the ACM 43(2), 193-224 (1996)
-
(1996)
J. of the ACM
, vol.43
, Issue.2
, pp. 193-224
-
-
Selman, B.1
Kautz, H.2
-
19
-
-
57049122846
-
Approximate OWL-reasoning with Screech
-
Calvanese, D., Lausen, G. (eds.) RR 2008. Springer, Heidelberg
-
Tserendorj, T., Rudolph, S., Krötzsch, M., Hitzler, P.: Approximate OWL-reasoning with Screech. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 165-180. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5341
, pp. 165-180
-
-
Tserendorj, T.1
Rudolph, S.2
Krötzsch, M.3
Hitzler, P.4
|