OBO and OWL: Leveraging semantic Web technologies for the life sciences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4825 LNCS, Issue , 2007, Pages 169-182

  Golbreich, Christine ^a   Horridge, Matthew ^b   Horrocks, Ian ^c   Motik, Boris ^c   Shearer, Rob ^c  

^a LABORATOIRE DES SCIENCES DU CLIMAT ET DE L ENVIRONNEMENT   (France)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; INFORMATION THEORY; LINGUISTICS; ONTOLOGY; SEMANTICS; SPECIFICATIONS;

FORMAL SEMANTICS; LIFE SCIENCES; MODELING ERRORS; ONTOLOGY DEVELOPMENT; ONTOLOGY LANGUAGES; SEMANTIC WEB TECHNOLOGIES; WEB TOOLS;

SEMANTIC WEB;

EID: 49949088873     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76298-0_13     Document Type: Conference Paper

References (25)

1. Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene Ontolgy: Tool for the Unification of Biology. Nature Genetics 25(1), 25-29 (2000)
2. Derriere, S., Richard, A., Preite-Martinez, A.: An Ontology of Astronomical Object Types for the Virtual Observatory. In: Proc. of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, Prague, Czech Republic, August 21-22, 2006, pp. 17-18 (2006)
3. Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic 3(2), 177-225 (2002)
4. Gardiner, T., Horrocks, I., Tsarkov, D.: Automated Benchmarking of Description Logic Reasoners. In: Proc. of DL 2006. CEUR, vol. 189 (2006)
5. Golbreich, C., Zhang, S., Bodenreider, O.: The Foundational Model of Anatomy in OWL: Experience and Perspectives. Journal of Web Semantics 4(3), 181-195 (2006)
6. Goodwin, J.: Experiences of using OWL at the Ordnance Survey. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
7. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the Right Amount: Extracting Modules from Ontologies. In: Proc. of WWW 2007, pp. 717-726 (2007)
8. Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.-P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701-706. Springer, Heidelberg (2001)
9. Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a Description Logic Vocabulary for Cancer Research. Journal of Biomedical Informatics 38(2), 114-129 (2005)
10. Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: Proc. OWL-ED 2007. CEUR, vol. 258 (2007)
11. Kalyanpur, A., Parsia, B., Hendler, J.: A Tool for Working with Web Ontologies. International Journal on Semantic Web and Information Systems 1(1), 36-49 (2005)
12. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging Unsatisfiable Classes in OWL Ontologies. Journal of Web Semantics 3(4), 243-366 (2005)
13. Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229-243. Springer, Heidelberg (2004)
14. Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R.: Experiences Using OWL in Military Applications. In: Proc. of OWL-ED 05. CEUR, vol. 188 (2005)
15. Motik, B., Horrocks, I., Sattler, U.: Bridging the Gap Between OWL and Relational Databases. In: Proc. of WWW 2007, pp. 807-816 (2007)
16. Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 227-241. Springer, Heidelberg (2006)
17. Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Proc. of CADE-21. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007)
18. Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. W3C Member Submission (December 19, 2006), Available at http://www.w3.org/Submission/owlli-overview/
19. Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 216-270. MIT Press, Cambridge, MA, USA (1968)
20. Rector, A., Rogers, J.: Ontological and Practical Issues in Using a. Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Reasoning Web, Second International Summer School, Tutorial Lectures, Lisbon, Portugal, September 4-8 2006, pp. 197-231 (2006)
21. Ruttenberg, A., Rees, J., Luciano, J.: Experience Using OWL DL for the Exchange of Biological Pathway Information. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
22. Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein Ontology Development using OWL. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
23. Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Proc. of DL 2004. CEUR, vol. 104 (2004)
24. Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S.: Reengineering Thesauri for New Applications: The AGROVOC Example. Journal of Digital Information 4(4) (2004)
25. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR, 2006. LNCS (LNAI), vol. 4130, pp. 292-297. Springer, Heidelberg (2006)