메뉴 건너뛰기




Volumn 8797, Issue , 2014, Pages 1-16

Detecting and correcting conservativity principle violations in ontology-to-ontology mappings

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY; MAPPING; SEMANTIC WEB;

EID: 84910076863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-11915-1_1     Document Type: Conference Paper
Times cited : (44)

References (48)
  • 2
    • 84908666278 scopus 로고    scopus 로고
    • Towards valid and reusable reference alignmentsten basic quality checks for ontology alignments and their application to three different reference data sets
    • Beisswanger, E., Hahn, U., et al.: Towards valid and reusable reference alignmentsten basic quality checks for ontology alignments and their application to three different reference data sets. J. Biomed. Semant. 3(suppl. 1), S4 (2012)
    • (2012) J. Biomed. Semant , vol.3 , pp. S4
    • Beisswanger, E.1    Hahn, U.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 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
  • 9
    • 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
  • 10
    • 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
    • 84867689786 scopus 로고    scopus 로고
    • Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
    • In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.), Springer, Heidelberg
    • Ferré, S., Rudolph, S.: Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS (LNAI), vol. 7603, pp. 42–56. Springer, Heidelberg (2012)
    • (2012) EKAW 2012. LNCS (LNAI , vol.7603 , pp. 42-56
    • Ferré, S.1    Rudolph, S.2
  • 13
    • 84988950297 scopus 로고    scopus 로고
    • Results of the Ontology Alignment Evaluation Initiative 2013
    • Grau, B.C., Dragisic, Z., Eckert, K., et al.: Results of the Ontology Alignment Evaluation Initiative 2013. In: Ontology Matching (OM) (2013)
    • (2013) Ontology Matching (OM)
    • Grau, B.C.1    Dragisic, Z.2    Eckert, K.3
  • 14
    • 84885016903 scopus 로고    scopus 로고
    • A Unified Approach for Aligning Taxonomies and Debugging Taxonomies and their Alignments
    • In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.), Springer, Heidelberg
    • Ivanova, V., Lambrix, P.: A Unified Approach for Aligning Taxonomies and Debugging Taxonomies and their Alignments. In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 1–15. Springer, Heidelberg (2013)
    • (2013) ESWC 2013. LNCS , vol.7882 , pp. 1-15
    • Ivanova, V.1    Lambrix, P.2
  • 15
    • 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
  • 17
    • 80055039404 scopus 로고    scopus 로고
    • 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.), 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, Part I. LNCS , vol.7031 , pp. 273-288
    • Jiménez-Ruiz, E.1    Cuenca Grau, B.2
  • 18
    • 69849103745 scopus 로고    scopus 로고
    • Ontology integration using mappings: Towards getting the right logical consequences
    • In: Aroyo, L., et al. (eds.), 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. LNCS , vol.5554 , pp. 173-187
    • Jiménez-Ruiz, E.1    Cuenca Grau, B.2    Horrocks, I.3    Berlanga, R.4
  • 21
  • 22
    • 49949083689 scopus 로고    scopus 로고
    • Finding all justifications of OWL DL entailments
    • In: Aberer, K., et al. (eds.), 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. LNCS , vol.4825 , pp. 267-280
    • Kalyanpur, A.1    Parsia, B.2    Horridge, M.3    Sirin, E.4
  • 23
    • 80055035849 scopus 로고    scopus 로고
    • 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.), 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, Part I. LNCS , vol.7031 , pp. 305-320
    • Kazakov, Y.1    Krötzsch, M.2
  • 24
    • 84892667646 scopus 로고    scopus 로고
    • Optique: Towards OBDA Systems for Industry
    • In: Cimiano, P., Fernández, M., Lopez, V., Schlobach, S., Völker, J. (eds.), Springer, Heidelberg
    • Kharlamov, E., et al.: Optique: Towards OBDA Systems for Industry. In: Cimiano, P., Fernández, M., Lopez, V., Schlobach, S., Völker, J. (eds.) ESWC 2013. LNCS, vol. 7955, pp. 125–140. Springer, Heidelberg (2013)
    • (2013) ESWC 2013. LNCS, , vol.7955 , pp. 125-140
    • Kharlamov, E.1
  • 25
    • 53049098297 scopus 로고    scopus 로고
    • The Logical Difference Problem for Description Logic Terminologies
    • In: Armando, A., Baumgartner, P., Dowek, G. (eds.), 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. LNCS (LNAI , vol.5195 , pp. 259-274
    • Konev, B.1    Walther, D.2    Wolter, F.3
  • 26
    • 84893000588 scopus 로고    scopus 로고
    • Get My Pizza Right: Repairing Missing Is-a Relations in ALC Ontologies
    • In: Takeda, H., Qu, Y., Mizoguchi, R., Kitamura, Y. (eds.), Springer, Heidelberg
    • Lambrix, P., Dragisic, Z., Ivanova, V.: Get My Pizza Right: Repairing Missing Is-a Relations in ALC Ontologies. In: Takeda, H., Qu, Y., Mizoguchi, R., Kitamura, Y. (eds.) JIST 2012. LNCS, vol. 7774, pp. 17–32. Springer, Heidelberg (2013)
    • (2013) JIST 2012. LNCS , vol.7774 , pp. 17-32
    • Lambrix, P.1    Dragisic, Z.2    Ivanova, V.3
  • 27
    • 84878107749 scopus 로고    scopus 로고
    • Debugging the Missing Is-a Structure Within Taxonomies Networked by Partial Reference Alignments
    • Lambrix, P., Liu, Q.: Debugging the Missing Is-a Structure Within Taxonomies Networked by Partial Reference Alignments. Data Knowl. Eng. (DKE) 86, 179–205 (2013)
    • (2013) Data Knowl. Eng. (DKE) , vol.86 , pp. 179-205
    • Lambrix, P.1    Liu, Q.2
  • 30
    • 56649094283 scopus 로고    scopus 로고
    • Learning Disjointness for Debugging Mappings between Lightweight Ontologies
    • In: Gangemi, A., Euzenat, J. (eds.), Springer, Heidelberg
    • Meilicke, C., Völker, J., Stuckenschmidt, H.: Learning Disjointness for Debugging Mappings between Lightweight Ontologies. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol. 5268, pp. 93–108. Springer, Heidelberg (2008)
    • (2008) EKAW 2008. LNCS (LNAI , vol.5268 , pp. 93-108
    • Meilicke, C.1    Völker, J.2    Stuckenschmidt, H.3
  • 31
    • 0036205389 scopus 로고    scopus 로고
    • Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to SchemaMatching
    • Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to SchemaMatching. In: IEEE Int’l Conf. on Data Eng. (2002)
    • (2002) IEEE Int’l Conf. On Data Eng
    • Melnik, S.1    Garcia-Molina, H.2    Rahm, E.3
  • 33
    • 70349751948 scopus 로고    scopus 로고
    • Efficient Retrieval of Ontology Fragments Using an Interval Labeling Scheme
    • Nebot, V., Berlanga, R.: Efficient Retrieval of Ontology Fragments Using an Interval Labeling Scheme. Inf. Sci. 179(24), 4151–4173 (2009)
    • (2009) Inf. Sci , vol.179 , Issue.24 , pp. 4151-4173
    • Nebot, V.1    Berlanga, R.2
  • 34
    • 84867680558 scopus 로고    scopus 로고
    • YAM++: A Multi-strategy Based Approach for Ontology Matching Task
    • ten Teije,A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.), Springer, Heidelberg
    • Ngo, D., Bellahsene, Z.: YAM++: A Multi-strategy Based Approach for Ontology Matching Task. In: ten Teije,A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 421–425. Springer, Heidelberg (2012)
    • (2012) EKAW 2012. LNCS , vol.7603 , pp. 421-425
    • Ngo, D.1    Bellahsene, Z.2
  • 35
    • 84909625586 scopus 로고    scopus 로고
    • 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
  • 36
    • 0023329093 scopus 로고
    • A Theory of Diagnosis from First Principles
    • Reiter, R.: A Theory of Diagnosis from First Principles. Artif. Intell. 32(1) (1987)
    • (1987) Artif. Intell , vol.32 , Issue.1
    • Reiter, R.1
  • 38
    • 26444541939 scopus 로고    scopus 로고
    • Debugging and Semantic Clarification by Pinpointing
    • In: Gómez-Pérez, A., Euzenat, J. (eds.), 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. LNCS , vol.3532 , pp. 226-240
    • Schlobach, S.1
  • 39
    • 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
  • 41
    • 84891950360 scopus 로고    scopus 로고
    • Publishing the Norwegian Petroleum Directorate’s FactPages as Semantic Web Data
    • In: Alani, H., et al. (eds.), Springer, Heidelberg
    • Skjæveland, M.G., Lian, E.H., Horrocks, I.: Publishing the Norwegian Petroleum Directorate’s FactPages as Semantic Web Data. In: Alani, H., et al. (eds.) ISWC 2013, Part II. LNCS, vol. 8219, pp. 162–177. Springer, Heidelberg (2013)
    • (2013) ISWC 2013, Part II. LNCS , vol.8219 , pp. 162-177
    • Skjæveland, M.G.1    Lian, E.H.2    Horrocks, I.3
  • 42
    • 84904664740 scopus 로고    scopus 로고
    • A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data
    • In: Garoufallou, E., Greenberg, J. (eds.), Springer, Heidelberg
    • Soylu, A., Skjæveland, M.G., Giese, M., Horrocks, I., Jimenez-Ruiz, E., Kharlamov, E., Zheleznyakov, D.: A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. In: Garoufallou, E., Greenberg, J. (eds.) MTSR 2013. CCIS, vol. 390, pp. 201–212. Springer, Heidelberg (2013)
    • (2013) MTSR 2013. CCIS , vol.390 , pp. 201-212
    • Soylu, A.1    Skjæveland, M.G.2    Giese, M.3    Horrocks, I.4    Jimenez-Ruiz, E.5    Kharlamov, E.6    Zheleznyakov, D.7
  • 43
    • 58049094178 scopus 로고    scopus 로고
    • A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
    • In: Domingue, J., Anutariya, C. (eds.), 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. LNCS , vol.5367 , pp. 1-15
    • Suntisrivaraporn, B.1    Qi, G.2    Ji, Q.3    Haase, P.4
  • 44
    • 84891925162 scopus 로고    scopus 로고
    • QODI: Query as Context in Automatic Data Integration
    • In: Alani, H., et al. (eds.), Springer, Heidelberg
    • Tian, A., Sequeda, J.F., Miranker, D.P.: QODI: Query as Context in Automatic Data Integration. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 624–639. Springer, Heidelberg (2013)
    • (2013) ISWC 2013, Part I. LNCS , vol.8218 , pp. 624-639
    • Tian, A.1    Sequeda, J.F.2    Miranker, D.P.3
  • 45
    • 34548107904 scopus 로고    scopus 로고
    • Learning Disjointness
    • In: Franconi, E., Kifer, M., May, W. (eds.), Springer, Heidelberg
    • Völker, J., Vrandečić, D., Sure, Y., Hotho, A.: Learning Disjointness. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 175–189. Springer, Heidelberg (2007)
    • (2007) ESWC 2007. LNCS , vol.4519 , pp. 175-189
    • Völker, J.1    Vrandečić, D.2    Sure, Y.3    Hotho, A.4
  • 47
    • 42549101292 scopus 로고    scopus 로고
    • Debugging Ontology Mappings: A Static Approach
    • Wang, P., Xu, B.: Debugging Ontology Mappings: A Static Approach. Computing and Informatics 27(1), 21–36 (2012)
    • (2012) Computing and Informatics , vol.27 , Issue.1 , pp. 21-36
    • Wang, P.1    Xu, B.2


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