-
1
-
-
84873464339
-
Results of the ontology alignment evaluation initiative 2012
-
Aguirre, J., Eckert, K., Euzenat, J., Ferrara, A., van Hage, W.R., Hollink, L., Meilicke, C., Nikolov, A., Ritze, D., Scharffe, F., Shvaiko, P., Sváb-Zamazal, O., Trojahn, C., Jiménez-Ruiz, E., Cuenca Grau, B., Zapilko, B.: Results of the Ontology Alignment Evaluation Initiative 2012. In: Ontology Matching Workshop (2012)
-
(2012)
Ontology Matching Workshop
-
-
Aguirre, J.1
Eckert, K.2
Euzenat, J.3
Ferrara, A.4
Van Hage, W.R.5
Hollink, L.6
Meilicke, C.7
Nikolov, A.8
Ritze, D.9
Scharffe, F.10
Shvaiko, P.11
Sváb-Zamazal, O.12
Trojahn, C.13
Jiménez-Ruiz, E.14
Cuenca Grau, B.15
Zapilko, B.16
-
2
-
-
84875229656
-
Large-scale biomedical ontology matching with ServOMap
-
Special issue on digital technologies for healthcare
-
Ba, M., Diallo, G.: Large-scale biomedical ontology matching with ServOMap. IRBM34 (1), 56 -59 (2013), Special issue on digital technologies for healthcare
-
(2013)
IRBM
, vol.34
, Issue.1
, pp. 56-59
-
-
Ba, M.1
Diallo, G.2
-
3
-
-
0345863927
-
The unified medical language system (UMLS): Integrating biomedical terminology
-
Bodenreider, O.: The unified medical language system (UMLS): integrating biomedical terminology. Nucleic Acids Research 32, 267-270 (2004)
-
(2004)
Nucleic Acids Research
, vol.32
, pp. 267-270
-
-
Bodenreider, O.1
-
4
-
-
16244394689
-
Distributed Description Logics: Assimilating information frompeer sources
-
Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating information frompeer sources. J. Data Sem. 1, 153-184 (2003)
-
(2003)
J. Data Sem.
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
5
-
-
56049103039
-
OWL 2: The next step for OWL
-
Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem. 6 (4), 309-322 (2008)
-
(2008)
J. Web Sem.
, vol.6
, Issue.4
, pp. 309-322
-
-
Cuenca Grau, B.1
Horrocks, I.2
Motik, B.3
Parsia, B.4
Patel-Schneider, P.F.5
Sattler, U.6
-
6
-
-
84889042166
-
The alignment API 4.0
-
David, J., Euzenat, J., Scharffe, F., Trojahn, C.: The Alignment API 4.0. Semantic Web 2 (1), 3-10 (2011), http://alignapi.gforge.inria.fr/format.html
-
(2011)
Semantic Web
, vol.2
, Issue.1
, pp. 3-10
-
-
David, J.1
Euzenat, J.2
Scharffe, F.3
Trojahn, C.4
-
7
-
-
0021509216
-
Linear-time algorithms for testing the satisfiability of propositional Horn formulae
-
Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Prog. 1 (3), 267-284 (1984)
-
(1984)
J. Log. Prog.
, vol.1
, Issue.3
, pp. 267-284
-
-
Dowling, W.F.1
Gallier, J.H.2
-
8
-
-
84880878240
-
Semantic precision and recall for ontology alignment evaluation
-
Euzenat, J.: Semantic precision and recall for ontology alignment evaluation. In: Int'l Joint Conf. on Artif. Intell. (IJCAI). pp. 348-353 (2007)
-
(2007)
Int'l Joint Conf. on Artif. Intell. (IJCAI)
, pp. 348-353
-
-
Euzenat, J.1
-
9
-
-
80055061913
-
Ontology alignment evaluation initiative: Six years of experience
-
Euzenat, J., Meilicke, C., Stuckenschmidt, H., Shvaiko, P., Trojahn, C.: Ontology alignment evaluation initiative: Six years of experience. J. Data Sem. 15, 158-192 (2011)
-
(2011)
J. Data Sem.
, vol.15
, pp. 158-192
-
-
Euzenat, J.1
Meilicke, C.2
Stuckenschmidt, H.3
Shvaiko, P.4
Trojahn, C.5
-
12
-
-
0024701533
-
Algorithms for testing the satisfiability of propositional formulae
-
Gallo, G., Urbani, G.: Algorithms for testing the satisfiability of propositional formulae. J. Log. Prog. 7 (1), 45-61 (1989)
-
(1989)
J. Log. Prog.
, vol.7
, Issue.1
, pp. 45-61
-
-
Gallo, G.1
Urbani, G.2
-
13
-
-
38349003486
-
Semantic Matching: Algorithms and implementation
-
Giunchiglia, F., Yatskevich, M., Shvaiko, P.: Semantic Matching: Algorithms and implementation. J. Data Sem. 9, 1-38 (2007)
-
(2007)
J. Data Sem.
, vol.9
, pp. 1-38
-
-
Giunchiglia, F.1
Yatskevich, M.2
Shvaiko, P.3
-
14
-
-
33845512446
-
The national cancer institute's thésaurus and ontology
-
Golbeck, J., Fragoso, G., Hartel, F.W., Hendler, J.A., Oberthaler, J., Parsia, B.: The National Cancer Institute's Thésaurus and Ontology. J. Web Sem. 1 (1), 75-80 (2003)
-
(2003)
J. Web Sem.
, vol.1
, Issue.1
, pp. 75-80
-
-
Golbeck, J.1
Fragoso, G.2
Hartel, F.W.3
Hendler, J.A.4
Oberthaler, J.5
Parsia, B.6
-
15
-
-
84892407770
-
YAM++ A combination of graph matching and machine learning approach to ontology alignment task
-
Hoa Ngo, D., Bellahsene, Z.: YAM++ A combination of graph matching and machine learning approach to ontology alignment task. J. Web Sem. 16 (2012)
-
(2012)
J. Web Sem.
, vol.16
-
-
Hoa Ngo, D.1
Bellahsene, Z.2
-
17
-
-
84868590296
-
CODI: Combinatorial optimization for data integration: Results for OAEI 2011
-
Huber, J., Sztyler, T., Noessner, J., Meilicke, C.: CODI: Combinatorial optimization for data integration: results for OAEI 2011. In: Ontology Matching Workshop (2011)
-
(2011)
Ontology Matching Workshop
-
-
Huber, J.1
Sztyler, T.2
Noessner, J.3
Meilicke, C.4
-
18
-
-
71149117828
-
Ontology matching with semantic verification
-
Jean-Mary, Y.R., Shironoshita, E.P., Kabuka, M.R.: Ontology matching with semantic verification. J. Web Sem. 7 (3), 235-251 (2009)
-
(2009)
J. Web Sem.
, vol.7
, Issue.3
, pp. 235-251
-
-
Jean-Mary, Y.R.1
Shironoshita, E.P.2
Kabuka, M.R.3
-
22
-
-
69849103745
-
Ontology integration using mappings: Towards getting the right logical consequences
-
Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Eur. Sem.Web Conf. (ESWC). pp. 173-187 (2009)
-
(2009)
Eur. Sem.Web Conf. (ESWC)
, pp. 173-187
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
23
-
-
84921857124
-
Logic-based assessment of the compatibility of UMLS ontology sources
-
Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Logic-based assessment of the compatibility of UMLS ontology sources. J. Biomed. Sem. 2 (2011)
-
(2011)
J. Biomed. Sem.
, vol.2
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
24
-
-
84878794297
-
Large-scale interactive ontology matching: Algorithms and implementation
-
Jiménez-Ruiz, E., Cuenca Grau, B., Zhou, Y., Horrocks, I.: Large-scale interactive ontology matching: Algorithms and implementation. In: European Conf. on Artif. Intell. (ECAI). pp. 444-449 (2012), http://code.google.com/p/logmap-matcher/
-
(2012)
European Conf. on Artif. Intell. (ECAI)
, pp. 444-449
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Zhou, Y.3
Horrocks, I.4
-
25
-
-
49949083689
-
Finding all justifications of OWL DL entailments
-
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Int'l Sem. Web Conf. (ISWC). pp. 267-280 (2007)
-
(2007)
Int'l Sem. Web Conf. (ISWC)
, pp. 267-280
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
27
-
-
84873143411
-
GOMMA: A component-based infrastructure for managing and analyzing life science ontologies and their evolution
-
Kirsten, T., Gross, A., Hartung, M., Rahm, E.: GOMMA: a component-based infrastructure for managing and analyzing life science ontologies and their evolution. J. Biomed. Sem. 2 (2011)
-
(2011)
J. Biomed. Sem.
, vol.2
-
-
Kirsten, T.1
Gross, A.2
Hartung, M.3
Rahm, E.4
-
28
-
-
84873471426
-
Evaluating ontology matching systems on large, multilingual and real-world test cases
-
Meilicke, C., Svab-Zamazal, O., Trojahn, C., Jiménez-Ruiz, E., Aguirre, J., Stuckenschmidt, H., Cuenca Grau, B.: Evaluating ontology matching systems on large, multilingual and real-world test cases. In: ArXiv e-prints, 1208.3148 (2012), http://arxiv.org/abs/1208.3148v1
-
(2012)
ArXiv E-prints 1208.3148
-
-
Meilicke, C.1
Svab-Zamazal, O.2
Trojahn, C.3
Jiménez-Ruiz, E.4
Aguirre, J.5
Stuckenschmidt, H.6
Grau, C.B.7
-
30
-
-
84868548627
-
Incoherence as a basis for measuring the quality of ontology mappings
-
Meilicke, C., Stuckenschmidt, H.: Incoherence as a basis for measuring the quality of ontology mappings. In: Ontology Matching Workshop (2008)
-
(2008)
Ontology Matching Workshop
-
-
Meilicke, C.1
Stuckenschmidt, H.2
-
31
-
-
70349509967
-
Reasoning support for mapping revision
-
Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning support for mapping revision. J. Log. Comput. 19 (5) (2009)
-
(2009)
J. Log. Comput.
, vol.19
, Issue.5
-
-
Meilicke, C.1
Stuckenschmidt, H.2
Tamilin, A.3
-
32
-
-
73649133629
-
Hypertableau reasoning for description logics
-
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. (JAIR) 36, 165-228 (2009)
-
(2009)
J. Artif. Intell. Res. (JAIR)
, vol.36
, pp. 165-228
-
-
Motik, B.1
Shearer, R.2
Horrocks, I.3
-
34
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32, 57-95 (1987)
-
(1987)
Artificial Intelligence
, vol.32
, pp. 57-95
-
-
Reiter, R.1
-
35
-
-
84892394260
-
KOSIMap: Use of description logic reasoning to align heterogeneous ontologies
-
Reul, Q., Pan, J.Z.: KOSIMap: Use of description logic reasoning to align heterogeneous ontologies. In: Description Logics Workshop (2010)
-
(2010)
Description Logics Workshop
-
-
Reul, Q.1
Pan, J.Z.2
-
36
-
-
0842283371
-
A reference ontology for biomedical informatics: The Foundational Model of Anatomy
-
Rosse, C., Mejino Jr., J.: A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J. Biomed. Informatics 36 (6), 478-500 (2003)
-
(2003)
J. Biomed. Informatics
, vol.36
, Issue.6
, pp. 478-500
-
-
Rosse, C.1
Mejino, J.2
-
37
-
-
84880831562
-
Non-standard reasoning services for the debugging of description logic terminologies
-
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Int'l Joint Conf. on Artif. Intell. (IJCAI). pp. 355-362 (2003)
-
(2003)
Int'l Joint Conf. on Artif. Intell. (IJCAI)
, pp. 355-362
-
-
Schlobach, S.1
Cornet, R.2
-
38
-
-
34548321613
-
Debugging incoherent terminologies
-
Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning 39 (3) (2007)
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
-
-
Schlobach, S.1
Huang, Z.2
Cornet, R.3
Van Harmelen, F.4
-
39
-
-
80052095821
-
Consolidating SNOMED CT's ontological commitment
-
Schulz, S., Cornet, R., Spackman, K.A.: Consolidating SNOMED CT's ontological commitment. Applied Ontology 6 (1), 1-11 (2011)
-
(2011)
Applied Ontology
, vol.6
, Issue.1
, pp. 1-11
-
-
Schulz, S.1
Cornet, R.2
Spackman, K.A.3
-
41
-
-
84873450305
-
A modularization-based approach to finding all justifications for OWL DL entailments
-
Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: Asian Sem. Web Conf. (ASWC) (2008)
-
(2008)
Asian Sem. Web Conf. (ASWC)
-
-
Suntisrivaraporn, B.1
Qi, G.2
Ji, Q.3
Haase, P.4
-
42
-
-
84861034580
-
Semantic evaluation at large scale (SEALS)
-
WWW (Companion Volume)
-
Wrigley, S.N., Garcia-Castro, R., Nixon, L.J.B.: Semantic evaluation at large scale (SEALS). In: The 21st World Wide Web Conf., WWW (Companion Volume). pp. 299-302 (2012)
-
(2012)
The 21st World Wide Web Conf
, pp. 299-302
-
-
Wrigley, S.N.1
Garcia-Castro, R.2
Nixon, L.J.B.3
|