-
2
-
-
36349004111
-
Repairing ontology mappings
-
Meilicke, C, Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI, pp. 1408-1413 (2007)
-
(2007)
Proc. of AAAI
, pp. 1408-1413
-
-
Meilicke, C.1
Stuckenschmidt, H.2
Tamilin, A.3
-
3
-
-
4344615591
-
From stilq and rdf to owl: The making of a web ontology language
-
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From STilQ and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7-26 (2003)
-
(2003)
J. Web Sem.
, vol.1
, Issue.1
, pp. 7-26
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Van Harmelen, F.3
-
4
-
-
56049103039
-
Owl 2: The next step for owl
-
Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. J. Web Semantics 6(4), 309-322 (2008)
-
(2008)
J. Web Semantics
, vol.6
, Issue.4
, pp. 309-322
-
-
Cuenca Grau, B.1
Horrocks, I.2
Motik, B.3
Parsia, B.4
Patel-Schneider, P.5
Sattler, U.6
-
5
-
-
69849112286
-
-
Technical report The ContentMap tool is also available at this location
-
Jimenez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. Technical report The ContentMap tool is also available at this location (2008), http://krono.act.uj i.es/people/Ernesto/contentmap
-
(2008)
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
-
-
Jimenez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
6
-
-
84880878240
-
Semantic precision and recall for ontology alignment evaluation
-
Euzenat, J.: Semantic precision and recall for ontology alignment evaluation. In: Proc. of IJCAI, pp. 348-353 (2007)
-
(2007)
Proc. of IJCAI
, pp. 348-353
-
-
Euzenat, J.1
-
7
-
-
16244394689
-
Distributed description logics: Assimilating information from peer sources
-
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153-184 (2003)
-
(2003)
J. Data Semantics
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
9
-
-
53049098297
-
The logical difference problem for description logic terminologies
-
Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR, 2008. 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, vol.5195, pp. 259-274. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5195
, pp. 259-274
-
-
Konev, B.1
Walther, D.2
Wolter, F.3
-
10
-
-
69849091530
-
Owl 2 web ontology language: Profiles
-
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C: OWL 2 Web Ontology Language: Profiles. W3C Working Draft (2008)
-
(2008)
W3C Working Draft
-
-
Motik, B.1
Cuenca Grau, B.2
Horrocks, I.3
Wu, Z.4
Fokoue, A.5
Lutz, C.6
-
11
-
-
28044464279
-
Debugging unsatisfiable classes in owl ontologies
-
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semantics 3(4), 268-293 (2005)
-
(2005)
J. Web Semantics
, vol.3
, Issue.4
, pp. 268-293
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Hendler, J.A.4
-
12
-
-
34548321613
-
Debugging incoherent terminologies
-
Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning 39(3), 317-349 (2007)
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 317-349
-
-
Schlobach, S.1
Huang, Z.2
Cornet, R.3
Van Harmelen, F.4
-
13
-
-
49949083689
-
Finding all justifications of owl dl entailments
-
Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-L, Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R,., Schreiber, G., Cudre-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. Springer, Heidelberg
-
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-L, Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R,., Schreiber, G., Cudre-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.4825, pp. 267-280. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4825
, pp. 267-280
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
14
-
-
78049361745
-
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: Proc. of ASWC (2008)
-
(2008)
Proc. of ASWC
-
-
Suntisrivaraporn, B.1
Qi, G.2
Ji, Q.3
Haase, P.4
-
15
-
-
33746054122
-
Repairing unsatisfiable concepts in owl ontologies
-
Sure, Y., Domingue, J. (eds.) ESWC 2006. Springer, Heidelberg
-
Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.4011, pp. 170-184. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4011
, pp. 170-184
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Grau, B.C.4
|