Wikipedia

Draft:Outline of ontologies

The following outline is provided as an overview of and topical guide to ontologies:

Ontology is the philosophical study of being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines what all things have in common. It also investigates how they can be grouped into basic types, such as the categories of particulars and universals. Particulars are unique, non-repeatable entities, like the person Socrates. Universals are general, repeatable entities, like the color green. Another contrast is between concrete objects existing in space and time, like a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality, employing categories such as substance, property, relation, state of affairs, and event.

What type of thing is an ontology?

edit

Ontologies can be described as all of the following:

  • A type of tool of knowledge representation and reasoning (KR) – KR is a field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Examples of knowledge representation formalisms include semantic nets, frames, rules, and ontologies.

Types of ontologies

edit
  • Lightweight ontology
  • Upper ontology – ontology which describes very general concepts that are the same across all knowledge domains.
    • Standard upper ontology – (IEEE P1600.1 term for a) near-universal upper ontology (or foundation ontology). Several upper ontologies are competing to become the standard.

Ontology components

edit

Ontology components

  • Individuals – instances or objects (the basic or "ground level" objects)
  • Classes – sets, collections, concepts, types of objects, or kinds of things.[1]
  • Attributes – aspects, properties, features, characteristics, or parameters that objects (and classes) can have
  • Relations – ways in which classes and individuals can be related to one another
  • Function terms – complex structures formed from certain relations that can be used in place of an individual term in a statement
  • Restrictions – formally stated descriptions of what must be true in order for some assertion to be accepted as input
  • Rules – statements in the form of an if-then (antecedent-consequent) sentence that describe the logical inferences that can be drawn from an assertion in a particular form
  • Axioms – assertions (including rules) in a logical form that together comprise the overall theory that the ontology describes in its domain of application. This definition differs from that of "axioms" in generative grammar and formal logic. In these disciplines, axioms include only statements asserted as a priori knowledge. As used here, "axioms" also include the theory derived from axiomatic statements.
  • Events – the changing of attributes or relations
  • Ontology notation – ontologies are commonly encoded using ontology languages.

Applications of ontologies

edit

Linguistics applications

edit

Reasoning applications

edit

Search applications

edit

Examples of ontologies

edit

Examples of biological and biomedical ontologies

edit
  • Gene Ontology for genomics
  • BioPAX[11] – ontology for the exchange and interoperability of biological pathway (cellular processes) data
  • CCO and GexKB[12] – Application Ontologies (APO) that integrate diverse types of knowledge with the Cell Cycle Ontology (CCO) and the Gene Expression Knowledge Base (GexKB)
  • Disease Ontology[13] – ontology designed to facilitate the mapping of diseases and associated conditions to particular medical codes. It was originally developed at Northwestern University and is associated with the Open Biomedical Ontologies Foundry.
  • Foundational Model of Anatomy[14] – reference ontology for the domain of anatomy. It is a symbolic representation of the canonical, phenotypic structure of an organism; a spatial-structural ontology of anatomical entities and relations which form the physical organization of an organism at all salient levels of granularity.
  • NCBO Bioportal,[15] biological and biomedical ontologies and associated tools to search, browse and visualise
  • NIFSTD Ontologies from the Neuroscience Information Framework: a modular set of ontologies for the neuroscience domain. See http://neuinfo.org
  • OBO-Edit,[16] an ontology browser for most of the Open Biological and Biomedical Ontologies
  • OBO Foundry,[17] a suite of interoperable reference ontologies in biology and biomedicine
  • ONSTR,[18] Ontology for Newborn Screening Follow-up and Translational Research [1], Newborn Screening Follow-up Data Integration Collaborative, Emory University, Atlanta, GA. See also https://nbsdc.org/projectmission.php
  • Plant Ontology[19] for plant structures and growth/development stages, etc.
  • POPE, Purdue Ontology for Pharmaceutical Engineering
  • SNOMED CT (Systematized Nomenclature of Medicine -- Clinical Terms)
  • Systems Biology Ontology (SBO) – for computational models in biology
  • SWEET[20] – Semantic Web for Earth and Environmental Terminology
  • TIME-ITEM, Topics for Indexing Medical Education
  • Uberon[21] – representing animal anatomical structures

Examples of upper ontologies

edit

Upper ontology – ontology which describes very general concepts that are the same across all knowledge domains. Examples of upper ontologies include:

  • Basic Formal Ontology,[22] a formal upper ontology designed to support scientific research
  • COSMO,[23] a Foundation Ontology (current version in OWL) that is designed to contain representations of all of the primitive concepts needed to logically specify the meanings of any domain entity. It is intended to serve as a basic ontology that can be used to translate among the representations in other ontologies or databases. It started as a merger of the basic elements of the OpenCyc and SUMO ontologies, and has been supplemented with other ontology elements (types, relations) so as to include representations of all of the words in the Longman dictionary defining vocabulary.
  • DOLCE, a Descriptive Ontology for Linguistic and Cognitive Engineering
  • GOLD,[24] General Ontology for Linguistic Description
  • GUM (Generalized Upper Model),[25] a linguistically motivated ontology for mediating between clients systems and natural language technology
  • Suggested Upper Merged Ontology (SUMO) – formal upper ontology
  • YAMATO,[26] Yet Another More Advanced Top-level Ontology

History of ontologies

edit

History of ontologies

Ontology languages

edit

Ontology language – formal language used to construct ontologies, that allows the encoding of knowledge about specific domains. An ontology language may include reasoning rules that support the processing of that knowledge.

  • RDF Schema (Resource Description Framework Schema) – set of classes with certain properties using the RDF extensible knowledge representation data model, providing basic elements for the description of ontologies, otherwise called RDF vocabularies, intended to structure RDF web resources.
  • Web Ontology Language (OWL) – family of knowledge representation languages for authoring ontologies.

Ontology engineering

edit

Ontology engineering – building ontologies, and the field that studies the methods and methodologies for building ontologies.

Ontology learning

edit

Ontology learning –

Ontology organizations

edit

Ontology publications

edit

Persons influential in ontologies

edit
  • Adam Pease – American computer scientist doing research in ontology and formal reasoning. He is best known as the Technical Editor of the Suggested Upper Merged Ontology (SUMO) upper ontology intended as a foundation ontology for a variety of computer information processing systems.


See also

edit

References

edit
  1. ^ See Class (set theory), Class (computer science), and Class (philosophy), each of which is relevant but not identical to the notion of a "class" here.
  2. ^ Osterwalder, Alexander; Pigneur, Yves (June 17–19, 2002). "An e-Business Model Ontology for Modeling e-Business" (PDF). 15th Bled eConference, Slovenia. {{cite journal}}: Cite journal requires |journal= (help)CS1 maint: location (link)
  3. ^ "CContology". Retrieved 10 February 2011.
  4. ^ "The CIDOC Conceptual Reference Model (CRM)". Retrieved 10 February 2011.
  5. ^ "Foundational, Core and Linguistic Ontologies". Retrieved 10 February 2011.
  6. ^ "The IDEAS Group Website". Retrieved 10 February 2011.
  7. ^ "Linkbase". Retrieved 10 February 2011.
  8. ^ "OMNIBUS Ontology". Retrieved 10 February 2011.
  9. ^ "PRO". Retrieved 10 February 2011.
  10. ^ "Protein Ontology". Retrieved 10 February 2011.
  11. ^ "BioPAX". Retrieved 10 February 2011.
  12. ^ "About CCO and GexKB". Semantic Systems Biology.
  13. ^ "Disease Ontology". Sourceforge. Retrieved 10 February 2011.
  14. ^ "Foundational Model of Anatomy". Retrieved 10 February 2011.
  15. ^ "Bioportal". National Center for Biological Ontology (NCBO).
  16. ^ "Ontology browser for most of the Open Biological and Biomedical Ontologies". Berkeley Bioinformatics Open Source Project (BBOP).
  17. ^ "The Open Biological and Biomedical Ontologies". Berkeley Bioinformatics Open Source Project (BBOP).
  18. ^ "ONSTR". Retrieved 16 April 2014.
  19. ^ "Plant Ontology". Retrieved 10 February 2011.
  20. ^ "SWEET". Retrieved 10 February 2011.
  21. ^ "UBERON". Retrieved 10 July 2012.
  22. ^ "Basic Formal Ontology (BFO)". Institute for Formal Ontology and Medical Information Science (IFOMIS).
  23. ^ "COSMO". MICRA Inc. Retrieved 10 February 2011.
  24. ^ "GOLD". Retrieved 10 February 2011.
  25. ^ "Generalized Upper Model". Retrieved 10 February 2011.
  26. ^ "YAMATO". Retrieved 10 February 2011.

Further reading

edit
edit


Retrieved from "https://en.wikipedia.org/w/index.php?title=Draft:Outline_of_ontologies&oldid=1244669939"