Ontology from the perspective of MMF Ontology Registry OKABE, Masao ISO/IEC JTC1 SC32/WG2 MMF Ontology Registry UMTP (former CBOP) 4 November 2004.

Slides:



Advertisements
Similar presentations
Major Influences on the Design of ODM Dan Chang (IBM) Elisa Kendall (Sandpiper) MDSW 2004.
Advertisements

Charting the Potential of Description Logic for the Generation of Referring Expression SELLC, Guangzhou, Dec Yuan Ren, Kees van Deemter and Jeff.
OWL - DL. DL System A knowledge base (KB) comprises two components, the TBox and the ABox The TBox introduces the terminology, i.e., the vocabulary of.
Status Report of the Study Group on MDR/MFI Implemenations ISO/IEC JTC 1/SC 32/WG2 Interim Meeting Santa Fe, NM, USA, November 11~15, 2013 Dongwon Jeong,
Database Systems: Design, Implementation, and Management Tenth Edition
Copyright Irwin/McGraw-Hill Data Modeling Prepared by Kevin C. Dittman for Systems Analysis & Design Methods 4ed by J. L. Whitten & L. D. Bentley.
MFI-8: Changes based on Comments from Wuhan Meeting Peng Liang, Keqing He, Zaiwen Feng, Jian Wang Huafeng Chen, Chong Wang, Yangfan He SKLSE, Wuhan University,
SIG2: Ontology Language Standards WebOnt Briefing Ian Horrocks University of Manchester, UK.
Study Period Report: Metamodel for On Demand Model Selection (ODMS) Wang Jian, He Keqing, He Yangfan, Wang Chong State Key Lab of Software Engineering,
Scenario for the Integration of MDR&MFI Ad-hoc Meeting, Wuhan H. Horiuchi Study Period on the Integration of MDR/MFI.
Bridging : FGO and ISO/IEC JTC 1/SC 32/WG2 Interim Meeting Krakow, Poland, October 16, 2012 Dongwon Jeong, Kunsan National University
SC32 WG2 Metadata Standards Tutorial Metadata Registries and Big Data WG2 N1945 June 9, 2014 Beijing, China.
Status report of : Framework for generating ontologies ISO/IEC JTC 1/SC 32/WG 2 Interim Meeting, Redwood City, USA, November 17, 2010 Dongwon Jeong,
Environmental Terminology Research in China HE Keqing, HE Yangfan, WANG Chong State Key Lab. Of Software Engineering
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
Main extensions of ISO/IEC MFI Ontology registration Edition2 HE Keqing (HE Yangfan) and OKABE, Masao Editors ISO/IEC MFI Ontology registration.
1 MFI-5: Metamodel for Process models registration HE Keqing, WANG Chong State Key Lab. Of Software Engineering, Wuhan University
1 MFI-3 Ontology Evolution Metamodel HE Keqing,HE Yangfan 2007,6.
2004 Open Forum for eBusiness and Metadata Technology Standardization Metamodel Framework for Ontology Keqing He, Yixin Jing, Yangfan He State Key Laboratory.
The Final Study Period Report on MFI 6: Model registration procedure SC32WG2 Meeting, Sydney May 26, 2008 H. Horiuchi, Keqing He, Doo-Kwon Baik SC32WG2.
Study Period Report on Registration Procedure SC32WG2 Interim Meeting, Seoul H. Horiuchi SC32WG2 N1070.
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
2010/11/16 OKABE, Masao 1 Issues to be discussed on MFI-Part10 Core model and basic mapping and transformation OKABE, Masao Editor MFI Part
ISO/IEC/JTC1 SC32/WG2 Jeju Meeting 2009/06/22-27 Updated 2009/08/17, 2009/08/20, 2009/11/17 Masaharu Obayashi (kanrikogaku Ltd.) WG2N1349 Basic Idea on.
Issues for ISO/IEC : Procedure for the Specification of Web Ontology (PSO) ISO/IEC JTC 1/SC 32/WG 2 Interim Meeting London, UK, November 17, 2009.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
SC32/WG2 N ISO/IEC WD MMF Ontology Registration He Keqing and OKABE, Masao Project editor MMF Ontology Registration ISO/IEC JTC1 SC32/WG2 ISO/IEC.
All Presentation Material Copyright Eurostep Group AB ® Open Discussion on Industrial Data and the Semantic Web : Volume 2 David Price Seattle SC4, October.
An Introduction to Description Logics (chapter 2 of DLHB)
ISO/IEC : Framework for a Metadata Registry By Daniel W. Gillman Bureau of Labor Statistics USA.
Scope and Objectives of MFI family Hajime Horiuchi.
MFI-5: Metamodel for process model registration WANG Chong, HE Keqing, HE Yangfan, WANG Jian State Key Lab of Software Engineering (SKLSE) Wuhan University,
MFI-8: Metamodel for Role & Goal Registration Peng Liang, Keqing He, Jian Wang Huafeng Chen, Chong Wang, Yangfan He SKLSE, Wuhan University, P.R. China.
LoG: A Methodology for Metadata Registry-based Management of Scientific Data July 5, 2002 Doo-Kwon Baik
2010/11/17 OKABE, Masao 1 Comments on WG2_N1421_5th_SP_of_CD2_ OKABE, Masao Expert Contribution
"Would you tell me, please, which way I ought to go from here?” "That depends a good deal on where you want to get to," said the Cat. -Lewis Carroll: Alice’s.
Organization of the Lab Three meetings:  today: general introduction, first steps in Protégé OWL  November 19: second part of tutorial  December 3:
OKABE, Masao /8/21 Relations between MFI Registry and Repositories outside of MFI 1 First, registration and authorization Second, periodical crawling.
DL Overview Second Pass Ming Fang 06/19/2009. Outlines  Description Languages  Knowledge Representation in DL  Logical Inference in DL.
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
Discussion about MFI-8: Metamodel for Role and Goal Registration
Extending the MDR for Semantic Web November 20, 2008 SC32/WG32 Interim Meeting Vilamoura, Portugal - Procedure for the Specification of Web Ontology -
ISO/IEC JTC 1/SC 32 Plenary and WGs Meetings Jeju, Korea, June 25, 2009 Jeong-Dong Kim, Doo-Kwon Baik, Dongwon Jeong {kjd4u,
ISO/IEC/JTC1 SC32/WG2 Jeju Meeting 2009/06/22-27 Updated 2009/08/17 Masaharu Obayashi (kanrikogaku Ltd.) Basic Idea on MFI-2 core Model.
MFI-7: Metamodel for Service Registration 1 Zaiwen Feng, Keqing He, Chong Wang, Jian Wang Peng Liang, Jianxiao Liu, Yangfan He SKLSE, Wuhan University,
ece 627 intelligent web: ontology and beyond
Status Report of MFI-4 ISO/IEC SC32/WG2 Jeju Korea 25/06/09 Masaharu Obayashi WG2 N1282.
Issues of PDTR : Framework for generating ontologies based on Ed.3 ISO/IEC JTC 1/SC 32 Plenary and WG2 Meeting Kunming, China, May 26, 2010.
Discussion about MFI-7: Metamodel for Service Registration Wang Jian, He Keqing, He Yangfan, Wang Chong SKLSE, Wuhan University, China
Issues for Discussion on MFI-9 Wang Jian, He Keqing, Wang Chong, Feng Zaiwen, Fie He Wuhan University, China ISO/IEC JTC1/SC32/WG2 N1526.
SC32/WG2 N Status report on ISO/IEC CD MMF Ontology Registration He Keqing and OKABE, Masao Project editor MMF Ontology Registration ISO/IEC JTC1.
Extending the Metadata Registry for Semantic Web - Enforcing the MDR for supporting ontology concept - May 28, 2008 ISO/IEC JTC 1/SC 32 WG 2 Meeting Sydney,
Of 29 lecture 15: description logic - introduction.
Ontology Technology applied to Catalogues Paul Kopp.
Ccs.  Ontologies are used to capture knowledge about some domain of interest. ◦ An ontology describes the concepts in the domain and also the relationships.
Here is my personal thought about the key JP comments to MFI-5 CD5.
ece 720 intelligent web: ontology and beyond
MDR for the Semantic Web: Supporting Ontology Concept
Scope and Objectives of MFI family
ISO/IEC TR (11) ( Structured Model Registration)
Masaharu Obayashi SC32/WG
Issues for Discussion on MFI-9
Issues to be discussed on MFI-New-Part2
Description Logics.
ISO/IEC (MFI-6) Scope definition & Document Structure
Requirements for MFI Part6: Registration procedure
CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.
“Registered_Item” for MFI Registration (Recommendation)
MFI-5: Metamodel for process model registration
Presentation transcript:

Ontology from the perspective of MMF Ontology Registry OKABE, Masao ISO/IEC JTC1 SC32/WG2 MMF Ontology Registry UMTP (former CBOP) 4 November 2004

OKABE, Masao 2 About MMF Project MMF (Framework for Metamodel Interoperability) ISO/IEC19763 (project leader: Hajime Horiuchi, Jp) Part-1: Reference Model (Jp, UK) Part-2: MMF Core (Jp, Kr) Part-3: MMF Ontology Registry (Jp, Cn, Kr) Part-4: MMF Model Mapping (Jp)

4 November 2004OKABE, Masao 3 About MMF Ontology Registry Project A Joint project of experts from China, Korea and Japan Main Editor:Hajime Horiuchi Project members Japan;  Hajime Horiuchi (SC32-Jp, UMTP, Tokyo International Univ.)  Masao Okabe (SC32-Jp, UMTP, TEPCO)  Masaharu Obayashi (SC32-Jp, UMTP, K-three) China;  He Keqing (SC32-Cn, SKLSE, Wuhan Univ.)  He Yangfan (SC32-Cn, SKLSE, Wuhan Univ.)  Wang Chong (SC32-Cn, SKLSE, Wuhan Univ.) Korea;  Doo-Kwon Baik (SC32-Kr, Korea Univ.)  Sam Oh (SC32-Kr, Sungkyunkwan Univ.)

4 November 2004OKABE, Masao 4 Abstract MMF Ontology Registry links administration information to the ontology stored conforming to ODM. For that purpose, MMF Ontology Registry relies on DL metamodel of ODM. MMF Ontology Registry ODM

4 November 2004OKABE, Masao 5 Why is ontology? Objectives of ontology from the point of MMF Ontology Registry Mainly, to promote interoperability among various application systems. More generally, to provide common base to communicate and collaborate in some business domain or among deferent domains. Background Due to the proliferation of E-business and E-Commerce through the internet, there are a lot of application systems available on the internet. The number of available application systems is becoming larger and larger. The services provided by them evolve continuously. Note We think this view is within ODM and consistent with ODM

4 November 2004OKABE, Masao 6 What is ontology? We support the definition in ODM RFP ad/ ODM RFP ad/ says an ontology can range; Taxonomy  knowledge with minimal hierarchy or a parent/child structure Thesaurus  words and synonyms Conceptual Model  with more complex knowledge Logical Theory  with very rich, complex, consistent and meaningful knowledge

4 November 2004OKABE, Masao 7 What is ontology, compared with conceptual model? To actualize the our objectives of ontology, ontology has a feature, compared with conceptual model. That is, Continuous and autonomous evolution Ontologies have to evolve continuously and autonomously as each application system evolves continuously and autonomously.

4 November 2004OKABE, Masao 8 Difficulty caused by autonomous evolution This ontology has a definition of ‘green card’ and does not have a definition of ‘Christmas card’. This ontology does not have a definition of ‘green card’ but has a definition of ‘Christmas card’. Ontology for application system A Ontology for application system B Agent AAgent B Give me a ‘green card’. Green card??? I can give you a Christmas card. Christmas card??? To resolve this difficulty, source ontology is necessary.

4 November 2004OKABE, Masao 9 Source ontology and Local ontology Source Ontology3 Local Ontology for application system A Local Ontology for application system B Local ontology : localized ontology for some application system based on source ontologies relatively unstable and evolves autonomously and continually Source Ontology: standardized ontology for some business domain pre-defined and relatively stable Source Ontology1 Source Ontology2 ・ ・ ・

4 November 2004OKABE, Masao 10 Source Ontology and local ontology:Example Source Ontology + Green Card is … Source Ontology + Christmas card is … Source Ontology Local Ontology for application system A Local Ontology for application system B Card is … Certification is … Agent AAgent B Color is … Green is … Give me a green card. What is a green card? Is it a Christmas card whose color is green? No. A green card is a certification of working in the U.S. OK. I understand. Then, I cannot give you a green card. If agent A and B are human beings, this is easy task. But if agent A and agent B are computer agents, this is not so easy task.

4 November 2004OKABE, Masao 11 What is necessary for computer agents. For both source ontology and local ontology Machine-understandable formal description => ODM’s matter Administration information registration authority identification effective date etc. based on ISO/IEC MDR Part 3 =>MMF Ontology Registry's matter

4 November 2004OKABE, Masao 12 Scope of MMF Ontology Registry Scope of ODM

4 November 2004OKABE, Masao 13 Example one in ODM PRS 1 as source ontology (PersonlCar:Concept):Atomic_Onto_Construct administration information (Car:Concept):Atomic_Onto_Construct administration information (Vehicle:Concept):Atomic_Onto_Construct administration information (owns:Role):Atomic_Onto_Construct administration information (Person:Concept):Atomic_Onto_Construct administration information Example1:Source_Onto administration information MMF Ontology Registry ODM

4 November 2004OKABE, Masao 14 Other metaclasses with administration information in MMF Ontology Registry Onto_Domain Source_Onto Atomic_Onto_Construct Local_Onto SO_Component SOC_Variant Onto_Instances Onto_Concepts Onto_Selection

4 November 2004OKABE, Masao 15 Relation between ODM and MMF Ontology Registry ODM specifies ontology metamodel in several ontology descriptive languages MMF Ontology Registry links administration information to ontology stored conforming to ODM relies on DL metamodel of ODM because  DL metamodel is the core of ODM  two-way bounded mappings to/from DL and other ontology metamodels such as OWL, Topic Maps etc. shall be provided. Hence, we are very much interested in ODM, especially in DL metamodel and have several comments and questions.

4 November 2004OKABE, Masao 16 Why is DL the core of ODM? The main deference between DL and FOL is decidability, which DL usually has but FOL does not. Theoretically, decidability is very attractive. But, practically, it might not matter. Why does not ODM use FOL as its core, although FOL is still complete.

4 November 2004OKABE, Masao 17 Comment on DL metamodel in ODM PRS 1 * An expression is not necessarily in Tbox. For example, an expression “Female  Person(ANNA)” is in Abox. *: Ontology Definition Metamodel Preliminary Revised Submission to OMG RDP ad/ Volume1, 18 August 2004

4 November 2004OKABE, Masao 18 DL does not have variables DL does not have a quantification for a first argument of an atomic role. See next two slides in detail. Comment on Example 3 in ODM PRS 1 (1/3)

4 November 2004OKABE, Masao 19 Comment on Example 3 in ODM PRS 1 (2/3) Example 3 might be wrong in two points. As FOL, this is correct. The first point is that this uses x as a variable which is not introduced in DL. This situation sometimes happens because DL has only quantification for the second argument of Role. To resolve this situation, an inverse Role is necessary. Then, we have;  hasColor .Car  Color(red) So, this is an A-box expression for red:individual and cannot be a concept. That is, “ c1:Concept ” is not true. This is the second point.

4 November 2004OKABE, Masao 20 Comment on Example 3 in ODM PRS 1 (3/3) The diagram should be; red : Literal Color : DataType Car : Concept : Intersection : Existential : Inverse hasColor : Role e1 : Expression

4 November 2004OKABE, Masao 21 Example: MotherlessChild   hasChild .  Woman MotherlessChild:Concept e2:Expression e1:Expression e3:Expression e4:Expression hasChild:Role :Definition :Universal :Inverse :Negation Woman:Concept It is not easy for DL metamodel to specify that e3 must be an expression that can be defined as a role and that e4 must be an expression that can be defined as a concept. (see next example also) Does ODM intend to do this kind of things completely?

4 November 2004OKABE, Masao 22 Example: ParentWithDaughter   hasChild.  hasWife ParentWithDaughter:Concept e2:Expression e1:Expression e3:Expressione4:Expression hasChild:Role :Definition :Existential :Inverse:Negation hasWife:Role Obviously, this is a wrong example because hasWife is not a concept but a role. Does DL metamodel detect this kind of syntactical error completely?

4 November 2004OKABE, Masao 23 Example: Female  Child  Cat  Dog) e2:Expression e1:Expression:Intersection :Union Is this diagram correct? If yes, how can it is distinguished from (Female  Child)  Cat  Dog. If no, how does DL metamodel recognize the following two are same.  Female  Child  Cat  Dog))  (Female  Child)  Cat  Dog)) Female:Concept Child:Concept Cat:Concept Dog:Concept

4 November 2004OKABE, Masao 24 Question about two-way and bounded mapping on RFP Two-way According to the RFP  An instance of the ODM metamodel can be translated into an instance of some (e.g. OWL DL) metamodel and vice-versa. Unclear point  Since ‘can’ is not ‘must’, it is acceptable that some instances disappear through the mapping. Is it correct? Bounded According to the RFP  Repeated applications of the two-way mapping does not result in continually large user model. Unclear point  This means that through the mapping some information may lose but even finitely- many repeated applications may not result in nothing. Is it correct? If they are correct, MMF Ontology Registry faces a problem because it relies on DL metamodel even if ontology is described in other descriptive languages.

4 November 2004OKABE, Masao 25 Asking for permission To promote the co-operation of ODM and MMF Ontology Registry, it is a good idea to put ‘overview of ODM’ as an annex of MMF Ontology Registry standard. ‘Overview of ODM’ shall be a summary of RFP and Revised Submission Volume 1 and 2. We need the copyrighters(Gentleware, DSTC, IBM, Sandpiper )’ permission, because ‘Overview of ODM’ shall become open to all as an annex of MMF Ontology Registry 2 nd WD(or CD) some sentences and diagrams in the overview might be similar to the original ones.

4 November 2004OKABE, Masao 26 We are confident that the collaboration with ODM and MMF Ontology Registry will bring a fruitful outcome. Thank you.

4 November 2004OKABE, Masao 27  