Abstract
Ontology, in its original philosophical sense, is a fundamental branch of metaphysics focusing on the study of existence; its objective is to determine what entities and types of entities actually exist and thus to study the structure of the world. In contrast, in computer science an ontology is an engineering artifact, usually a “conceptual model” of (some aspect of) the world, typically formalised as a logical theory. Formalising an ontology using a suitable logic opens up the possibility of using automated reasoning to support both ontology design and deployment. The value of such support has already been demonstrated in medical applications, where it has been used to help repair and enrich ontologies that play an important role in patient care.Even with the aid of reasoning enabled tools, developing and maintaining good quality ontologies is a difficult and costly task, and problems related to the availability of good quality ontologies threaten to limit the deployment of ontology-based information systems. This has resulted in ontology engineers increasingly looking to the philosophy community for possible solutions, and in particular as a source of relevant expertise in the organisation and formalisation of knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Comput. Surv. 18(4), 323–364 (1986)
Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognit. Sci. 9(2), 171–216 (1985)
Derriere, S., Richard, A., Preite-Martinez, A.: An ontology of astronomical object types for the virtual observatory. In: Proceedings of Special Session 3 of the 26th Meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities (2006)
Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: OIL: an ontology infrastructure for the semantic web. IEEE Intell. Syst. 16(2), 38–45 (2001)
Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant. 4(3), 181–195 (2006)
Goodwin, J.: Experiences of using OWL at the ordnance survey. In: Proceedings of the First OWL Experiences and Directions Workshop. CEUR Workshop Proceedings, vol. 188, CEUR Online Workshop Proceedings (http://ceur-ws.org/) (2005)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of the Sixteenth International World Wide Web Conference (WWW 2007). ACM Press, New York (2007a)
Grau, B.C., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 298–303 (2007b)
Haarslev, V., Möller, R.: RACER system description. In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001). Lecture Notes in Artificial Intelligence, vol. 2083, pp. 701–705. Springer, Berlin (2001)
Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a description logic vocabulary for cancer research. J. Biomed. Informat. 38(2), 114–129 (2005)
Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\mathcal{S}\mathcal{H}\mathcal{O}\mathcal{I}\mathcal{Q}\). In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 448–453. Professional Book Center. AAAI Press, Menlo Park (2005)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: Reviewing the design of DAML + OIL: an ontology language for the semantic web. In: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002), pp. 792–797. AAAI Press (2002), ISBN 0-26251-129-0
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{S}\mathcal{H}\mathcal{I}\mathcal{Q}\) and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003) ISSN 1570–8268
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: SWOOP: a web ontology editing browser. J. Web Semant. 4(2) (2005a)
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 243–366 (2005b)
Kershenbaum, A., Fokoue, A., Patel, C., Welty, C., Schonberg, E., Cimino, J., Ma, L., Srinivas, K., Schloss, R., Murdock, J.W.: A view of OWL from the field: use cases and experiences. In: Proceedings of the Second OWL Experiences and Directions Workshop. CEUR Workshop Proceedings, vol. 216 (http://ceur-ws.org/). CEUR (2006)
Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The Protégé OWL Plugin: an open development environment for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) Proceedings of the 3rd International Semantic Web Conference (ISWC 2004). Lecture Notes in Computer Science, vol. 3298, pp. 229–243. Springer, Berlin (2004), ISBN 3-540-23798-4
Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R.: Experiences using OWL in military applications. In: Proceedings of the First OWL Experiences and Directions Workshop. CEUR Workshop Proceedings, vol. 188 (http://ceur-ws.org/). CEUR (2005)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language semantics and abstract syntax, W3C Recommendation, 10 February 2004, URL http://www.w3.org/TR/owl-semantics/
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. LNCS, vol. 4126, pp. 197–231. Springer, Heidelberg (2006)
Ruttenberg, A., Rees, J., Luciano, J.: Experience using OWL DL for the exchange of biological pathway information. In: Proceedings of the First OWL Experiences and Directions Workshop. CEUR Workshop Proceedings, vol. 188 (http://ceur-ws.org/). CEUR (2005)
Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein ontology development using OWL. In: Proceedings of the First OWL Experiences and Directions Workshop. CEUR Workshop Proceedings, vol. 188 (http://ceur-ws.org/). CEUR (2005)
Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)
Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S.: Reengineering thesauri for new applications: the AGROVOC example. J. Digital Inform. 4(4) (2004)
Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT. J. Am. Med. Informat. Assoc. (2000) Fall Symposium Special Issue
Stevens, R., Baker, P., Bechhofer, S., Ng, G., Jacoby, A., Paton, N.W., Goble, C.A., Brass, A.: Tambis: transparent access to multiple bioinformatics information sources. Bioinformatics 16(2), 184–186 (2000)
SWEET: Semantic web for earth and environmental terminology (SWEET). Jet Propulsion Laboratory, California Institute of Technology (2006), http://sweet.jpl.nasa.gov/
Tsarkov, D., Horrocks, I.: FaCT\(++\) description logic reasoner: system description. In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2006). Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292–297. Springer, Berlin (2006)
Woods, W.A.: What’s in a link: foundations for semantic networks. In: Brachman, R.J., Levesque, H.J. (eds.) Readings in Knowledge Representation, pp. 217–241. Morgan Kaufmann Publishers, San Francisco, California (1985); Previously published In: Bobrow, D.G., Collins, A.M. (eds.) Representation and Understanding: Studies in Cognitive Science, pp. 35–82. Academic, New York (1975)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Horrocks, I. (2013). What Are Ontologies Good For?. In: Küppers, BO., Hahn, U., Artmann, S. (eds) Evolution of Semantic Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34997-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-34997-3_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34996-6
Online ISBN: 978-3-642-34997-3
eBook Packages: Computer ScienceComputer Science (R0)