Main Page: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
(29 intermediate revisions by the same user not shown)
Line 6: Line 6:


==News==
==News==
[https://www.prnewswire.com/news-releases/oagi-and-iof-agree-to-produce-industrial-ontologies-301231565.html Press release on launch of Industrial Ontologies Foundry]
[https://www.youtube.com/watch?v=0giPMMoKR9s Video recording of talk by Barry Smith on "Defining Intelligence"], February 17, 2021
[https://www.prnewswire.com/news-releases/oagi-and-iof-agree-to-produce-industrial-ontologies-301231565.html Press-release launching the new Industrial Ontologies Foundry], February 19, 2021
[https://ncor-brasil.org/about/ NCOR-Brasil] established, December 1, 2020
[http://medicine.buffalo.edu/news_and_events/news/2020/07/smith-ontology-covid-11561.html Using Ontology as Powerful Weapon in COVID-19 Fight], July 14, 2020
[http://www.buffalo.edu/news/releases/2020/06/016.html Leveraging a powerful weapon in the fight against COVID-19 — ontology], June 10, 2020


[http://www.buffalo.edu/ubnow/campus.host.html/content/shared/university/news/ub-reporter-articles/stories/2018/04/smith-capabilities-workshop.detail.html UB workshop to address human and machine capabilities], April 20, 2018
[http://www.buffalo.edu/ubnow/campus.host.html/content/shared/university/news/ub-reporter-articles/stories/2018/04/smith-capabilities-workshop.detail.html UB workshop to address human and machine capabilities], April 20, 2018
Line 29: Line 41:
==Courses==
==Courses==


[[Problems in Ontology]], Department of Philosophy, University at Buffalo, NY, Mondays from 4-6pm, August 29 - December 5, 2012
[http://ncorwiki.buffalo.edu/index.php/Education Barry Smith]
 
[http://ncorwiki.buffalo.edu/index.php/Ontological_Engineering_2013 Ontological Engineering], Department of Industrial and Systems Engineering, University at Buffalo, NY, Fall 2013
 
[[Ontological Engineering 2014 | Ontological Engineering]], Department of Industrial and Systems Engineering, Department of Computer Science and Department of Philosophy University at Buffalo, NY, Mondays from 4-7pm, August 25 - December 1, 2014
 
[[Analytic Metaphysics | Analytical Metaphysics]], Department of Philosophy, University at Buffalo, NY, Tuesdays 1-3:50pm, Spring Semester, 2016
 
[http://ncorwiki.buffalo.edu/index.php/Biomedical_Ontology_2016 Biomedical Ontology] Departments of Philosophy and Biomedical Informatics, University at Buffalo, Fall Semester 2016


[http://ncorwiki.buffalo.edu/index.php/Applied_Ontology Applied Ontology 2017], Spring Semester Online Course, Department of Philosophy, University at Buffalo
[http://www.referent-tracking.com/RTU/ceusters_vita.html#teaching Werner Ceusters]


[[Advanced Biomedical Ontology]] 2017, Fall Semester, Departments of Philosophy and Biomedical Informatics, University at Buffalo
==Defining 'Ontology'==


[[Ontological Engineering]], 2018, Spring Semester, online course, Departments of Philosophy and Industrial and Systems Engineering, University at Buffalo
An ontology is a representation of some part of reality, (e.g. medicine, social reality, physics, etc.).  Smith states that: “Ontology is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality…Ontology seeks to provide a definitive and exhaustive classification of entities in all spheres of being.”  To be an accurate representation of reality an ontology includes the types of entities and events in a given domain (along with their definitions) arranged in a hierarchical structure, along with relations (such as part-of, depends-on, caused-by, etc. where necessary).  Ontologies enable the formulation of robust and shareable descriptions of a given domain by providing a common controlled vocabulary for doctrine writers, IT Developers, and war-fighters alike, thereby allowing these disparate communities to communicate with each other.  An ontology should be a shared resource between communities, and its continued collaborative development should support the integration of information and facilitate knowledge discovery.  These two goals are realized by ensuring wide dissemination of the ontology, so that it will be used by many stakeholders, and its terms will be correspondingly familiar and readily used for search.


[http://ncorwiki.buffalo.edu/index.php/Applied_Ontology:_An_Introduction Applied Ontology: An Introduction], Stanislaw Kaminski Memorial Lectures, The John Paul II Catholic University of Lublin, Poland, May 14-18, 2018
== Basic Formal Ontology ==


==Tutorials==
[http://ncorwiki.buffalo.edu/index.php/BFO_2020 BFO 2020]


[[Systems Engineering Boot Camp]], University at Buffalo, January 26, 2018
[http://ncorwiki.buffalo.edu/index.php/Basic_Formal_Ontology_2.0 Basic Formal Ontology 2.0]


[[How to Develop and Use OBO Foundry Ontologies]], Tutorial and Workshop at ICBO, Graz, Austria, July 21, 2012
==Working Group on AI and Complex Systems==


[[Basic Formal Ontology 2.0: Tutorial at ICBO/FOIS]], Graz, Austria, July 25, 2012
This working group has been established to facilitate discussion of the potential and the limits of AI, especially as concerns applications to complex systems in areas such as weather, climate, transport, finance, geothermal and geoseismic systems, as well as in all life sciences. Our work also includes collaborating with systems engineers to develop an ontology of systems under the auspices of the [https://www.industrialontologies.org/ Industrial Ontologies Foundry].  Persons interested in participating in meetings of the group should contact Jobst Landgrebe (email: jobstlan@buffalo.edu)
 
[[Introduction to Protégé]], Tutorial, Buffalo, NY, August 11-12, 2012
 
[[Basic Formal Ontology 2.0]], Tutorial, Buffalo, NY, August 18-19, 2012
 
[http://ncorwiki.buffalo.edu/index.php/STIDS_2013 Tutorial: Information Ontologies for the Intelligence Community], [http://stids.c4i.gmu.edu STIDS Conference], November 11, 2013
 
Tutorial: [[Ontology of Military Planning and Operations Assessment]], [http://stids.c4i.gmu.edu STIDS Conference], November 18, 2014
 
Tutorial: [[Basic Formal Ontology 2015]], International Conference on Biomedical Ontology, Lisbon, 2015
 
==Defining Ontology==
 
An ontology is a representation of some part of reality, (e.g. medicine, social reality, physics, etc.)Smith states that: “Ontology is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality…Ontology seeks to provide a definitive and exhaustive classification of entities in all spheres of being.”1  To be an accurate representation of reality an ontology includes the types of entities and events in a given domain (along with their definitions) arranged in a hierarchical structure, along with relations (such as part-of, depends-on, caused-by, etc. where necessary).  Ontologies enable the formulation of robust and shareable descriptions of a given domain by providing a common controlled vocabulary for doctrine writers, IT Developers, and war-fighters alike, thereby allowing these disparate communities to communicate with each other.  An ontology should be a shared resource between communities, and its continued collaborative development should support the integration of information and facilitate knowledge discovery.2  These two goals are realized by ensuring wide dissemination of the ontology, so that it will be used by many stakeholders, and its terms will be correspondingly familiar and readily used for search.


==The Philosophome==
==The Philosophome==


[http://philosophome.org Philosophome Website]
[http://ontology.buffalo.edu/philosophome/index_files/philosophome.html Philosophome Website]


[[Philosophome | Philosophome Wiki]]
[[Philosophome | Philosophome Wiki]]
Line 107: Line 97:


Barry Smith, [http://www.slideshare.net/BarrySmith3/2012-fima-talk Reference Data Integration: A Strategy for the Future], Financial Reference Data Management Conference (FIMA), New York, March 2012
Barry Smith, [http://www.slideshare.net/BarrySmith3/2012-fima-talk Reference Data Integration: A Strategy for the Future], Financial Reference Data Management Conference (FIMA), New York, March 2012
''The Wernicke Ontology Principle''
Wernicke is an ontology-dependent AI system used to automate recurring business processes. Wernicke is based on formal logic developed by Jobst Landgrebe and co-workers at Cognotekt. Its ontologies do not have an Aristotelian taxonomic structure, but are fully axiomatised and logically describe the syntactic structure of recurring language patterns in the Prolog-subset of first order logic. The use of terms in two or more axiomatic definitions of ontological entities creates an implicit network structure within the ontology.
Examples (in German)
1. Implication relations for verbs and verb phrases. (There are hundreds of examples of such formulae in each Wernicke ontology.)
  ((zahlung(Y) AND nachkommen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
  ((geld(Y) AND schicken(Z) AND (verb(Z,X) OR verb(Z,X,Y1))) IMPL zahlen(Z))
  ((kosten(Y) AND tragen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
  ((überweisungsträger(Y) AND einwerfen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
  ((bringen(Z) AND ausgleich(A) AND zum(B) AND mod(B,A,Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
  ((möglich(A) AND mod(A,Z) AND sein(Z) AND (verb(Z,X) OR verb(Z,X,Y))) IMPL möglichsein(Z)) 
  ((bitten(Z) AND mod(B,A,Z) AND möglichkeit(A) AND verb(Z,X,Y)) IMPL möglichsein(Z))
2. Temporal structures
  ((übermorgen(W) AND (Y=2)) IMPL zeitabstand(W,in,Y,tagen))
  ((morgen(W) AND (Y=1)) IMPL zeitabstand(W,in,Y,tagen))
  ((heute(W) AND (Y=0)) IMPL zeitabstand(W,in,Y,tagen))
  ((gestern(W) AND (Y=1)) IMPL zeitabstand(W,vor,Y,tagen))
  ((vorgestern(W) AND (Y=2)) IMPL zeitabstand(W,vor,Y,tagen))
3. Domain pattern formulae (ontologic entities)
  past payment a: ((zahlung(X) OR geld(X)) AND rausgehen(Z) AND (I=vergangen) AND verb(Z,X) AND vergangentemp(Z))
  past payment b: ((zahlung(Y) AND tätigen(Z) AND verb(Z,X,Y) AND (I=vergangen) AND vergangentemp(Z))
  past payment c: ((sein(Z) AND (betrag(X) OR forderung(X)) AND zahlen(A) AND mod(A,Z) AND (I=vergangen)
  AND verb(Z,X) AND NOT temp_mod(Z, praet, konj2)


== Information Ontology==
== Information Ontology==

Revision as of 15:37, 3 December 2021

The goal of the National Center for Ontological Research is to advance ontological investigation within the United States. NCOR serves as a vehicle to coordinate, to enhance, to publicize, and to seek funding for ontological research activities. It lays a special focus on ontology training and on the establishment of tools and measures for quality assurance of ontologies. NCOR provides ontology services to multiple organizations, including the US Department of Defense.

Events

See here

News

Press release on launch of Industrial Ontologies Foundry

Video recording of talk by Barry Smith on "Defining Intelligence", February 17, 2021

Press-release launching the new Industrial Ontologies Foundry, February 19, 2021

NCOR-Brasil established, December 1, 2020

Using Ontology as Powerful Weapon in COVID-19 Fight, July 14, 2020

Leveraging a powerful weapon in the fight against COVID-19 — ontology, June 10, 2020

UB workshop to address human and machine capabilities, April 20, 2018

Working group seeks to extend the depth and functionality of biomedical ontologies, October 14, 2017

Barry Smith wins 2016 IAOA Ontology Competition, August 18, 2016

Doctoral Candidate Invited to Work on United Nations Project, January 4, 2016

Advantages of the Financial Report Ontology in Accounting Research, February 23, 2013

UB Ontologists Win Bioinformatics Integration Award to Support National Institutes of Health

Announcing Clinical and Translational Science Ontology Affinity Group

Information Overload in the Era of Big Data

Botanists building ontologies to cope with information overload

UB Applied Informatics Portal unveiled.

Courses

Barry Smith

Werner Ceusters

Defining 'Ontology'

An ontology is a representation of some part of reality, (e.g. medicine, social reality, physics, etc.). Smith states that: “Ontology is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality…Ontology seeks to provide a definitive and exhaustive classification of entities in all spheres of being.” To be an accurate representation of reality an ontology includes the types of entities and events in a given domain (along with their definitions) arranged in a hierarchical structure, along with relations (such as part-of, depends-on, caused-by, etc. where necessary). Ontologies enable the formulation of robust and shareable descriptions of a given domain by providing a common controlled vocabulary for doctrine writers, IT Developers, and war-fighters alike, thereby allowing these disparate communities to communicate with each other. An ontology should be a shared resource between communities, and its continued collaborative development should support the integration of information and facilitate knowledge discovery. These two goals are realized by ensuring wide dissemination of the ontology, so that it will be used by many stakeholders, and its terms will be correspondingly familiar and readily used for search.

Basic Formal Ontology

BFO 2020

Basic Formal Ontology 2.0

Working Group on AI and Complex Systems

This working group has been established to facilitate discussion of the potential and the limits of AI, especially as concerns applications to complex systems in areas such as weather, climate, transport, finance, geothermal and geoseismic systems, as well as in all life sciences. Our work also includes collaborating with systems engineers to develop an ontology of systems under the auspices of the Industrial Ontologies Foundry. Persons interested in participating in meetings of the group should contact Jobst Landgrebe (email: jobstlan@buffalo.edu)

The Philosophome

Philosophome Website

Philosophome Wiki

Semantics of Biodiversity

Paper: Semantics in Support of Biodiversity Knowledge Discovery (PLoS ONE, 2013)

Video Presentations from: Semantics of Biodiversity Workshop (2012)

Ontologies as a method of viewing data
Basic Formal Ontology (BFO)
How to build an ontology with BFO
Tracking referents with Instance Unique Identifiers (IUIs)
Tracking Changes in Our Understanding of Reality: Reality vs. Beliefs
Darwin Core (DwC) and Basic Formal Ontology: Putting it All Together
Building Darwin Core top-down in BFO
Organisms, photographs, media
How to re-use ontologies
Principles of singular nouns, secondary use, understandability
Writing good definitions (DwC Examples)
Management strategies
Ontologies for reuse (BFO, EnvO, IDO, OBI, Plant Ontology , Uberon, IAO)
Educational resources (OBI, Protege, BFO)

Finance and Economics

An Application of Basic Formal Ontology to the Ontology of Services and Commodities, Institute for Business Informatics, University of Koblenz, Germany July 23, 2013

Barry Smith, Reference Data Integration: A Strategy for the Future, Financial Reference Data Management Conference (FIMA), New York, March 2012

The Wernicke Ontology Principle

Wernicke is an ontology-dependent AI system used to automate recurring business processes. Wernicke is based on formal logic developed by Jobst Landgrebe and co-workers at Cognotekt. Its ontologies do not have an Aristotelian taxonomic structure, but are fully axiomatised and logically describe the syntactic structure of recurring language patterns in the Prolog-subset of first order logic. The use of terms in two or more axiomatic definitions of ontological entities creates an implicit network structure within the ontology.

Examples (in German)

1. Implication relations for verbs and verb phrases. (There are hundreds of examples of such formulae in each Wernicke ontology.)

 ((zahlung(Y) AND nachkommen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
 ((geld(Y) AND schicken(Z) AND (verb(Z,X) OR verb(Z,X,Y1))) IMPL zahlen(Z))
 ((kosten(Y) AND tragen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
 ((überweisungsträger(Y) AND einwerfen(Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
 ((bringen(Z) AND ausgleich(A) AND zum(B) AND mod(B,A,Z) AND verb(Z,X,Y)) IMPL zahlen(Z))
 ((möglich(A) AND mod(A,Z) AND sein(Z) AND (verb(Z,X) OR verb(Z,X,Y))) IMPL möglichsein(Z))  
 ((bitten(Z) AND mod(B,A,Z) AND möglichkeit(A) AND verb(Z,X,Y)) IMPL möglichsein(Z))


2. Temporal structures

 ((übermorgen(W) AND (Y=2)) IMPL zeitabstand(W,in,Y,tagen))
 ((morgen(W) AND (Y=1)) IMPL zeitabstand(W,in,Y,tagen))
 ((heute(W) AND (Y=0)) IMPL zeitabstand(W,in,Y,tagen))
 ((gestern(W) AND (Y=1)) IMPL zeitabstand(W,vor,Y,tagen))
 ((vorgestern(W) AND (Y=2)) IMPL zeitabstand(W,vor,Y,tagen))

3. Domain pattern formulae (ontologic entities)

 past payment a: ((zahlung(X) OR geld(X)) AND rausgehen(Z) AND (I=vergangen) AND verb(Z,X) AND vergangentemp(Z))
 past payment b: ((zahlung(Y) AND tätigen(Z) AND verb(Z,X,Y) AND (I=vergangen) AND vergangentemp(Z))
 past payment c: ((sein(Z) AND (betrag(X) OR forderung(X)) AND zahlen(A) AND mod(A,Z) AND (I=vergangen)
 AND verb(Z,X) AND NOT temp_mod(Z, praet, konj2)

Information Ontology

BFO-based data and information ontologies

Military and Intelligence Ontology

Common Core Ontologies

JFCOM: Semantic Web and Joint Training (2010)

I2WD: Semantic Enhancement for DSGS-A: Distributed Development of a Shared Semantic Resource (2012-13)

I2WD: PED Fusion via Enterprise Ontology

Common Core Ontologies (preliminary statement)

Joint Doctrine Ontology

Ontology for Navy Systems Engineering

Ontology of Planning

Ontology of Planning

Ontology of Engineering

BFO-Based Engineering Ontologies

Bob Young: Towards a Reference Ontology for Manufacturing (2016)

Interoperable Manufacturing Knowledge Systems (2017)

Ontology of Engineering

Ontology for Navy Systems Engineering

Product Life Cycle Ontologies

Modeling and Simulation

Systems Engineering Bootcamp

Materials Ontology

Toshihiro Ashino and Mitsutane Fujita: Definition of a Web Ontology for Design-Oriented Material Selection (2006)

Steel Industry Ontology / .owl file
A Systematic Approach to Developing Ontologies for Manufacturing Service Modeling

Buffalo Engineering Ontology

Ontology for Clinical and Translational Science

Clinical and Translational Science Ontology Group

Infectious Disease Ontology

Immunology Ontologies

Microbiome Ontology

Ontology

Improved Gene Ontology Annotation for Biofilm Formation, Filamentous Growth, and Phenotypic Switching in Candida albicans

What Biofilms Can Teach Us about Individuality

MorphoCol: An ontology-based knowledgebase for the characterisation of clinically significant bacterial colony morphologies

Designing an Ontology Tool for the Unification of Biofilms Data

Eearth Microbiome Project Ontlogy EMPO

The Human Microbiome

Functional and phylogenetic assembly of microbial communities in the human microbiome

The human microbiome, including as appendix: A microbiome glossary

Defining the Human Microbiome

MicrobiomeDB: a systems biology platform for integrating, mining and analyzing microbiome experiments

Human Microbiome Project

Parts and Wholes: The Human Microbiome, Ecological Ontology, and the Challenges of Community

Microbiomes and the external environment

The Earth Microbiome

Earth Microbiome Project Ontology:EMPO

A communal catalogue reveals Earth’s multiscale microbial diversity

MetaSUB: Metagenomics and Metadesign of Subways & Urban Biome

Tracking human sewage microbiome in a municipal wastewater treatment plant

http://metasub.org/

Varia

Collective bio-molecular processes: The hidden ontology of systems biology

A review of methods and databases for metagenomic classification and assembly

Suggested Reading

Ontology: An Introduction

Coordinated Evolution of Biomedical Ontologies

Avoiding Perspective-Relative Silos

Universal Core Semantic Layer

Training Videos

Ontology for Intelligence, Defense and Security

A Repeatable Process for Ontology Development

Avoiding Semantic Stovepipes: Five Ontological Principles for Interoperability

War-Fighter Ontology

Studying Ontology in Buffalo

Areas of Study

Careers in ontology