Ontology from the perspective of MMF Ontology Registry OKABE, Masao ISO/IEC JTC1 SC32/WG2 MMF Ontology Registry UMTP (former CBOP) 4 November 2004 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 2004 OKABE, Masao 2 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 2004 OKABE, Masao 3 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 Core MMF Ontology Registry MMF Ontology Registry . . . Registry Info. C Registry Info. A Ontology Registry Information Ontology Registry Information for Ontology A for Ontology A . . . Ontology C Ontology A for application system C for application system A Registry Info. B Ontology Registry Information for Ontology B Ontology Registry Standardiz Standardized Ontology Ontology Repository Repository Ontology B Standardized Ontology Repository for application system B ODM Application Application System A System A 4 November 2004 Inte rope ration OKABE, Masao Application System B 4 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 2004 OKABE, Masao 5 What is ontology? We support the definition in ODM RFP ad/2003-03-40. ODM RFP ad/2003-03-40 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 2004 OKABE, Masao 6 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 2004 OKABE, Masao 7 Difficulty caused by autonomous evolution This ontology has a definition of ‘green card’ and does not have a definition of ‘Christmas card’. Agent A Ontology for application system A This ontology does not have a definition of ‘green card’ but has a definition of ‘Christmas card’. Give me a ‘green card’. Green card??? I can give you a Christmas card. Christmas card??? Agent B Ontology for application system B To resolve this difficulty, source ontology is necessary. 4 November 2004 OKABE, Masao 8 Source ontology and Local ontology Source Ontology: standardized ontology for some business domain pre-defined and relatively stable Source Ontology1 ・ ・ ・ Source Ontology3 Source Ontology2 Local Ontology for application system B Local Ontology for application system A Local ontology : localized ontology for some application system based on source ontologies relatively unstable and evolves autonomously and continually 4 November 2004 OKABE, Masao 9 Source Ontology and local ontology:Example Source Ontology Agent A Local Ontology for application system A Source Ontology + Green Card is … Card is … Color is … Certification 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. Agent B Local Ontology for application system B OK. I understand. Then, I cannot give you a green card. Source Ontology + Christmas card is … 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 2004 OKABE, Masao 10 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 11179-3 MDR Part 3 =>MMF Ontology Registry's matter 4 November 2004 OKABE, Masao 11 Scope of MMF Ontology Registry MMF Core Scope of MMF Ontology Registry MMF Ontology Registry . . Registry Info. C . Registry Info. A Information Ontology Registry Ontology Registry Information for Ontology A for Ontology A . . Ontology C . Ontology A for application system C for application system A Registry Info. B Ontology Registry Information Ontology Registry Standardiz Standardized Ontology Ontology Repository Repository for Ontology B Standardized Ontology Repository Ontology B for application system B Scope of ODM Application Application System A System A 4 November 2004 Interoperation OKABE, Masao Application System B 12 Example one in ODM PRS 1 as source ontology ODM MMF Ontology Registry Example1:Source_Onto administration information (PersonlCar:Concept):Atomic_Onto_Construct administration information (Car:Concept):Atomic_Onto_Construct administration information (Person:Concept):Atomic_Onto_Construct administration information (owns:Role):Atomic_Onto_Construct administration information (Vehicle:Concept):Atomic_Onto_Construct administration information 4 November 2004 OKABE, Masao 13 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 2004 OKABE, Masao 14 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 2004 OKABE, Masao 15 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 2004 OKABE, Masao 16 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/2003-03-40 Volume1, 18 August 2004 4 November 2004 OKABE, Masao 17 Comment on Example 3 in ODM PRS 1 (1/3) DL does not have a quantification for a first argument of an atomic role. DL does not have variables See next two slides in detail. 4 November 2004 OKABE, Masao 18 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 2004 OKABE, Masao 19 Comment on Example 3 in ODM PRS 1 (3/3) The diagram should be; red : Literal : Intersection e1 : Expression : Existential e1 : Expression Car : Concept : Inverse e1 : Expression Color : DataType hasColor : Role 4 November 2004 OKABE, Masao 20 Example: MotherlessChildhasChild-. Woman MotherlessChild:Concept :Inverse e1:Expression :Definition e2:Expression :Universal e3:Expression e4:Expression hasChild:Role Woman:Concept :Negation 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 2004 OKABE, Masao 21 Example: ParentWithDaughterhasChild. hasWife ParentWithDaughter:Concept e1:Expression e2:Expression :Inverse :Definition :Existential e3:Expression e4:Expression hasChild:Role hasWife:Role :Negation 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 2004 OKABE, Masao 22 Example: FemaleChild(CatDog) Female:Concept Child:Concept e1:Expression :Intersection Cat:Concept e2:Expression :Union Dog:Concept Is this diagram correct? If yes, how can it is distinguished from (FemaleChild) CatDog. If no, how does DL metamodel recognize the following two are same. Female(Child(CatDog)) (FemaleChild)(CatDog)) 4 November 2004 OKABE, Masao 23 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 finitelymany 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 2004 OKABE, Masao 24 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 2nd WD(or CD) some sentences and diagrams in the overview might be similar to the original ones. 4 November 2004 OKABE, Masao 25 We are confident that the collaboration with ODM and MMF Ontology Registry will bring a fruitful outcome. Thank you. 4 November 2004 OKABE, Masao 26
© Copyright 2026 Paperzz