-
1
-
-
84976825239
-
Efficient management of transitive relationships in large data and knowledge bases
-
Agrawal, R., Borgida, A., Jagadish, H.V.: Efficient management of transitive relationships in large data and knowledge bases. In: SIGMOD Rec. 18. pp. 253-262 (1989).
-
(1989)
SIGMOD Rec
, vol.18
, pp. 253-262
-
-
Agrawal, R.1
Borgida, A.2
Jagadish, H.V.3
-
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
-
-
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 (WWW) Conf. pp. 544-555 (2003).
-
(2003)
Int'l World Wide Web (WWW) Conf.
, pp. 544-555
-
-
Christophides, V.1
Plexousakis, D.2
Scholl, M.3
Tourtounis, S.4
-
5
-
-
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
-
6
-
-
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
-
7
-
-
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
-
11
-
-
84893321740
-
Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative
-
Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I.: Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative. In: E-LKR Workshop (2012).
-
(2012)
E-LKR Workshop
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
-
12
-
-
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
-
13
-
-
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
-
14
-
-
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
-
15
-
-
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
-
17
-
-
79955694600
-
Semantic modularity and module extraction in description logics
-
Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: European Conf. on Artif. Intell. (ECAI). pp. 55-59 (2008).
-
(2008)
European Conf. on Artif. Intell. (ECAI)
, pp. 55-59
-
-
Konev, B.1
Lutz, C.2
Walther, D.3
Wolter, F.4
-
19
-
-
84873471426
-
Evaluating ontology matching systems on large, multilingual and realworld test cases
-
Meilicke, C., Svab-Zamazal, O., Trojahn, C., Jimenez-Ruiz, E., Aguirre, J., Stuckenschmidt, H., Cuenca Grau, B.: Evaluating ontology matching systems on large, multilingual and realworld test cases. In: ArXiv e-prints (2012), http://arxiv.org/abs/1208.3148v1.
-
(2012)
ArXiv E-prints
-
-
Meilicke, C.1
Svab-Zamazal, O.2
Trojahn, C.3
Jimenez-Ruiz, E.4
Aguirre, J.5
Stuckenschmidt, H.6
Cuenca Grau, B.7
-
20
-
-
84869209823
-
MultiFarm: A benchmark for multilingual ontology matching
-
Meilicke, C., Castro, R.G., Freitas, F., van Hage, W.R., Montiel-Ponsoda, E., de Azevedo, R.R., Stuckenschmidt, H., Šváb -Zamazal, O., Svátek, V., Tamilin, A., Trojahn, C., Wang, S.: MultiFarm: a benchmark for multilingual ontology matching. J. Web Sem. (2012).
-
(2012)
J. Web Sem.
-
-
Meilicke, C.1
Castro, R.G.2
Freitas, F.3
Van Hage, W.R.4
Montiel-Ponsoda, E.5
De Azevedo, R.R.6
Stuckenschmidt, H.7
Šváb-Zamazal, O.8
Svátek, V.9
Tamilin, A.10
Trojahn, C.11
Wang, S.12
-
21
-
-
73649133629
-
Hypertableau reasoning for description logics
-
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165-228 (2009).
-
(2009)
J. Artif. Intell. Res
, vol.36
, pp. 165-228
-
-
Motik, B.1
Shearer, R.2
Horrocks, I.3
-
22
-
-
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
-
23
-
-
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
-
24
-
-
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
-
25
-
-
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
|