Semantic Commitment for Designing Ontologies: a Proposal Bruno Bachimont Raphaël Troncy Antoine Isaac Institut National de l’Audiovisuel France.

Slides:



Advertisements
Similar presentations
Dr. David A Ferrucci -- Logic Programming and AI Lecture Notes Knowledge Structures Building the Perfect Object.
Advertisements

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.
Ontologies: Dynamic Networks of Formally Represented Meaning Dieter Fensel: Ontologies: Dynamic Networks of Formally Represented Meaning, 2001 SW Portal.
Using XSLT for Interoperability: DOE and The Traveling Domain Experiment Monday 20 th of October, 2003 Antoine Isaac, Raphaël Troncy and Véronique Malaisé.
OPALES Demonstration CWI – Feb. 22 nd 2006 Antoine Isaac.
Introducing Formal Methods, Module 1, Version 1.1, Oct., Formal Specification and Analytical Verification L 5.
Representing and Querying Correlated Tuples in Probabilistic Databases
Jérôme Euzenat 655 avenue de l’Europe, Montbonnot Saint-Martin, France Enabling technologies for semantic interoperability.
Ontologies and the Semantic Web by Ian Horrocks presented by Thomas Packer 1.
A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web by Livia Predoiu, Heiner Stuckenschmidt Institute of Computer Science,
PR-OWL: A Framework for Probabilistic Ontologies by Paulo C. G. COSTA, Kathryn B. LASKEY George Mason University presented by Thomas Packer 1PR-OWL.
Video retrieval using inference network A.Graves, M. Lalmas In Sig IR 02.
Where are the Semantics in the Semantic Web? Michael Ushold The Boeing Company.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
A Review of Ontology Mapping, Merging, and Integration Presenter: Yihong Ding.
Modelling Conceptual Knowledge using Logic - Week 6 Lee McCluskey Department of Computing and Mathematical Sciences University of Huddersfield.
Resources Primary resources – Lexicons, structured vocabularies – Grammars (in widest sense) – Corpora – Treebanks Secondary resources – Designed for a.
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.
OIL: An Ontology Infrastructure for the Semantic Web D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider Presenter: Cristina.
Best Practices for Including Enumerated Value Domains in UML Models What are the mechanics of creating CDEs associated with enumerated value domains in.
© ESTRELLA, IST A quick ‘n easy intro to LKIF Core Rinke Hoekstra.
FRE 2672 Urban Ontologies : the Towntology prototype towards case studies Chantal BERDIER (EDU), Catherine ROUSSEY (LIRIS)
New trends in Semantic Web Cagliari, December, 2nd, 2004 Using Standards in e-Learning Claude Moulin UMR CNRS 6599 Heudiasyc University of Compiègne (France)
RDF (Resource Description Framework) Why?. XML XML is a metalanguage that allows users to define markup XML separates content and structure from formatting.
Sharing linguistic multi-media resources Jacquelijn Ringersma Paul Trilsbeek Max Planck Institute for Psycholinguistics Nijmegen, The Netherlands.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
Ontology Development in the Sciences Some Fundamental Considerations Ontolytics LLC Topics:  Possible uses of ontologies  Ontologies vs. terminologies.
Author: Lornet LD team Reuse freely – Just quote Desired Properties of a MOT Graphic Representation Formalism Simplicity and User Friendliness (win spec,
Integrating Business Process Models with Ontologies Peter De Baer, Pieter De Leenheer, Gang Zhao, Robert Meersman {Peter.De.Baer, Pieter.De.Leenheer,
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
USCISIUSCISI Background Description Logic Systems Thomas Russ.
Intelligent Database Systems Lab Presenter: WU, JHEN-WEI Authors: Rodrigo RizziStarr, Jose´ Maria Parente de Oliveira IS Concept maps as the first.
The XCL Languages Digital Preservation – The Planets Way Dresden, April 23 rd 2010 Manfred Thaller, Universität zu Köln.
Logics for Data and Knowledge Representation Exercises: Modeling Fausto Giunchiglia, Rui Zhang and Vincenzo Maltese.
SEMANTIC ANALYSIS WAES3303
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
First Principles for Data Semantics Standards Frank Farance Dan Gillman US Experts WG2 N
Advanced topics in software engineering (Semantic web)
COGNITIVE SEMANTICS: INTRODUCTION DANA RETOVÁ CSCTR2010 – Session 1.
Proposed NWI KIF/CG --> Common Logic Standard A working group was recently formed from the KIF working group. John Sowa is the only CG representative so.
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.
Using Meta-Model-Driven Views to Address Scalability in i* Models Jane You Department of Computer Science University of Toronto.
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.
Metadata Common Vocabulary a journey from a glossary to an ontology of statistical metadata, and back Sérgio Bacelar
Towards a Reference Quality Model for Digital Libraries Maristella Agosti Nicola Ferro Edward A. Fox Marcos André Gonçalves Bárbara Lagoeiro Moreira.
Human and Machine Understanding of normal Language (NL) Character Strings Presented by Peter Tripodes.
 2003 CSLI Publications Ling 566 Oct 17, 2011 How the Grammar Works.
The methodology for building an ontology in four steps Building Medical Ontologies by Terminology Extraction from Texts: Pneumology, a sample methodology.
DCMI Abstract Model Analysis Resource Model Jorge Morato– Information Ingeneering Universidad Carlos III de Madrid
Presented by Kyumars Sheykh Esmaili Description Logics for Data Bases (DLHB,Chapter 16) Semantic Web Seminar.
Chapter 5 The Semantic Web 1. The Semantic Web  Initiated by Tim Berners-Lee, the inventor of the World Wide Web.  A common framework that allows data.
Of 29 lecture 15: description logic - introduction.
Semantic Wiki: Automating the Read, Write, and Reporting functions Chuck Rehberg, Semantic Insights.
Designing and Using an Audio-Visual Description Core Ontology Friday 8 th of October, 2004 Antoine Isaac & Raphaël Troncy.
Ontology Technology applied to Catalogues Paul Kopp.
Expanding the Notion of Links DeRose, S.J. Expanding the Notion of Links. In Proceedings of Hypertext ‘89 (Nov. 5-8, Pittsburgh, PA). ACM, New York, 1989,
1 Representing and Reasoning on XML Documents: A Description Logic Approach D. Calvanese, G. D. Giacomo, M. Lenzerini Presented by Daisy Yutao Guo University.
Semantic Web Foundations
SysML v2 Formalism: Requirements & Benefits
Kenneth Baclawski et. al. PSB /11/7 Sa-Im Shin
MDR for the Semantic Web: Supporting Ontology Concept
Ontology Evolution: A Methodological Overview
Social Knowledge Mining
Methontology: From Ontological art to Ontological Engineering
From Knowledge Organization (KO) to Knowledge Representation (KR)
ViCoS Visualising Conceptual Spaces
CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.
Presentation transcript:

Semantic Commitment for Designing Ontologies: a Proposal Bruno Bachimont Raphaël Troncy Antoine Isaac Institut National de l’Audiovisuel France

2 Ontology Ontologies propose a way of conceptualizing concepts in a domain: –Need for a method to determine which concepts are useful and what they mean; –Need for tools and formalisms to represent them in a tractable form.

3 Problem Domain Concept Semantics as such Formal account of concept semantics (syntax + formal semantics) Expressing concepts in formalisms should rely on the determination of their semantics in the domain Formal representation is only a way to represent concepts, not to model them.

4 Two levels for modelling semantics Intensional level : –intensional understanding of a concept ; –Characterised as properties associated with a notion, independently of empirical facts. Extensional level : –referential/denotational understanding of a concept. –Characterised as sets of individuals denoted by the concept.

5 Example Audiovisual domain : –Concepts : Actor and Director Two points of view : –Intensional : Actor and Director are two different concepts ; nothing allows to assert that they can denote same objects ; –Extensional : Actor and Director are two different classes of individuals; nothing prevents from asserting they may denote some same objects.

6 Example (followed) But, according to the domain : –It is a conceptual fact that the two concepts are different: It is not the same thing for an invidual to be an actor or to be a director ; –It is an empirical fact they may denote the same objects: Some objects are actor and director (Clint Eastwood, Woody Allen, etc.) Conclusion: –One should take into account those two levels ; ÔWhat is usually done is the modelling of the extensional content of concepts ÔOur proposal is about adding a previous modelling of the intensional content of concepts.

7 Intensional content Problem: –Where and how to define concept meaning ? An answer: –Where they are used : texts, documents that reflect how concepts are used in practice and real life: Notes, memorandum, didactic documents, etc.

8 From language to meaning Our approach relies on linguistic (semantic) analysis of corpus: –Corpora extraction (e.g. Terminae, …) –Concept organisation according to semantic principles.

9 Semantic principles Actor –Role of a human being –Role in making movies –Is a character in the movie Director –Role of a human being –Role in making movies –Is not in the movie, but directs it Generic “sèmes” Specific “sèmes”

10 Semantic network structure Intensional properties are set in terms of differences Semantic network must be a tree ! A Defined by identity with T and difference P with B P/ (P and Q) imply False B Defined by identity with T and difference Q with A Q / (P and Q) imply False T C P from A, Q from B: C is contradictory

11 Differential Principles Role ActorDirector P3 : difference between the sibling nodes P4 : common property shared by the sibling nodes Plays in the movie Directs the movie P1: property with parent node (being a role of a human being) P2 : difference with parent node

12 Differential Principles Amount to explicitly specify what is understood when using a concept Formulate the semantic commitment that should be respected to use concepts

13 Extensional description of concepts Actor Linguistic semantics: Is a role: plays in a movie Denotation: {{w1: d11, d12..}, {w2: d21, d22, …}…} Director: Linguistic semantics Is a role; Directs a movie Denotation: {{w1: d11, d12..}, {w2: d21, d22, …}…} Role of a human being Extensional red links: lattice structure is possible Intensional black links : lattice structure is forbidden (tree). {Woody Allen, Clint Eastwood,…} forbidden

14 Summary

15

16 Conclusion Compatible with other approaches: –Export towards other environment (e.g. Protégé). Introduces a semantic commitment prior to formal representation. Several applications: DomainConceptsRelations Medicine Cycling9160 Childhood30137 Water20517 Mathematics19711