-
1
-
-
69849089097
-
Tableau Algorithms for Description Logics
-
Dyckhoff, R, ed, TABLEAUX 2000, Springer, Heidelberg
-
Baader, F.: Tableau Algorithms for Description Logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol. 1847, pp. 1-18. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1847
, pp. 1-18
-
-
Baader, F.1
-
2
-
-
33845463186
-
-
Bao, J., Caragea, D., Honavar, V.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, 4273, pp. 72-86. Springer, Heidelberg (2006)
-
Bao, J., Caragea, D., Honavar, V.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72-86. Springer, Heidelberg (2006)
-
-
-
-
3
-
-
0242308061
-
Distributed Description Logics: Assimilating Information from Peer Sources
-
Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal on Data Semantics I 2008, 153-184 (2003)
-
(2003)
Journal on Data Semantics
, vol.I 2008
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
4
-
-
77955379053
-
Expressive alignment language and implementation. Deliverable 2.2.10, Knowledge Web NoE
-
Euzenat, J., Scharffe, F., Zimmermann, A.: Expressive alignment language and implementation. Deliverable 2.2.10, Knowledge Web NoE (2007). ftp://ftp.inrialpes.fr/pub/exmo/reports/kweb-2210.pdf
-
-
-
Euzenat, J.1
Scharffe, F.2
Zimmermann, A.3
-
6
-
-
84885016756
-
Alignment-based modules for encapsulating ontologies
-
Cuenca-Grau, B, Honavar, V.G, Schlicht, A, Wolter, F, eds
-
Euzenat, J., Zimmermann, A., Freitas, F.: Alignment-based modules for encapsulating ontologies. In: Cuenca-Grau, B., Honavar, V.G., Schlicht, A., Wolter, F. (eds.) Second International Workshop on Modular Ontologies (WOMO 2007), pp. 32-45 (2007)
-
(2007)
Second International Workshop on Modular Ontologies (WOMO
, pp. 32-45
-
-
Euzenat, J.1
Zimmermann, A.2
Freitas, F.3
-
7
-
-
1942537112
-
-
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: ε -connections of abstract description systems. Artificial Intelligence 156(1), 1-73 (2004)
-
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: ε -connections of abstract description systems. Artificial Intelligence 156(1), 1-73 (2004)
-
-
-
-
8
-
-
0036036947
-
Data integration: A theoretical perspective
-
Popa, L, ed, Madison, Wisconsin, USA, June 3-5, ACM Press, New York
-
Lenzerini, M.: Data integration: a theoretical perspective. In: Popa, L. (ed.) Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Madison, Wisconsin, USA, June 3-5, 2002, pp. 233-246. ACM Press, New York (2002)
-
(2002)
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
, pp. 233-246
-
-
Lenzerini, M.1
-
9
-
-
0033522692
-
Modal Logics, Description Logics and Arithmetic Reasoning
-
Ohlbach, H.J., Koehler, J.: Modal Logics, Description Logics and Arithmetic Reasoning. Artificial Intelligence 109(1-2), 1-31 (1999)
-
(1999)
Artificial Intelligence
, vol.109
, Issue.1-2
, pp. 1-31
-
-
Ohlbach, H.J.1
Koehler, J.2
-
10
-
-
84872895247
-
-
Zimmermann, A.: Integrated Distributed Description Logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 20th International Workshop on Description Logics DL 2007, pp. 507-514. Bolzano University Press (2007)
-
Zimmermann, A.: Integrated Distributed Description Logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 20th International Workshop on Description Logics DL 2007, pp. 507-514. Bolzano University Press (2007)
-
-
-
-
11
-
-
57049123782
-
Reasoning on a Network of Aligned Ontologies
-
Technical report, INRIA March
-
Zimmermann, A., Le Due, C.: Reasoning on a Network of Aligned Ontologies. Technical report, INRIA (March 2008), http://hal.inria.fr/inria-00267808/fr/
-
(2008)
-
-
Zimmermann, A.1
Le Due, C.2
-
12
-
-
33845405512
-
-
Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and their Relations with Alignment Composition. In: Cruz, I.E, Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, 4273, pp. 16-29. Springer, Heidelberg (2006)
-
Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and their Relations with Alignment Composition. In: Cruz, I.E, Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16-29. Springer, Heidelberg (2006)
-
-
-
|