메뉴 건너뛰기




Volumn 1014, Issue , 2013, Pages 1000-1010

Evaluating mapping repair systems with large biomedical ontologies

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; MAPPING; ONTOLOGY;

EID: 84922743119     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (8)

References (42)
  • 2
    • 84875229656 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 84889042166 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 12
    • 0024701533 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 15
    • 84892407770 scopus 로고    scopus 로고
    • 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
  • 18
    • 71149117828 scopus 로고    scopus 로고
    • 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
  • 27
    • 84873143411 scopus 로고    scopus 로고
    • 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
  • 30
    • 84868548627 scopus 로고    scopus 로고
    • 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
  • 34
    • 0023329093 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 39
    • 80052095821 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.