Skip to main content

On Ontologies

  • Chapter
  • First Online:
  • 1071 Accesses

Part of the book series: Law, Governance and Technology Series ((LGTS,volume 3))

Abstract

What is an ontology? This chapter offers an in-depth introduction to the different definitions of ontologies offered by relevant authors over these last years, and also includes an overview of other relevant ontology design criteria and a description of ontology types.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    A similar definition may be found in Gruber (1992).

  2. 2.

    “The Knowledge Level Hypothesis: There exists a distinct computer systems level, lying immediately above the symbol level, which is characterized by knowledge as the medium and the principle of rationality as the law of behavior” (Newell1981).

  3. 3.

    Hoekstra (2001) notes that “according to this definition there is no requirement for an ontology to be formally grounded.”

  4. 4.

    N. Guarino is perhaps one of the authors that has dedicated most effort into the clarification of the meaning of the terms ontology, formal ontology and ontological commitment, together with the relation to its philosophical counterpart and its distinction with epistemology. See (Guarino et al. 1994a, b; Guarino and Giaretta 1995; Guarino 1995; 1997a, b, 1998). Also the works of Sowa (1995, 2000) have been largely influenced by philosophical contributions, especially from C.S. Peirce and A.N. Whitehead (although he also takes into account I. Kant, E. Husserl, or M. Heidegger). This author is well-known for his contribution to the development of conceptual graphs (see, for example, Sowa (1976, 1980) for further insight into his earlier research.

  5. 5.

    Guarino and Giaretta (1995) proposed to use Ontology, with capital “O” to refer to the philosophical discipline. A distinction that has become generally accepted by the AI community.

  6. 6.

    “The problem with Gruber’s definition, however, is that it relies on an extensional notion of conceptualization which, while being compatible with the preliminary characterization given in the previous section, does not fit our purposes of defining what an ontology is. We have already pointed to this problem in Guarino et al. (1994b); we shall discuss it here in detail, proposing an alternative, intensional definition of conceptualization which satisfies our needs” (Guarino and Giaretta 1995).

  7. 7.

    An extensive discussion on the subject may be found in Guarino (1995).

  8. 8.

    See (Guarino and Giaretta 1995; Uschold and King1995) for further comments on this point.

  9. 9.

    “Ontologies are concerned with static domain knowledge while PSMs deal with modeling reasoning processes. A PSM defines a way of achieving the goal of a task. It has inputs and outputs and may decompose a task into subtasks, and tasks into methods. In addition, a PSM specifies the data flow between its subtasks. An important PSM component is its method ontology because it describes the concepts used by the method on the reasoning process as well as the relationships between such concepts” (Gómez-Pérez et al. 2003).

  10. 10.

    See the work of Rodríguez-Aguilar (2001), Schneider and Cunningham (2003), Boella and van der Torre (2004a, b), Boella et al. (2005), Vázquez-Salceda et al. (2005) and Aldewereld et al. (2006).

  11. 11.

    The authors take a definition of ontology from a knowledge base perspective “as a system of concepts/vocabularies used as primitives for building artificial systems”, because they are interested in knowledge for problem solving, “rather than knowledge in general” (Mizoguchi et al. 1995).

  12. 12.

    Later, Uschold and Jasper (1999) also added that ontologies could not only be distinguished for the degree of formality but also for their amount of formality (restriction of possible interpretations and reduction of ambiguity), resulting in ontologies rich in meaning or hi-fat ontologies and low-fat ontologies or ontologies less rich in meaning.

  13. 13.

    See Uschold and King (1995), Uschold and Grüninger (1996b), Uschold (1996) and Uschold and Jasper (1999) for further details.

  14. 14.

    In Uschold and Grüninger (1996b) knowledge acquisition did not appear in the category of systems engineering benefits and search and maintenance were added by Uschold and Jasper (1999).

  15. 15.

    For instance, Cyc, see Lenat et al. (1985), Lenat and Guha (1990) and Lenat (1995).

  16. 16.

    For example, WordNet, see Miller (1995) or visit http://wordnet.princeton.edu, retrieved November 10, 2008.

  17. 17.

    It is important to note that the authors make an explicit distinction between domain ontologies and domain knowledge. The latter describes factual situations in a certain domain.

  18. 18.

    Already present in Guarino (1997b).

  19. 19.

    “In contrast with ‘lightweight’ ontologies, which focus on a minimal terminological structure (often just a taxonomy) fitting the needs of a specific community, the main purpose of foundational ontologies is to negotiate meaning, either for enabling effective cooperation among multiple artificial agents, or for establishing consensus in a mixed society where artificial agents cooperate with human beings” (Gangemi et al. 2002).

  20. 20.

    Took into account previous work of several authors, Chandrasekaran and colleagues (Bylander and Chandrasekaran 1987; Chandrasekaran1986) and Fensel et al. (1996).

  21. 21.

    For Studer et al. (1998), the different levels of generality of an ontology (for KE) correspond to different levels of reusability.

  22. 22.

    This distinction is similar to Studer et al. (1998)’s static domain knowledge and dynamic reasoning knowledge.

  23. 23.

    They also provided a typology of ontologies regarding their richness of internal structure, inspired by Lassila and McGuinness (2001) and McGuinness (2003). However, the list presented by Gómez-Pérez et al. (2003) included also informal representations of knowledge (e.g., glossaries and thesauri).

  24. 24.

    At first, general and meta-ontologies (also referred to as core or generic ontologies) were first considered to be differentiated types of ontologies. However, in later publications, meta-ontologies disappeared as a class and general ontologies took the content of meta-ontologies. Therefore, originally, general ontologies included “a vocabulary related to things, events, time, space, causality, behavior, function, etc.” and were based on only on Mizoguchi et al. (1995). So, the Mereology ontology was an example of a meta-ontology, based only on van Heijst et al. (1997b) (Gómez-Pérez 1999; Corcho et al. 2001).

  25. 25.

    In this sense categorizations can be made in reference not on the subject of their conceptualization but on the richness of their internal structure. The more expressive ontologies are the ones that express general logical constraints (Lassila and McGuinness2001; Gómez-Pérez et al. 2003).

  26. 26.

    This leads to the so-called reusability-usability trade-off : the more reusable an ontology is, the less usable it becomes. It is, in fact, obvious, that a top level ontology regarding Time, Space and Objects is far more reusable across different domains than an ontology regarding Wine. Generality increases reusability, but it should be noted that clear ontological commitments and clear distinctions between PSM and domain knowledge may do as well.

  27. 27.

    Bench-Capon (2001) emphasises that “I content that task neutrality is a chimera: the most that can be achieved is an ontology which is even-handed between several, identified tasks.” (Emphasis in the original) Also, “[w]hat ontologies cannot do is make the knowledge available for effort-free reuse. Nor in my view, can ontologies be sensibly developed except in the context of a particular task.” “So, let us build ontologies for particular systems as part of our development methodology. But let us not build ontologies not driven by any task, in the hope that they may one day prove to be the answer to every problem that may in a domain.”

  28. 28.

    McCarty’s Language for Legal Discourse, Stamper’s NORMA formalism, Valente’s Functional Ontology of Law and Van Kralingen and Visser’s Frame-Based Ontology, although only Valente’s and Van Kralingen and Visser’s had been proposed as ontologies of the legal domain. “As far as our list is concerned, at the time of this research only two of the four ontologies were actually proposed as ontologies and are described in a dedicated ontology language (viz. LFU and FBO). The other two proposals (viz LLD and NOR) are representational formalisms from which we (viz. the authors) have derived some of their underlying ontological assumptions” (Visser and Bench-Capon 1998b).

  29. 29.

    This author also considers that the term ‘ontology’ should not be used when referring to domain-independent knowledge representations – representation languages – (Valente2005). Also, although the origins of ontologies were related to knowledge sharing and reuse, most ontologies are built “with some application in mind.”

  30. 30.

    This view is also taken by Breuker et al. (2007).

  31. 31.

    As does the generic definition by (Haase et al.2006) “[o]ntologies are artefacts that are designed for a specific purpose to satisfy certain requirements and needs emerging in the real world.”

  32. 32.

    For example, “[a]ssessing the epistemological completeness of an ontology is problematic because in order to determine whether an ontology facilitates the modelling of some piece of legal knowledge we need to identify this piece of knowledge first. This requires at least some commonly accepted theory about legal knowledge that tells us what pieces of knowledge exist in the legal domain. The problem is that we do not have such a theory. Briefly stated, there is no golden standard for the comparison” (Visser and Bench-Capon1997).

  33. 33.

    Most authors refer to representation frameworks as also representation ontologies or meta-ontologies. Towards this division we take especially into account the works of Gruber (1993b), Uschold and King (1995), Uschold and Grüninger (1996b), and Uschold (1996).

References

  • Alberts, L. K. 1994. Ymir: A sharable ontology for the formal representation of engineering-design knowledge. In Formal design methods for CAD, ed. J. S. Gero and E. Tyugu, IFIP transactions, Vol. B-18, 3–32. New York: Elsevier.

    Google Scholar 

  • Bench-Capon, T. 2001. Task neutral ontologies, common sense ontologies and legal information systems. In Proceedings of the Second International Workshop on Legal Ontologies (LEGONT) in JURIX 2001, ed. R. Winkels, 15–19. Amsterdam: IOS Press.

    Google Scholar 

  • Borst, W. N. 1997. Construction of engineering ontologies for knowledge sharing and reuse. Ph.D. thesis, University of Twente.

    Google Scholar 

  • Breuker, J. 2003. Managing legal domains: In search of a core ontology for law. In Proceedings of the Workshop on Knowledge Management and the Semantic Web at KCAP-2003, ed. R. Dieng-Kuntz and F. Gandon. Sanibel, Florida, USA.

    Google Scholar 

  • Breuker, J., A. Elhag, E. Petkov, and R. Winkels. 2002a. Ontologies for legal information serving and knowledge management. In Legal knowledge and information systems. Jurix 2002: The Fifteenth Annual Conference, ed. T. Bench-Capon, A. Daskalopulu, and R. Winkels, 73–82. Amsterdam: IOS Press.

    Google Scholar 

  • Breuker, J., A. Valente, and R. Winkels. 2005. Use and reuse of legal ontologies in knowledge engineering and information management. In Law and the Semantic Web. Legal ontologies, methodologies, legal information retrieval, and applications, ed. V. R. Benjamins, P. Casanovas, J. Breuker, and A. Gangemi. Lecture notes in computerscience, Vol. 3369, 35–64. Berlin/Heidelberg: Springer.

    Google Scholar 

  • Bylander, T., and B. Chandrasekaran. 1987. Generic tasks for knowledge-based reasoning: The “right” level of abstraction for knowledge acquisition. International Journal of Man-Machine Studies 26(2):231–243.

    Article  Google Scholar 

  • Chandrasekaran, B. 1986, Fall. Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design. IEEE Expert 1(3):23–30.

    Google Scholar 

  • Chandrasekaran, B., J. Josephson, and R. Benjamins. 1998. The ontology of tasks and methods. In Proceedings of the 11th Knowledge Acquisition Modeling and Management Workshop, KAW’98, April. Banff: Voyager Inn. (Expanded version).

    Google Scholar 

  • Chandrasekaran, B., J. R. Josephson, and V. R. Benjamins. 1999, Jan./Feb. What are ontologies, and why do we need them? IEEE Intelligent Systems 14(1):20–26.

    Google Scholar 

  • Ding, L., P. Kolari, Z. Ding, S. Avancha, T. Finin, and A. Joshi. 2005, July. Using ontologies in the Semantic Web: A survey. e-Biquity TechReport TR-CS-05-07, UMBC eBiquity Research Group.

    Google Scholar 

  • Fensel, D., A. Schönegge, R. Groenboom, and B. Wielinga. 1996. Specification and verification of knowledge-based systems. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW’96), Banff, Vol. 1, 1–20.

    Google Scholar 

  • Gangemi, A., N. Guarino, C. Masolo, A. Oltramari, and L. Schneider. 2002. Sweetening ontologies with DOLCE. In Knowledge engineering and knowledge management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, ed. A. Gómez-Pérez and V. Benjamins, 166–181. London: Springer.

    Chapter  Google Scholar 

  • Gruber, T. R. 1991. The role of common ontology in achieving sharable, reusable knowledge bases. In KR’91: Principles of knowledge representation and reasoning, ed. J. F. Allen, R. Fikes, and E. Sandewall, 601–602. San Mateo: Morgan Kaufmann.

    Google Scholar 

  • Gruber, T. R. 1992. Ontolingua: A mechanism to support portable ontologies. Technical report, Knowledge Systems Laboratory, Stanford University.

    Google Scholar 

  • Gruber, T. R. 1993a. Toward principles for the design of ontologies used for knowledge sharing. Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University.

    Google Scholar 

  • Gruber, T. R. 1993b. A translation approach to portable ontology specifications. Knowledge Acquisition 5(2):199–220. Based on Technical Report KSL 92-71 (September 1992, revised April 1993), of the Knowledge Systems Laboratory, Computer Science Department, Stanford University.

    Google Scholar 

  • Guarino, N. 1995. Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies43(5–6):625–640.

    Article  Google Scholar 

  • Guarino, N. 1997a. Semantic matching: Formal ontological distinctions for information organization, extraction, and integration. In Information extraction: A multidisciplinary approach to an emerging information technology, ed. M. T. Pazienza. Lecture notes in computer science, Vol. 1299, 139–170. New York: Springer

    Google Scholar 

  • Guarino, N. 1997b. Understanding, building and using ontologies. International Journal of Human-Computer Studies46(2–3):293–310. First appeared at KAW’96, Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW’96), Banff.

    Google Scholar 

  • Guarino, N. 1998. Formal ontology and information systems. In Formal ontology in information systems. Proceedings of the International Conference on Formal Ontologies in Information Systemsof (FOIS’98), Trento, 6–8 June 1998, ed. N. Guarino, 3–15. Amsterdam: IOS Press.

    Google Scholar 

  • Guarino, N., M. Carrara, and P. Giaretta. 1994a. Formalizing ontological commitments. In AAAI ’94: Proceedings of the twelfth national conference on Artificial intelligence (vol. 1), Seattle, ed. B. Hayes-Roth and R. Korf, 560–567. Menlo Park: American Association for Artificial Intelligence Press.

    Google Scholar 

  • Guarino, N., and P. Giaretta. 1995. Ontologies and knowledge bases: Towards a terminological clarification. In Towards very large knowledge bases: Knowledge building and knowledge sharing, ed. N. J. I. Mars, 25–32. Amsterdam: IOS Press.

    Google Scholar 

  • Haase, P., S. Rudolph, Y. Wang, S. Brockmans, R. Palma, J. Euzenat, and M. d’Aquin. 2006, November. Networked ontology model. Deliverable D1.1.1, NeOn Project, http://www.neon-project.org

  • Hoekstra, R. 2001. Errors in modeling & representation. Master’s thesis, Department of Computer Science and Law, University of Amsterdam.

    Google Scholar 

  • Horrocks, I., and P. F. Patel-Schneider. 2003. Three theses of representation in the Semantic Web. In Proceedings of the WWW2003 Conference, May 20–24, 2003, Budapest. New York: ACM.

    Google Scholar 

  • Lassila, O., and D. McGuinness. 2001, January. The role of frame-based representation on the Semantic Web. Technical Reports KSL-01-02, Knowledge Systems Laboratory, Stanford University.

    Google Scholar 

  • Lenat, D., M. Prakash, and M. Shepherd. 1985 Cyc: Using common sense knowledge to overcome brittleness and knowledge acquisition bottlenecks. AI Magazine 6(4):65–85.

    Google Scholar 

  • Lenat, D. B., and R. V. Guha. 1990. Building large knowledge-based systems: Representation and inference in the CYC project. Reading: Addison-Wesley.

    Google Scholar 

  • Liebwald, D. 2007. Semantic spaces and multilingualism in the law: The challenge of legal knowledge management. In Proceedings of the Workshop on Legal Ontologies and Artificial Intelligence Techniques (LOAIT 2007) at the International Conference on AI and Law (ICAIL’07), Stanford, June 4, ed. P. Casanovas, M. A. Biasiotti, and E. Francesconi, M. T. Sagri, 131–146.

    Google Scholar 

  • Masolo, C., S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, and L. Schneider. 2002. WonderWeb deliverable D17. The WonderWeb library of foundational ontologies and the DOLCE ontology. Technical report, National Research Council, Institute of Cognitive Sciences and Technology (ISTC-CNR).

    Google Scholar 

  • McGuinness, D. L. 2003. Ontologies come of age. In Spinning the Semantic Web: Bringing the world wide web to its full potential, ed. D. Fensel, J. A. Hendler, H. Lieberman, and W. Wahlster, 171–194. Cambridge: MIT Press.

    Google Scholar 

  • Miller, G. A. 1995. WordNet: A lexical database for English. Communications of the ACM 38(11): 39–41.

    Article  Google Scholar 

  • Mizoguchi, R., Y. Tijerino, and M. Ikeda. 1995. Task analysis interview based on task ontology. Expert Systems with Applications 9(1):15–25.

    Article  Google Scholar 

  • Musen, M. A. 1992. Dimensions of knowledge sharing and reuse. Computers and Biomedical Research 25:435–467.

    Article  Google Scholar 

  • Neches, R., R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W. R. Swartout. 1991. Enabling technology for knowledge sharing. AI Magazine 12(3):36–56.

    Google Scholar 

  • Newell, A. 1981, Summer. The knowledge level (presidential address American association for artificial intelligence aaai80, Stanford university 19 august 1980). AI Magazine 2(2):1–20, 33.

    Google Scholar 

  • Noy, N. F., and C. D. Hafner. 1997. The state of the art in ontology design: A survey and comparative review. AI Magazine 18(3):53–74.

    Google Scholar 

  • Sowa, J. F. 1976. Conceptual graphs for a data base interface. IBM Journal of Research and Development 20(4):336–357.

    Article  Google Scholar 

  • Sowa, J. F. 1995. Top-level ontological categories. International Journal of Human-Computer Studies43(5–6):669–685.

    Article  Google Scholar 

  • Studer, R., V. R. Benjamins, and D. Fensel. 1998. Knowledge engineering: Principles and methods. Data Knowledge Engineering 25(1–2):161–197.

    Article  Google Scholar 

  • Uschold, M. 1996, September. Building ontologies: Towards a unified methodology. In Technical Report AIAI-TR-197, and in Proceedings of Expert Systems 1996, the 16th Annual Conference of the British Computer Society Specialist Group on Expert Systems. Cambridge: The University of Edinburgh.

    Google Scholar 

  • Uschold, M., and R. Jasper. 1999. A framework for understanding and classifying ontology applications. In IJCAI-99 Workshop on Ontologies and Problem-Solving Methods (KRR5), ed. V. R. Benjamins, Stockholm.

    Google Scholar 

  • Uschold, M., and M. King. 1995. Towards a methodology for building ontologies. In Proceedings of the Workshop on Basic Ontological Issues in Knowledge Sharing at IJCAI’95, ed. D. Skuce, Montreal.

    Google Scholar 

  • Valente, A. 2005. Types and roles of legal ontologies. In Law and the Semantic Web. Legal ontologies, methodologies, legal information retrieval, and applications [outcome of the Workshop on Legal Ontologies and Web-Based Legal Information Management, June 28, 2003, Edinburgh, UK & International Seminar on Law and the Semantic Web, November 20–21, 2003, Barcelona, Spain], ed. V. R. Benjamins, P. Casanovas, J. Breuker, and A. Gangemi. Lecture notes in computer science, Vol. 3369, 65–76. Berlin/Heidelberg: Springer.

    Google Scholar 

  • Valente, A., and J. Breuker. 1996. Towards principled core ontologies. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW’96), Banff.

    Google Scholar 

  • van Heijst, G. 1995, May. The role of ontologies in knowledge engineering. Ph.D. thesis, Social Science Informatics, University of Amsterdam.

    Google Scholar 

  • van Heijst, G., S. Falasconi, A. Abu-Hanna, G. Schreiber, and M. Stefanelli. 1995 A case study in ontology library construction. Artificial Intelligence in Medicine 7(3):227–255.

    Article  Google Scholar 

  • van Heijst, G., A. T. Schreiber, and B. J. Wielinga. 1997a. Roles are not classes: A reply to Nicola Guarino. International Journal of Human-Computer Studies 46(2):311–318.

    Article  Google Scholar 

  • van Laarschot, R. 2005, August. Ontology-based knowledge modelling in Dutch law. Master’s thesis, Department of Artificial Intelligence, Vrije Universiteit Amsterdam.

    Google Scholar 

  • Visser, P., and T. Bench-Capon. 1997. A comparison of two legal ontologies. In Proceedings of the First International Workshop on Legal Ontologies (LEGONT’97) , ed. P. Visser and R. Winkels, Melbourne, 37–45. University of Melbourne.

    Google Scholar 

  • Visser, P., and T. Bench-Capon. 1998a. Ontologies in the design of legal information systems; towards a library of legal domain ontologies. In Proceedings of the Conference on Applied Ontology, Buffalo University, 76–85.

    Google Scholar 

  • Visser, P. R. S., and T. J. M. Bench-Capon. 1998b. A comparison of four ontologies for the design of legal knowledge systems. Artificial Intelligence and Law 6:27–57.

    Article  Google Scholar 

  • Wielinga, B., and A. T. Schreiber. 1993. Reusable and shareable knowledge bases: A European perspective. In Proceedings of the International Conference on Building and Sharing of Very Large-Scale Knowledge Bases Proceedings (KB&KS’93), December 1–4, ed. K. Fuchi, Tokyo, 103–115.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Núria Casellas .

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Casellas, N. (2011). On Ontologies. In: Legal Ontology Engineering. Law, Governance and Technology Series, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1497-7_2

Download citation

Publish with us

Policies and ethics