-
1
-
-
0034069495
-
Gene Ontology: Tool for the unification of biology
-
Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., et al.: Gene Ontology: tool for the unification of biology. Nature Genetics 25(1), 25-29 (2000)
-
(2000)
Nature Genetics
, vol.25
, Issue.1
, pp. 25-29
-
-
Ashburner, M.1
Ball, C.A.2
Blake, J.A.3
Botstein, D.4
Butler, H.5
Cherry, J.M.6
Davis, A.P.7
Dolinski, K.8
Dwight, S.S.9
Eppig, J.T.10
-
2
-
-
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
-
3
-
-
16244394689
-
Distributed description logics: Assimilating information from peer sources
-
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Sem. 1, 153-184 (2003)
-
(2003)
J. Data Sem
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
4
-
-
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
-
5
-
-
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
-
6
-
-
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
-
7
-
-
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
-
9
-
-
84886730657
-
The agreementmakerlight ontology matching system
-
Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.), LNCS, Springer, Heidelberg
-
Faria, D., Pesquita, C., Santos, E., Palmonari, M., Cruz, I.F., Couto, F.M.: The agreementmakerlight ontology matching system. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) ODBASE 2013. LNCS, vol. 8185, pp. 527-541. Springer, Heidelberg (2013)
-
(2013)
ODBASE 2013
, vol.8185
, pp. 527-541
-
-
Faria, D.1
Pesquita, C.2
Santos, E.3
Palmonari, M.4
Cruz, I.F.5
Couto, F.M.6
-
10
-
-
67849128700
-
BioPortal: Ontologies and integrated data resources at the click of a mouse
-
Web-Server-Issue
-
Fridman Noy, N., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.A.D., Chute, C.G., Musen, M.A.: BioPortal: ontologies and integrated data resources at the click of a mouse. Nucleic Acids Research 37(Web-Server-Issue) (2009)
-
(2009)
Nucleic Acids Research
, vol.37
-
-
Fridman Noy, N.1
Shah, N.H.2
Whetzel, P.L.3
Dai, B.4
Dorf, M.5
Griffith, N.6
Jonquet, C.7
Rubin, D.L.8
Storey, M.9
Chute, C.G.10
Musen, M.A.11
-
11
-
-
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
-
12
-
-
78650494554
-
What four million mappings can tell you about two hundred ontologies
-
Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.), LNCS, Springer, Heidelberg
-
Ghazvinian, A., Noy, N.F., Jonquet, C., Shah, N., Musen, M.A.: What four million mappings can tell you about two hundred ontologies. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 229-242. Springer, Heidelberg (2009)
-
(2009)
ISWC 2009
, vol.5823
, pp. 229-242
-
-
Ghazvinian, A.1
Noy, N.F.2
Jonquet, C.3
Shah, N.4
Musen, M.A.5
-
14
-
-
33845512446
-
The National Cancer Institute’s Th´esaurus and Ontology
-
Golbeck, J., Fragoso, G., Hartel, F.W., Hendler, J.A., Oberthaler, J., Parsia, B.: The National Cancer Institute’s Th´esaurus 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
-
-
49949088873
-
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
-
Aberer, K., et al. (eds.), LNCS, Springer, Heidelberg
-
Golbreich, C., Horridge, M., Horrocks, I., Motik, B., Shearer, R.: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 169-182. Springer, Heidelberg (2007)
-
(2007)
ISWC/ASWC 2007
, vol.4825
, pp. 169-182
-
-
Golbreich, C.1
Horridge, M.2
Horrocks, I.3
Motik, B.4
Shearer, R.5
-
17
-
-
80055039404
-
LogMap: Logic-based and Scalable Ontology Matching
-
Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.), LNCS, Springer, Heidelberg
-
Jiménez-Ruiz, E., Cuenca Grau, B.: LogMap: Logic-based and Scalable Ontology Matching. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 273-288. Springer, Heidelberg (2011)
-
(2011)
ISWC 2011
, vol.7031
, pp. 273-288
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
-
18
-
-
69849103745
-
Ontology integration using mappings: Towards getting the right logical consequences
-
Aroyo, L., et al. (eds.), LNCS, Springer, Heidelberg
-
Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 173-187. Springer, Heidelberg (2009)
-
(2009)
ESWC 2009
, vol.5554
, pp. 173-187
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
19
-
-
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. Semant. 2(suppl. 1), S2 (2011)
-
(2011)
J. Biomed. Semant
, vol.2
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
20
-
-
84873479573
-
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: Europ. Conf. on Artif. Intell. (ECAI) (2012)
-
(2012)
Europ. Conf. On Artif. Intell. (ECAI)
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Zhou, Y.3
Horrocks, I.4
-
21
-
-
84892385051
-
Evaluating mapping repair systems with large biomedical ontologies
-
Jiménez-Ruiz, E., Meilicke, C., Grau, B.C., Horrocks, I.: Evaluating mapping repair systems with large biomedical ontologies. In: Description Logics, pp. 246-257 (2013)
-
(2013)
Description Logics
, pp. 246-257
-
-
Jiménez-Ruiz, E.1
Meilicke, C.2
Grau, B.C.3
Horrocks, I.4
-
22
-
-
49949083689
-
Finding all justifications of OWL DL entailments
-
Aberer, K., et al. (eds.), LNCS, Springer, Heidelberg
-
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 267-280. Springer, Heidelberg (2007)
-
(2007)
ISWC/ASWC 2007
, vol.4825
, pp. 267-280
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
23
-
-
80055035849
-
Concurrent classification of EL ontologies
-
Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.), LNCS, Springer, Heidelberg
-
Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent classification of EL ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305-320. Springer, Heidelberg (2011)
-
(2011)
ISWC 2011
, vol.7031
, pp. 305-320
-
-
Kazakov, Y.1
Krötzsch, M.2
Simančík, F.3
-
24
-
-
53049098297
-
The Logical Difference Problem for Description Logic Terminologies
-
Armando, A., Baumgartner, P., Dowek, G. (eds.), LNCS (LNAI), Springer, Heidelberg
-
Konev, B., Walther, D., Wolter, F.: The Logical Difference Problem for Description Logic Terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 259-274. Springer, Heidelberg (2008)
-
(2008)
IJCAR 2008
, vol.5195
, pp. 259-274
-
-
Konev, B.1
Walther, D.2
Wolter, F.3
-
26
-
-
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
-
27
-
-
36349004111
-
Repairing ontology mappings
-
Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. Of AAAI Conf. on Artif. Intell., pp. 1408-1413 (2007)
-
(2007)
Proc. Of AAAI Conf. On Artif. Intell
, pp. 1408-1413
-
-
Meilicke, C.1
Stuckenschmidt, H.2
Tamilin, A.3
-
28
-
-
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
-
29
-
-
57349137754
-
Collecting community-based mappings in an ontology repository
-
Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.), LNCS, Springer, Heidelberg
-
Noy, N.F., Griffith, N., Musen, M.A.: Collecting community-based mappings in an ontology repository. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 371-386. Springer, Heidelberg (2008)
-
(2008)
ISWC 2008
, vol.5318
, pp. 371-386
-
-
Noy, N.F.1
Griffith, N.2
Musen, M.A.3
-
30
-
-
84908436498
-
Debugging Mappings between Biomedical Ontologies: Preliminary Results from the NCBO BioPortal Mapping Repository
-
Pathak, J., Chute, C.G.: Debugging Mappings between Biomedical Ontologies: Preliminary Results from the NCBO BioPortal Mapping Repository. In: Int’l Conf. on Biomedical Ontology (ICBO) (2009)
-
(2009)
Int’l Conf. On Biomedical Ontology (ICBO)
-
-
Pathak, J.1
Chute, C.G.2
-
31
-
-
84909625586
-
To repair or not to repair: Reconciling correctness and coherence in ontology reference alignments
-
Pesquita, C., Faria, D., Santos, E., Couto, F.M.: To repair or not to repair: reconciling correctness and coherence in ontology reference alignments. In: Ontology Matching (OM) (2013)
-
(2013)
Ontology Matching (OM)
-
-
Pesquita, C.1
Faria, D.2
Santos, E.3
Couto, F.M.4
-
32
-
-
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
-
33
-
-
84889563007
-
BioPortal as a dataset of linked biomedical ontologies and terminologies in RDF
-
Salvadores, M., Alexander, P.R., Musen, M.A., Noy, N.F.: BioPortal as a dataset of linked biomedical ontologies and terminologies in RDF. Semantic Web 4(3), 277-284 (2013)
-
(2013)
Semantic Web
, vol.4
, Issue.3
, pp. 277-284
-
-
Salvadores, M.1
Alexander, P.R.2
Musen, M.A.3
Noy, N.F.4
-
34
-
-
84904728667
-
-
arXiv:1307.5322 preprint
-
Santos, E., Faria, D., Pesquita, C., Couto, F.: Ontology alignment repair through modularization and confidence-based heuristics. arXiv:1307.5322 preprint (2013)
-
(2013)
Ontology Alignment Repair through Modularization and Confidence-Based Heuristics
-
-
Santos, E.1
Faria, D.2
Pesquita, C.3
Couto, F.4
-
35
-
-
84904728667
-
-
CoRR abs/1307.5322
-
Santos, E., Faria, D., Pesquita, C., Couto, F.M.: Ontology alignment repair through modularization and confidence-based heuristics. CoRR abs/1307.5322 (2013)
-
(2013)
Ontology Alignment Repair through Modularization and Confidence-Based Heuristics
-
-
Santos, E.1
Faria, D.2
Pesquita, C.3
Couto, F.M.4
-
36
-
-
26444541939
-
Debugging and semantic clarification by pinpointing
-
Gómez-Pérez, A., Euzenat, J. (eds.), LNCS, Springer, Heidelberg
-
Schlobach, S.: Debugging and semantic clarification by pinpointing. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 226-240. Springer, Heidelberg (2005)
-
(2005)
ESWC 2005
, vol.3532
, pp. 226-240
-
-
Schlobach, S.1
-
38
-
-
35948989284
-
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration
-
Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., Leontis, N., Rocca-Serra, P., Ruttenberg, A., Sansone, S.A., Scheuermann, R.H., Shah, N., Whetzel, P.L., Lewis, S.: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat. Biotech. 25(11) (2007)
-
(2007)
Nat. Biotech
, vol.25
, Issue.11
-
-
Smith, B.1
Ashburner, M.2
Rosse, C.3
Bard, J.4
Bug, W.5
Ceusters, W.6
Goldberg, L.J.7
Eilbeck, K.8
Ireland, A.9
Mungall, C.J.10
Leontis, N.11
Rocca-Serra, P.12
Ruttenberg, A.13
Sansone, S.A.14
Scheuermann, R.H.15
Shah, N.16
Whetzel, P.L.17
Lewis, S.18
-
39
-
-
58049094178
-
A modularization-based approach to finding all justifications for OWL DL entailments
-
Domingue, J., Anutariya, C. (eds.), LNCS, Springer, Heidelberg
-
Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 1-15. Springer, Heidelberg (2008)
-
(2008)
ASWC 2008
, vol.5367
, pp. 1-15
-
-
Suntisrivaraporn, B.1
Qi, G.2
Ji, Q.3
Haase, P.4
|