-
1
-
-
26844576753
-
Provable data privacy
-
Andersen, K.V., Debenham, J., Wagner, R. (eds.) . DEXA 2005. Springer, Heidelberg
-
Stoffel, K., Studer, T.: Provable Data Privacy. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol.3588, pp. 324-332. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3588
, pp. 324-332
-
-
Stoffel, K.1
Studer, T.2
-
2
-
-
38049174644
-
A formal model of data privacy
-
Virbitskaite, I., Voronkov, A. (eds.) . PSI 2006. Springer, Heidelberg
-
Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.4378, pp. 400-408. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4378
, pp. 400-408
-
-
Stouppa, P.1
Studer, T.2
-
3
-
-
34548324668
-
A tableau decision procedure for SHOIQ
-
Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. J. Autom. Reason. 39(3), 249-276 (2007)
-
(2007)
J. Autom. Reason.
, vol.39
, Issue.3
, pp. 249-276
-
-
Horrocks, I.1
Sattler, U.2
-
4
-
-
84880889487
-
A logical framework for modularity of ontologies
-
Veloso M.M. (ed.)
-
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Veloso, M.M. (ed.) IJCAI 2007, pp. 298-303 (2007)
-
(2007)
IJCAI 2007
, pp. 298-303
-
-
Grau, B.C.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
5
-
-
48349128877
-
Privacy-preserving reasoning on the semantic web
-
Bao, J., Slutzki, G., Honavar, V.: Privacy-preserving reasoning on the semantic web. In: WI 2007, pp. 791-797 (2007)
-
(2007)
WI 2007
, pp. 791-797
-
-
Bao, J.1
Slutzki, G.2
Honavar, V.3
-
6
-
-
35348889032
-
Just the right amount: Extracting modules from ontologies
-
ACM, New York
-
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007, pp. 717-726. ACM, New York (2007)
-
(2007)
WWW 2007
, pp. 717-726
-
-
Grau, B.C.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
7
-
-
38949167358
-
Modularity and web ontologies
-
AAAI Press, Menlo Park
-
Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: KR 2006, pp. 198-209. AAAI Press, Menlo Park (2006)
-
(2006)
KR 2006
, pp. 198-209
-
-
Grau, B.C.1
Parsia, B.2
Sirin, E.3
Kalyanpur, A.4
-
8
-
-
67650486144
-
Data privacy for ALC knowledge bases
-
Artemov, S., Nerode, A. (eds.) . LFCS 2009. Springer, Heidelberg
-
Stouppa, P., Studer, T.: Data privacy for ALC knowledge bases. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.5407, pp. 409-421. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5407
, pp. 409-421
-
-
Stouppa, P.1
Studer, T.2
-
9
-
-
3142686877
-
A formal analysis of information disclosure in data exchange
-
Miklau, G., Suciu, D.: A formal analysis of information disclosure in data exchange. In: SIGMOD (2004)
-
(2004)
SIGMOD
-
-
Miklau, G.1
Suciu, D.2
-
10
-
-
1942537112
-
E-connections of abstract description systems
-
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artifical Intelligence 156(1), 1-73 (2004)
-
(2004)
Artifical Intelligence
, vol.156
, Issue.1
, pp. 1-73
-
-
Kutz, O.1
Lutz, C.2
Wolter, F.3
Zakharyaschev, M.4
-
11
-
-
77951140456
-
Modularity in DL-Lite
-
Kontchakov, R., Wolter, F., Zakharyaschev, M.: Modularity in DL-Lite. In: DL 2007. CEUR Workshop Proceedings, vol.250 (2007).
-
(2007)
DL 2007. CEUR Workshop Proceedings
, vol.250
-
-
Kontchakov, R.1
Wolter, F.2
Zakharyaschev, M.3
-
12
-
-
79958035587
-
Privacy-preserving query answering in logic-based information systems
-
Cuenca Grau, B., Horrocks, I.: Privacy-preserving query answering in logic-based information systems. In: ECAI 2008 (2008)
-
(2008)
ECAI 2008
-
-
Cuenca Grau, B.1
Horrocks, I.2
-
13
-
-
67650387382
-
View-based query answering over description logic ontologies
-
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: View-based query answering over description logic ontologies. In: KR 2008, pp. 242-251 (2008)
-
(2008)
KR 2008
, pp. 242-251
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Rosati, R.4
|