Some comments on Granularity Scale & Collectivity by Rector & Rogers Thomas Bittner IFOMIS Saarbruecken.

Slides:



Advertisements
Similar presentations
Reason and Argument Induction (Part of Ch. 9 and part of Ch. 10)
Advertisements

Ontological Resources and Top-Level Ontologies Nicola Guarino LADSEB-CNR, Padova, Italy
KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.
Ontologies and Databases Ian Horrocks Information Systems Group Oxford University Computing Laboratory.
Comparative Succinctness of KR Formalisms Paolo Liberatore.
Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.
Basics of Knowledge Management ICOM5047 – Design Project in Computer Engineering ECE Department J. Fernando Vega Riveros, Ph.D.
ISBN Chapter 3 Describing Syntax and Semantics.
Ontology Notes are from:
Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
The Semantic Web – WEEK 5: RDF Schema + Ontologies The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse]
Underlying Ontologies for Biomedical work - The Relation Ontology (RO) and Basic Formal Ontology (BFO) Thomas Bittner SUNY Buffalo
CS 330 Programming Languages 09 / 18 / 2007 Instructor: Michael Eckmann.
The Semantic Web Week 14 Module Website: Lecture (SHORT): OWL PIZZAS Practical (LONGER): Getting to know Protégé-2000.
Formal Ontology and Information Systems Nicola Guarino (FOIS’98) Presenter: Yihong Ding CS652 Spring 2004.
CS 330 Programming Languages 09 / 16 / 2008 Instructor: Michael Eckmann.
Schemas as Toposes Steven Vickers Department of Pure Mathematics Open University Z schemas – specification1st order theories – logic geometric theories.
What is an Ontology? AmphibiaTree 2006 Workshop Saturday 8:45–9:15 A. Maglia.
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
Describing Syntax and Semantics
A Formal Theory for Spatial Representation and Reasoning in Biomedical Ontologies Maureen Donnelly Thomas Bittner.
Reference Ontologies, Application Ontologies, Terminology Ontologies Barry Smith
Alternatives to Metadata IMT 589 February 25, 2006.
DL systems DL and the Web Ilie Savga
Foundations This chapter lays down the fundamental ideas and choices on which our approach is based. First, it identifies the needs of architects in the.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
FRE 2672 Urban Ontologies : the Towntology prototype towards case studies Chantal BERDIER (EDU), Catherine ROUSSEY (LIRIS)
Knowledge Representation Ontology are best delivered in some computable representation Variety of choices with different: –Expressiveness The range of.
Ontology Development in the Sciences Some Fundamental Considerations Ontolytics LLC Topics:  Possible uses of ontologies  Ontologies vs. terminologies.
Applying Belief Change to Ontology Evolution PhD Student Computer Science Department University of Crete Giorgos Flouris Research Assistant.
Protege OWL Plugin Short Tutorial. OWL Usage The world wide web is a natural application area of ontologies, because ontologies could be used to describe.
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
BioHealth Informatics Group Advanced OWL Tutorial 2005 Ontology Engineering in OWL Alan Rector & Jeremy Rogers BioHealth Informatics Group.
OWL and SDD Dave Thau University of Kansas
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
Building an Ontology of Semantic Web Techniques Utilizing RDF Schema and OWL 2.0 in Protégé 4.0 Presented by: Naveed Javed Nimat Umar Syed.
LDK R Logics for Data and Knowledge Representation Modeling First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto Giunchiglia.
09/17/08Andrew Frank1 Time and Process: The challenge for GIS and what ontology can contribute Andrew U. Frank Geoinformation TU Vienna
Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Metadata. Generally speaking, metadata are data and information that describe and model data and information For example, a database schema is the metadata.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Taken from Schulze-Kremer Steffen Ontologies - What, why and how? Cartic Ramakrishnan LSDIS lab University of Georgia.
Ontological Foundations of Biological Continuants Stefan Schulz, Udo Hahn Text Knowledge Engineering Lab University of Jena (Germany) Department of Medical.
1 What is an Ontology? n No exact definition n A tool to help organize knowledge n Or a way to convey a theory on how to represent a class of things n.
Advanced topics in software engineering (Semantic web)
Using Several Ontologies for Describing Audio-Visual Documents: A Case Study in the Medical Domain Sunday 29 th of May, 2005 Antoine Isaac 1 & Raphaël.
1 The Unbearable Lightness of Biomedical Informatics Barry Smith Saarbrücken/Buffalo
Christoph F. Eick University of Houston Organization 1. What are Ontologies? 2. What are they good for? 3. Ontologies and.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
SOCoP 2013 Workshop: Vision and Strategy Gary Berg-Cross SOCoP Executive Secretary Nov NSF Stafford II facility Wilson Blvd, Ballston VA.
Based on “A Practical Introduction to Ontologies & OWL” © 2005, The University of Manchester A Practical Introduction to Ontologies & OWL Session 2: Defined.
Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.
Towards a Top-Domain Ontology for Linking Biomedical Ontologies Holger Stenzhorn a,b Elena Beißwanger c Stefan Schulz a a Department of Medical Informatics,
ONTOLOGY ENGINEERING Lab #3 – September 15,
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12 RDF, OWL, Minimax.
Philosophy 148 Inductive Reasoning. Inductive reasoning – common misconceptions: - “The process of deriving general principles from particular facts or.
Copy right 2004 Adam Pease permission to copy granted so long as slides and this notice are not altered Ontology Overview Introduction.
Review: What is a logic? A formal language –Syntax – what expressions are legal –Semantics – what legal expressions mean –Proof system – a way of manipulating.
Enable Semantic Interoperability for Decision Support and Risk Management Presented by Dr. David Li Key Contributors: Dr. Ruixin Yang and Dr. John Qu.
Updating Probabilities Ariel Caticha and Adom Giffin Department of Physics University at Albany - SUNY MaxEnt 2006.
Ccs.  Ontologies are used to capture knowledge about some domain of interest. ◦ An ontology describes the concepts in the domain and also the relationships.
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.
COP Introduction to Database Structures
ece 627 intelligent web: ontology and beyond
Chapter 7: Entity-Relationship Model
ece 720 intelligent web: ontology and beyond
Ontology Reuse In MBSE Henson Graves Abstract January 2011
How to Think Logically.
ONTOMERGE Ontology translations by merging ontologies Paper: Ontology Translation on the Semantic Web by Dejing Dou, Drew McDermott and Peishen Qi 2003.
Presentation transcript:

Some comments on Granularity Scale & Collectivity by Rector & Rogers Thomas Bittner IFOMIS Saarbruecken

Overview Problems with doing ontology using DLs Problems with collectives Problems with indeterminacy Problems with transitivity Conclusions

Problems with doing ontology using Description Logics

Ontologies constrain intended meaning The biomedical world What you could say in L = Models of the language L Language L (symbols+meaning) We chose a language such that we can express the important aspects of the Bio-medical world This is what you actually say in your your ontology The biomedical domain is among the intended models = What you want to talk about

Ontologies constrain intended meaning The biomedical world Language L Ontology Models of the language L Intended models Guarino, 1998

Ontologies constrain intended meaning Good Ontology Guarino, 1998

Ontologies constrain intended meaning Bad Ontology Very bad Ontology Guarino, 1998

Ontologies constrain intended meaning Bad Ontology Inappropriate tools which do not allow you to write good ontologies Mistakes when writing axioms Too few axioms

Kinds of Ontology Languages

Different degrees of expressive power for the specification of the intended meaning A shared vocabulary plus a specification of its intended meaning Meaning specified implicitly and informally in natural language Two extremes

Kinds of Ontology Languages Different degrees of rigor of the specification of the intended meaning A shared vocabulary plus a specification of its intended meaning Meaning specified implicitly and informally in natural language meaning specified explicitly as a logical theory Two extremes In between a continuum of degree of expressive power

Kinds of Ontology Languages Terms General Logic Thesauri formal Taxonomies Frames (Protege) Data Models (UML, STEP) Description Logics (DAML+OIL) Principled, informal hierarchies ad hoc Hierarchies (Yahoo!) structured Glossaries XML DTDs Data Dictionaries (EDI) ‘ordinary’ Glossaries XML Schema DB Schema Glossaries & Data Dictionaries MetaData, XML Schemas, & Data Models Formal Ontologies & Inference Thesauri, Taxonomies Michael Gruninger,

Kinds of Ontology Languages Terms General Logic Thesauri formal Taxonomies Frames (Protege) Data Models (UML, STEP) Description Logics (DAML+OIL) Principled, informal hierarchies ad hoc Hierarchies (Yahoo!) structured Glossaries XML DTDs Data Dictionaries (EDI) ‘ordinary’ Glossaries XML Schema DB Schema Glossaries & Data Dictionaries MetaData, XML Schemas, & Data Models Formal Ontologies & Inference Thesauri, Taxonomies Michael Gruninger,

Kinds of Ontology Languages Terms General Logic Thesauri formal Taxonomies Frames Protege Data Models (UML, STEP) Description Logics (DAML+OIL) Principled, informal hierarchies ad hoc Hierarchies (Yahoo!) structured Glossaries XML DTDs Data Dictionaries (EDI) ‘ordinary’ Glossaries XML Schema DB Schema Glossaries & Data Dictionaries MetaData, XML Schemas, & Data Models Formal Ontologies & Inference Thesauri, Taxonomies Michael Gruninger,

Kinds of Ontology Languages Terms General Logic Thesauri formal Taxonomies Frames Protege Data Models (UML, STEP) Description Logics (DAML+OIL) Principled, informal hierarchies ad hoc Hierarchies (Yahoo!) structured Glossaries XML DTDs Data Dictionaries (EDI) ‘ordinary’ Glossaries XML Schema DB Schema Glossaries & Data Dictionaries MetaData, XML Schemas, & Data Models Formal Ontologies & Inference Thesauri, Taxonomies Michael Gruninger,

Why do we need formulate ontologies in very expressive languages?

Why do we need formulate ontologies in expressive languages? It is the only way to produce good ontologies!! Good Ontology

Kinds of Ontology Languages General Logic Description Logics (DAML+OIL) Tradeoff between expressive power and computability How well can we specify intended meaning What can we compute automatically

Kinds of Ontology Languages General Logic Description Logics (DAML+OIL) Tradeoff between expressive power and computability How well can we specify intended meaning What can we compute automatically

Kinds of Ontology Languages General Logic Description Logics (DAML+OIL) Tradeoff between expressive power and computability How well can we specify intended meaning What can we compute automatically

We need BOTH kinds of languages General Logic Description Logics (DAML+OIL) Tradeoff between expressive power and computability How well can we specify intended meaning What can we compute automatically

Ontologies Top Level Ontologies for arbitrary domains Endurant vs. perdurant (process) Parthood Constitution

Ontologies Top Level Ontologies for arbitrary domains Parthood Containment Constitution Computational ontologies and for specific domains GALEN FMA SNOMED

Ontologies Top Level Ontologies for arbitrary domains Parthood Containment Constitution Computational ontologies and for specific domains GALEN FMA SNOMED Focus on RELATIONS and properties of relations Focus on Class hierarchies

Ontologies Top Level Ontologies for arbitrary domains Computational ontologies and for specific domains Requires high expressive power Requires limited Expressive power Focus on RELATIONS and properties of relations Focus on Class hierarchies

Ontologies Top Level Ontologies for arbitrary domains Computational ontologies and for specific domains Focus on high expressive power Focus on computation First order logic is the right language Description logics are the right tools

Ontologies Top Level Ontologies for arbitrary domains Computational ontologies and for specific domains Alan and Jeremy use Description Logics to as tools to specify a top level ontology

Problems with collectives

Skin The skin (an organ) Object-like parts Skin tissue

Skin tissue = collective of cells Individual cell Collective of cells/ tissue The organ ‘skin’

Levels of granularity Individual cell Collective of cells The organ ‘skin’ Entities of scale X Entities of Scale Y Collectives of Entities of scale Y Level of granularity X Level of granularity Y

Levels of granularity Entities of scale X Entities of Scale Y Collectives of Entities of scale Y Level of granularity X Level of granularity Y Entities are treated as individuals Members of the Collection are NOT treated as individuals

Levels of granularity Entities of scale X Collectives of Entities of scale Y Level of granularity X Entities are treated as individuals Members of the Collection are NOT treated as individuals Collectives must have MANY members Cell/molecules/atoms/

We are interested in BIG collectives In SMALL collectives we can individuate the members. Problem: –The sum/union of two BIG collectives IS a BIG collection –The INTERSECTION of two BIG collectives is NOT necessarily a BIG collection –Parthood relation between BIG collectives CANNOT be modeled using the subset/subcollective relation

The INTERSECTION of two BIG collectives is NOT necessarily a BIG collection BIG small

Parthood relation between masses/collectives is DIFFERENT from parthood between individual entities Weak supplementation principle does NOT hold

Weak supplementation principle x proper-part-of y 

Weak supplementation principle x proper-part-of y  (  z)(z proper-part-of y AND  overlap zx)

Weak supplementation principle x proper-part-of y  (  z)(z proper-part-of y AND  overlap zx) Size of z does NOT matter

Weak supplementation principle for big collectives x p-mass-part-of y  (  z)(z p-mass-part-of y AND  overlap zx) BIG collective small collective

The weak supplementation principle relationPartial order WSPNPO is-p-part-ofyes is-p-mass-ofyesno Contained-inyesno You cannot make this distinction in a Description Logic

Ontologies constrain intended meaning Bad Ontology Ontology does not make enough distinctions Does NOT constrain meaning well enough

Empty collectives Empty collectives do not have grains/members ‘Empty collectives are allowed. This is convenient …’ (Rector & Rogers) This is always a bad justification!!

Empty collectives Empty collectives do not have grains/members ‘Empty collectives are allowed. This is convenient …’ (Rector & Rogers) If we allow empty collectives then collectives are ABSTRACT entities

Empty collectives are abstract! Abstract entities can be parts of concrete entities –Collective-of-blood-cells part-of blood concrete abstract Blood cell grain-of Collective-of-blood-cells abstract concrete

Empty collectives are abstract! Blood cell grain-of Collective-of-blood-cells abstract concrete Blood cell part-of Collective-of-blood-cells abstract concrete

Empty collectives are abstract! Blood cell part-of Collective-of-blood-cells abstract concrete Abstract entities are immaterial and immaterial entities cannot have material parts –E.g., a hole CANNOT have a material part So how can a blood cell be part of an ABSTRACT collective of blood cells?

Ontologies constrain intended meaning Bad Ontology Collectives are concrete Collectives are abstract

So how can a blood cell be part of a collective of blood cells? Give up empty collectives Give up that is-grain-of is a parthood relation I suggest: Do BOTH!!

Problems with indeterminacy

Grains, collections, and indeterminacy “Granular parts are parts by way of being members of a collective that is part of the whole and of indeterminate in number: removing one does not (normally) diminish the whole.” (Rector & Rogers)

Grains, collections, and indeterminacy “Granular parts are parts by way of being members of a collective that is part of the whole and of indeterminate in number: removing one does not (normally) diminish the whole.” (Rector & Rogers) There are some grains (e.g., cells) and it is indeterminate whether they are members/parts of some collection.

Parthood, granularity, indeterminacy Individual cell Collective of cells The organ ‘skin’ Constitutes Gross-part-of is_grain_of Determinate parthood INdeterminacy

Individual cell Collective of cells is_grain_of INdeterminacy At a given time t it is indeterminate (vague) whether a cell is member of a collective Collectives have different members at different times and it is hard to keep track of those changes Parthood, granularity, indeterminacy

At a given time t it is indeterminate whether a cell is member of the collective Collectives have different members at different times and it is hard to keep track of those changes Only true for some cells At the boundary of the skin For most cells it is pretty clear whether they are parts of a collective This is neither indeterminacy nor vagueness Parthood, granularity, indeterminacy Time-indexed is_grain_of

So, what does indeterminacy mean??? Bad Ontology Ontology does not make enough distinctions Does NOT constrain meaning well enough

More problems with indeterminacy Individual cell Collective of cells The organ ‘skin’ Constitutes (determinate) is_grain_of (indeterminate) Collective of cells The organ ‘skin’ Individual cell Part-of implies Part-of implies Determinate ?????????? INdeterminate ??????????

Problems with transitivity

Two questions are confused Does the relation X have the property Y? e.g., is parthood transitive Can we exploit the fact that relation X has property Y for reasoning purposes e.g., can we exploit transitivity for reasoning Ontology Knowledge rep. & reasoning

What does it mean ‘relation R is transitive’ For ALL x,y,z [IF R(x,y) AND R(y,z) THEN R(x,z)] IF is_grain_of(x,y) AND is_grain_of(y,z) THEN is_grain_of(x,z) If this formula is true in the bio-medical domain then is_grain_of is transitive in this domain

Is is_grain_of transitive ? IF is_grain_of(x,y) AND is_grain_of(y,z) THEN is_grain_of(x,z) The premise is false or The conclusion is true is_grain_of(x,y) individual collective is_grain_of(y, z) is_grain_of(x,y) AND is_grain_of(y,z) is_grain_of is (trivially) transitive

Problems with transitivity Two questions are confused Does the relation X have the property Y? e.g., is grain_of transitive Can we exploit the fact that relation X has property Y for reasoning purposes e.g., can we exploit transitivity for reasoning Formal Ontology Computational ontologies

Conclusions

The short version It is WRONG to consider description logics as tools for formal ontology, i.e., as formal languages in order to represent top-level ontologies DLs are VERY valuable and capable tools for computational ontologies that support reasoning

The short version It is WRONG to consider description logics as tools for formal ontology, i.e., as formal languages in order to represent top-level ontologies DLs are VERY valuable and capable tools for computational ontologies that support reasoning Computational ontologies should be derived (built in compliance with) a formal ontology in First Order Logic

The GOOD and the BAD Using SEP-triples in a formal (top-level) ontology IS BAD Using SEP-triples in a computational ontology to provide computationally efficient transitivity reasoning is GOOD (assuming that you have an underlying formal ontology that tells you what you are reasoning about)

The GOOD and the BAD To ignore properties that you cannot express in your language is BAD in a formal ontology To ignore properties that you cannot express in your (computable) language is all one can do in a computational ontology

Ontologies for biomedicine Formal top-level ontology expressed in first order logic

Ontologies for biomedicine Formal top-level ontology expressed in first order logic Computational ontologies in DLs based on a formal ontology