-
2
-
-
84908666278
-
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
-
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 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
-
5
-
-
84880495261
-
On Labeling Schemes for the Semantic Web
-
Christophides, V., Plexousakis, D., Scholl, M., Tourtounis, S.: On Labeling Schemes for the Semantic Web. In: Int’l World Wide Web Conf. (WWW), pp. 544–555 (2003)
-
(2003)
Int’l World Wide Web Conf. (WWW
, pp. 544-555
-
-
Christophides, V.1
Plexousakis, D.2
Scholl, M.3
Tourtounis, S.4
-
6
-
-
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
-
7
-
-
44449149343
-
Modular Reuse of Ontologies: Theory and Practice
-
Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31, 273–318 (2008)
-
(2008)
J. Artif. Intell. Res
, vol.31
, pp. 273-318
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
8
-
-
84889042166
-
The Alignment API 4.0
-
David, J., Euzenat, J., Scharffe, F., Trojahn, C.: The Alignment API 4.0. J. Sem. Web 2(1), 3–10 (2011)
-
(2011)
J. Sem. Web
, vol.2
, Issue.1
, pp. 3-10
-
-
David, J.1
Euzenat, J.2
Scharffe, F.3
Trojahn, C.4
-
9
-
-
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
-
10
-
-
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
-
11
-
-
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
-
-
84867689786
-
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
-
14
-
-
84885016903
-
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
-
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
-
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
-
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
-
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
, pp. S2
-
-
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: Eur. Conf. on Artif. Intell. (ECAI) (2012)
-
(2012)
Eur. 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
-
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
-
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
-
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
-
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
-
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
-
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
-
28
-
-
84897978490
-
CooL-AgentSpeak: Endowing AgentSpeak-DL Agents with Plan Exchange and Ontology Services
-
Mascardi, V., Ancona, D., Barbieri, M., Bordini, R.H., Ricci, A.: CooL-AgentSpeak: Endowing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. Web Intelligence and Agent Systems 12(1), 83–107 (2014)
-
(2014)
Web Intelligence and Agent Systems
, vol.12
, Issue.1
, pp. 83-107
-
-
Mascardi, V.1
Ancona, D.2
Barbieri, M.3
Bordini, R.H.4
Ricci, A.5
-
30
-
-
56649094283
-
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
-
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
-
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
-
33
-
-
70349751948
-
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
-
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
-
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
-
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
-
37
-
-
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
-
38
-
-
26444541939
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
46
-
-
76649089375
-
OntoFarm: Towards an Experimental Collection of Parallel Ontologies
-
Poster Session
-
Šváb, O., Svátek, V., Berka, P., Rak, D., Tomášek, P.: OntoFarm: Towards an Experimental Collection of Parallel Ontologies. In: Int’l Sem. Web Conf. (ISWC). Poster Session (2005)
-
(2005)
Int’l Sem. Web Conf. (ISWC)
-
-
Šváb, O.1
Svátek, V.2
Berka, P.3
Rak, D.4
Tomášek, P.5
-
47
-
-
42549101292
-
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
|