-
1
-
-
48249142909
-
Analyzing the evolution of life science ontologies and mappings
-
Hartung, M., Kirsten, T., Rahm, E.: Analyzing the evolution of life science ontologies and mappings. In: Proc. of DILS. (2008) 11-27.
-
(2008)
Proc. of DILS
, pp. 11-27
-
-
Hartung, M.1
Kirsten, T.2
Rahm, E.3
-
2
-
-
53049098297
-
The logical difference problem for description logic terminologies
-
Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Proc. of IJCAR. (2008) 259-274.
-
(2008)
Proc. of IJCAR
, pp. 259-274
-
-
Konev, B.1
Walther, D.2
Wolter, F.3
-
3
-
-
84860544288
-
Can you tell the difference between DLLite ontologies?
-
AAAI Press
-
Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DLLite ontologies? In: Proc. of KR, AAAI Press (2008) 285-295.
-
(2008)
Proc. of KR
, pp. 285-295
-
-
Kontchakov, R.1
Wolter, F.2
Zakharyaschev, M.3
-
4
-
-
33746054122
-
Repairing unsatisfiable concepts in OWL ontologies
-
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B.: Repairing unsatisfiable concepts in OWL ontologies. In: Proc. of ESWC. (2006) 170-184.
-
(2006)
Proc. of ESWC
, pp. 170-184
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca Grau, B.4
-
5
-
-
34548321613
-
Debugging incoherent terminologies
-
Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning 39(3) (2007) 317-349.
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 317-349
-
-
Schlobach, S.1
Huang, Z.2
Cornet, R.3
Van Harmelen, F.4
-
6
-
-
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) (2005) 268-293.
-
(2005)
J. Web Semantics
, vol.3
, Issue.4
, pp. 268-293
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Hendler, J.A.4
-
7
-
-
54549102415
-
Finding all justifications of OWL DL entailments
-
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Proc. of ISWC. (2007).
-
(2007)
Proc. of ISWC
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
8
-
-
84872911990
-
-
Technical report Available at
-
Jimenez-Ruiz, E., Cuenca Grau, B., Horrocks, I., R.Berlanga: Conflict detection and resolution in collaborative ontology development. Technical report (2009) Available at: http://krono.act.uji.es/people/Ernesto/contentcvs.
-
(2009)
Conflict Detection and Resolution in Collaborative Ontology Development
-
-
Jimenez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga, R.4
-
9
-
-
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) (2008) 309-322.
-
(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
-
10
-
-
77955948752
-
-
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C Working Draft (2009) http://www.w3.org/TR/owl2-profiles/.
-
(2009)
OWL 2 Web Ontology Language: Profiles
-
-
Motik, B.1
Cuenca Grau, B.2
Horrocks, I.3
Wu, Z.4
Fokoue, A.5
Lutz, C.6
-
12
-
-
35348889032
-
Just the right amount: Extracting modules from ontologies
-
Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proc. of WWW. (2007) 717-726.
-
(2007)
Proc. of WWW
, pp. 717-726
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
13
-
-
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. 1-15.
-
Proc. of ASWC
, pp. 1-15
-
-
Suntisrivaraporn, B.1
Qi, G.2
Ji, Q.3
Haase, P.4
-
14
-
-
73949137389
-
Developing biomedical ontologies collaboratively
-
Noy, N.F., Tudorache, T., de Coronado, S., Musen, M.A.: Developing biomedical ontologies collaboratively. In: Proc. of AMIA 2008. (2008).
-
(2008)
Proc. of AMIA 2008
-
-
Noy, N.F.1
Tudorache, T.2
De Coronado, S.3
Musen, M.A.4
-
15
-
-
33845461040
-
A framework for ontology evolution in collaborative environments
-
Noy, N.F., Chugh, A., Liu, W., Musen, M.A.: A framework for ontology evolution in collaborative environments. In: Proc. of ISWC. (2006) 544-558.
-
(2006)
Proc. of ISWC
, pp. 544-558
-
-
Noy, N.F.1
Chugh, A.2
Liu, W.3
Musen, M.A.4
-
16
-
-
84944475940
-
Managing change: An ontology version control system
-
Redmond, T., Smith, M., Drummond, N., Tudorache, T.: Managing change: An ontology version control system. In: Proc. of OWLEd. (2008).
-
(2008)
Proc. of OWLEd
-
-
Redmond, T.1
Smith, M.2
Drummond, N.3
Tudorache, T.4
-
17
-
-
42149173812
-
A methodology for asynchronous multi-user editing of semantic web ontologies
-
Seidenberg, J., Rector, A.L.: A methodology for asynchronous multi-user editing of semantic web ontologies. In: Proc. of K-CAP. (2007) 127-134.
-
(2007)
Proc. of K-CAP
, pp. 127-134
-
-
Seidenberg, J.1
Rector, A.L.2
|