Supporting concurrent ontology development: Framework, algorithms and tool

Data and Knowledge Engineering

Volumn 70, Issue 1, 2011, Pages 146-164

  Jimenez Ruiz E ^a   Grau, B Cuenca ^b   Horrocks, I ^b   Berlanga, R ^a  

^a UNIVERSITAT JAUME I   (Spain)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Knowledge engineering; Knowledge representation; Ontologies; OWL; Semantic Web

Indexed keywords

CONCURRENT DEVELOPMENT; CONFLICT DETECTION AND RESOLUTION; EMPIRICAL EVALUATIONS; NOVEL TECHNIQUES; ONTOLOGY DEBUGGING; ONTOLOGY DEVELOPMENT; OWL; REPAIR TECHNIQUES; SEMANTIC DIFFERENCE; SOFTWARE DEVELOPMENT; VERSIONING;

KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTICS; SOFTWARE DESIGN;

SEMANTIC WEB;

EID: 78649780810     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2010.10.001     Document Type: Article

References (57)

1. M. Ashburner, C.A. Ball, J.A. Blake, D. Botstein, H. Butler, J.M. Cherry, A.P. Davis, K. Dolinski, S.S. Dwight, J.T. Eppig, M.A. Harris, D.P. Hill, L. Issel-Tarver, A. Kasarskis, S. Lewis, J.C. Matese, J.E. Richardson, M. Ringwald, G.M. Rubin, and G. Sherlock Gene Ontology: tool for the unification of biology Nature Genetics 25 1 2000 25 29
2. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press
3. N. Choi, I.-Y. Song, and H. Han A survey on ontology mapping ACM SIGMOD Record 35 3 2006 34 41
4. Ó. Corcho, M. Fernández-López, and A. Gómez-Pérez Methodologies, tools and languages for building ontologies: where is their meeting point? Data & Knowledge Engineering 46 1 2003 41 64
5. B. Cuenca Grau, C. Halaschek-Wiener, and Y. Kazakov History matters: incremental ontology reasoning using modules Proc. of the 6th International Semantic Web Conference (ISWC), vol. 4825 of Lecture Notes in Computer Science 2007 Springer
6. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler Just the right amount: extracting modules from ontologies Proc. of the 16th International Conference on World Wide Web (WWW) 2007
7. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler Modular reuse of ontologies: theory and practice Journal of Artificial Intelligence Research (JAIR) 31 2008 273 318
8. B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler OWL 2: the next step for OWL Journal of Web Semantics 6 4 2008 309 322
9. S. de Coronado, L.W. Wright, G. Fragoso, M.W. Haber, E.A. Hahn-Dantona, F.W. Hartel, S.L. Quan, T. Safran, N. Thomas, and L. Whiteman The NCI Thesaurus quality assurance life cycle Journal of Biomedical Informatics 42 3 2009 530 539
10. P. De Leenheer, A. de Moor, and R. Meersman Context dependency management in ontology engineering: a formal approach Journal of Data Semantics 8 2007 26 56
11. P. De Leenheer, and C. Debruyne DOGMA-MESS: a tool for fact-oriented collaborative ontology evolution On the Move to Meaningful Internet Systems: OTM 2008 Workshops, vol. 5333 of Lecture Notes in Computer Science 2008 Springer
12. A. de Moor, P. De Leenheer, and R. Meersman DOGMA-MESS: a meaning evolution support system for interorganizational ontology engineering 14th International Conference on Conceptual Structures, ICCS, vol. 4068 of Lecture Notes in Computer Science 2006 Springer
13. K. Dellschaft, H. Engelbrecht, J.M. Barreto, S. Rutenbeck, and S. Staab Cicero: tracking design rationale in collaborative ontology engineering The Semantic Web: Research and Applications, 5th European Semantic Web Conference (ESWC), vol. 5021 of Lecture Notes in Computer Science 2008 Springer
14. N. Fridman Noy, A. Chugh, W. Liu, and M.A. Musen A framework for ontology evolution in collaborative environments Proc. of the 5th International Semantic Web Conference (ISWC), vol. 4273 of LNCS 2006 Springer
15. N. Fridman Noy, S. Kunnatur, M. Klein, and M. Musen Tracking changes during ontology evolution Proc. of the Third International Semantic Web Conference (ISWC), vol. 3298 of Lecture Notes in Computer Science 2004 Springer
16. N. Fridman Noy, and M.A. Musen Ontology versioning in an ontology management framework IEEE Intelligent Systems 19 4 2004 6 13
17. N. Fridman Noy, T. Tudorache, S. de Coronado, and M.A. Musen Developing biomedical ontologies collaboratively Proc. of AMIA Symposium 2008
18. A. Gómez-Pérez, and M.C. Suárez-Figueroa Scenarios for building ontology networks within the NeOn methodology Proc. of the fifth international conference on Knowledge capture (K-CAP) 2009 ACM New York, NY, USA
19. F.W. Hartel, S. de Coronado, R. Dionne, G. Fragoso, and J. Golbeck Modeling a description logic vocabulary for cancer research Journal of Biomedical Informatics 38 2 2005 114 129
20. M. Hartung, T. Kirsten, and E. Rahm Analyzing the evolution of life science ontologies and mappings Proc. of the 5th international workshop on Data Integration in the Life Sciences (DILS), vol. 5109 of Lecture Notes in Computer Science 2008 Springer
21. M. Hepp, P. De Leenheer, A. de Moor, Y. Sure, Ontology Management, Semantic Web, Semantic Web Services, and Business Applications, vol. 7 of Semantic Web And Beyond Computing for Human Experience 2008 Springer
22. M. Horridge, and S. Bechhofer The OWL API: a Java API for working with OWL 2 ontologies OWLED, vol. 529 of CEUR Workshop Proceedings, CEUR-WS.org 2009
23. M. Horridge, and B. Parsia From justifications towards proofs for ontology engineering Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR 2010 AAAI Press
24. M. Horridge, B. Parsia, and U. Sattler Explanation of OWL entailments in Protege 4 International Semantic Web Conference (Posters & Demos), vol. 401 of CEUR Workshop Proceedings, CEUR-WS.org 2008
25. M. Horridge, B. Parsia, and U. Sattler Laconic and precise justifications in OWL The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC, vol. 5318 of Lecture Notes in Computer Science 2008 Springer
26. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SQ and RDF to OWL: the making of a web ontology language Journal of Web Semantics 1 1 2003 7 26
27. L. Iannone, I. Palmisano, A.L. Rector, and R. Stevens Assessing the safety of knowledge patterns in owl ontologies The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC, vol. 6088 of Lecture Notes in Computer Science 2010 Springer
28. E. Jiménez-Ruiz, B. Cuenca Grau, I. Horrocks, and R. Berlanga Building ontologies collaboratively using ContentCVS Proc. of the International Workshop on Description Logics (DL), vol. 477 of CEUR Workshop Proceedings 2009
29. E. Jiménez-Ruiz, B. Cuenca Grau, I. Horrocks, and R. Berlanga ContentCVS: a CVS-based collaborative ONTology ENgineering Tool (demo) Proceedings of the 2nd International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009), Amsterdam, The Netherlands, vol. 559 of CEUR Workshop Proceedings 2009
30. E. Jiménez-Ruiz, B. Cuenca Grau, I. Horrocks, and R. Berlanga Ontology integration using mappings: towards getting the right logical consequences Proc. of the European Semantic Web Conference (ESWC), vol. 5554 of Lecture Notes in Computer Science 2009 Springer
31. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Safe and economic re-use of ontologies: a logic-based methodology and tool support The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC, vol. 5021 of Lecture Notes in Computer Science 2008 Springer
32. A. Jimeno-Yepes, E. Jiménez-Ruiz, R. Berlanga, D. Rebholz-Schuhmann, Reuse of terminological resources for efficient ontological engineering in life sciences, BMC Bioinformatics 10 (Suppl 10), 2009.
33. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin Finding all justifications of OWL DL entailments Proc. of the 6th International Semantic Web Conference (ISWC), vol. 4825 of Lecture Notes in Computer Science 2007 Springer
34. A. Kalyanpur, B. Parsia, E. Sirin, and B. Cuenca Grau Repairing unsatisfiable concepts in OWL ontologies Proc. of the 2nd European Semantic Web Conference (ESWC), vol. 4011 of Lecture Notes in Computer Science 2006 Springer
35. A. Kalyanpur, B. Parsia, E. Sirin, and J.A. Hendler Debugging unsatisfiable classes in OWL ontologies Journal of Web Semantics 3 4 2005 268 293
36. B. Konev, D. Walther, and F. Wolter The logical difference problem for description logic terminologies Proc. of the 4th International Joint Conference on Automated Reasoning (IJCAR), vol. 5195 of Lecture Notes in Computer Science 2008 Springer
37. K. Kotis On supporting HCOME-3O ontology argumentation using semantic wiki technology On the Move to Meaningful Internet Systems: OTM 2008 Workshops, vol. 5333 of Lecture Notes in Computer Science 2008 Springer
38. K. Kotis, and G.A. Vouros Human-centered ontology engineering: the HCOME methodology Knowledge and Information Systems 10 1 2006 109 131
39. A. Maedche, B. Motik, L. Stojanovic, R. Studer, and R. Volz An infrastructure for searching, reusing and evolving distributed ontologies Proc. of the International World Wide Web Conference (WWW) 2003
40. J.L.V. Mejino Jr., and C. Rosse Symbolic modeling of structural relationships in the Foundational Model of Anatomy Proc. of First International Workshop on Formal Biomedical Knowledge Representation (KR-MED) 2004
41. B. Motik, B. Cuenca Grau, I. Horrocks, Z. Wu, A. Fokoue, and C. Lutz OWL 2 Web Ontology Language: Profiles, W3C Recommendation 2009
42. B. Motik, P. Patel-Schneider, and B. Parsia OWL 2 Web Ontology Language Structural Specification and Functional-style syntax, W3C Recommendation 2009
43. R. Palma, P. Haase, O. Corcho, and A. Gómez-Pérez Change representation for OWL 2 ontologies Proceedings of the Sixth OWLED Workshop on OWL: Experiences and Directions 2009
44. R. Palma, P. Haase, and Q. Ji D1.3.2. Change Management to Support Collaborative Workflows NeOn Deliverable available at: http://www.neon-project. org/ 2008 (December, 2008)
45. A.L. Rector, and J. Rogers Ontological and practical issues in using a description logic to represent medical concept systems: experience from GALEN Proc. of Reasoning Web 2006
46. T. Redmond, M. Smith, N. Drummond, and T. Tudorache Managing change: an ontology version control system Proc. of OWL: Experiences and Directions, OWLED 2008
47. S. Schlobach, Z. Huang, R. Cornet, and F. van Harmelen Debugging incoherent terminologies Journal of Automated Reasoning 39 3 2007 317 349
48. D. Schober, J. Malone, and R. Stevens Observations in collaborative ontology editing using Collaborative Protégé Proceedings of the Workshop on Collaborative Construction, Management and Linking of Structured Knowledge (CK2009) 2009
49. J. Seidenberg, and A.L. Rector A methodology for asynchronous multi-user editing of semantic web ontologies Proc. of the 4th International Conference on Knowledge Capture (K-CAP), ACM 2007
50. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Journal of Web Semantics 5 2 2007 51 53
51. H. Sofia Pinto, C. Tempich, and S. Staab Ontology engineering and evolution in a distributed world using DILIGENT Handbook on Ontologies 2009 Springer 153 176
52. K. Spackman SNOMED RT and SNOMED CT. Promise of an international clinical ontology M.D. Computing 17 6):29 2000
53. H. Stuckenschmidt, and M. Klein Reasoning and change management in modular ontologies Data & Knowledge Engineering 63 2 2007 200 223
54. B. Suntisrivaraporn, G. Qi, Q. Ji, and P. Haase A modularization-based approach to finding all justifications for OWL DL entailments Proc. of the 3 rd Asian Semantic Web Conference (ASWC), vol. 5367 of Lecture Notes in Computer Science 2008 Springer
55. C. Tempich, E. Simperl, M. Luczak, R. Studer, and H.S. Pinto Argumentation-based ontology engineering IEEE Intelligent Systems 22 6 2007 52 59
56. C. Tempich, H. Sofia Pinto, Y. Sure, and S. Staab An argumentation ontology for distributed, loosely-controlled and evolving engineering processes of ontologies (DILIGENT) The Semantic Web: Research and Applications, Second European Semantic Web Conference (ESWC), vol. 3532 of Lecture Notes in Computer Science 2005 Springer
57. T. Tudorache, N. Fridman Noy, S.W. Tu, and M.A. Musen Supporting collaborative ontology development in Protégé International Semantic Web Conference (ISWC), vol. 5318 of Lecture Notes in Computer Science 2008 Springer