OntoUML Tipos de Propriedades

Transcrição

1 OntoUML Tipos de Propriedades Ricardo de Almeida Falbo Engenharia de Ontologias Departamento de Informática Universidade Federal do Espírito Santo

2 Agenda Propriedades em UFO-A Relações em UFO-A Relações Parte - Todo Tipos de Propriedades e Relações em OntoUML

3 Propriedades e Relações em UFO-A Propriedade é um termo mais geral usado para designar atributos e associações No que se refere a propriedades, UFO-A trata de: Propriedades intrínsecas de objetos; Propriedades relacionais; Tipos de relações; Tipos de relações todo-parte.

4 UFO-A

5

6 Propriedades de objetos. Moments só podem existir em outros indivíduos e, portanto, são existencialmente dependentes deles.

7 Intrinsic Moments são dependentes de um único indivíduo. - Qualidades (qualities) tais como cor e peso; - Modos (modes), tais como crença e intenção; - Disposições (dispositions), tal como atratividade de um imã.

8 Relational Moments (ou Relators) são dependentes de vários indivíduos. Ex.: um casamento, uma ordem de compra etc.

9

10 Para Moment Universals perceptíveis (p.ex., Cor, Peso), há uma quality structure associada na cognição humana.

11 Quality Structure

12

13 Qualia and Quality Structures c::color c v2 a a::apple w w::weight Color Quality Space 0 v1 Weight Quality Space

14 Quality Structures

15 Quality Structures HSBColorDomain a::apple i c::color <h1,s1,b1> equivalence RGBColorDomain <r1,g1,b1>

16 Moment Universals Color Quality Space Moment Universals perceptíveis (p.ex., Cor, Peso), para os quais há uma quality structure associada na cognição humana.

17 Moment Universals Color Quality Space Moment Universals que não são Quality Universals (p.ex., Desejo, Percepção), i.e., para os quais não há uma quality structure associada na cognição humana.

18 Relações em UFO-A Relações são entidades que conectam outras entidades UFO divide relações em duas categorias amplas: relações materiais and formais.

19 Tipos de Relações em UFO-A

20 Relações Formais Acontecem diretamente entre duas ou mais entidades, sem qualquer outro indivíduo entre elas. Ex.: instanciação (::), inerência (i), dependência existencial (ed), etc. Relações formais comparativas: acontecem tão logo são dadas as entidades relacionadas (ditas relata) are given. Ex.: mais alto que, mais velho que etc. As entidades que são os relata imediatos de tais relação não são Substantials mas Qualities. heavier (Paul, John)? John Paul

21 Relações Formais 0 vj vp Weight Quality Dimension WeightValues w1 w2 John Paul

22 Relações Formais 0 vj vp Weight Quality Dimension WeightValues w1 w2 heavier (Paul, John)? John vp> vj Paul

23 Relações Materiais São relações que tem estrutura material por conta própria. Os relata de uma relação material relation são mediados por indivíduo ditos relators. Relators são indivíduos com o poder de conectar entidades. Ex.: Casamento

24 Tipos de Relações em UFO-A

25 Externally Dependent Moment Externally dependent modes are individual modes that inhere in a single individual but that are existentially dependent on (possibly a multitude of) other individuals i: inherence ed: existential dependence

26 Externally Dependent Moment :: instantiation

27 Externally Dependent Moment Material Relation der: derivation Relator m: mediation

28 Tipos de Relações em UFO

29 Alguns Tipos de Relações Formais em UFO-A Mediation: relação formal entre um Relator Universal e um Endurant Universal (em especial, Role e RoleMixin). Characterization: relação formal entre um Mode Universal e o Endurant Universal que ele caracteriza. Derivation: relação formal entre uma Material Relation e o Relator Universal da qual ela deriva.

30 Relações Parte-Todo: Ground Mereology Parte-todo é não-reflexiva, i.e., nada é parte de si mesmo. Parte-todo é anti-simétrica, i.e., se X é parte de Y então Y não pode ser parte de X. Parte-todo é transitiva, i.e., se X é parte de Y e Y é parte de Z então X é parte de Z.

31 Ground Mereology A semântica formal apresentada anteriormente define uma relação dita de ordem parcial estrita. Esses axiomas não são suficientes para diferenciar relações todo-parte de outras relações de ordem parcial (e.g., menor-que, maior-que, causalidade, precedência temporal estrita). Uma teoria mais forte chamada Minimum Mereology, então, define algumas noções adicionais.

32 Suplementação Fraca A Minimum Mereology toma os axiomas de ordem parcial da Ground Mereology e include o dito Princípio da Suplementação Fraca (Weak Supplementation Principle). X Y?

33 Suplementação Fraca X Y? X Y Z Princípio da Suplementação Fraca Se Y é parte de X e se todo-parte é não-reflexiva, então deve haver uma outra parte de X que é complementar a Y

34 Princípio da Suplementação Fraca Event * * Event 1..* *

35 Padrão da Suplementação Fraca Entity 2..* {disjoint,complete} AtomicEntity ComplexEntity * AtomicEntity(x) = def $y partof(y,x)

36 Relações Parte - Todo Há outras meta-propriedades que podem ser usadas para qualificar as relações entre partes e todos. Person 1 1 Heart Dependência Genérica: precisa existir uma parte à Relação parte-todo mandatória Person {essential} 1 1 Brain Dependência Existencial: precisa existir uma parte específica à Relação partetodo essencial Parte inseparável: a parte é existencialmente dependente do todo. Car {essential} Chassis Engine 1

37 Capacidade de Compartilhar Instance of Instance of NEMO 2..* 2..* Família Falbo part of Ricardo Instance of Instance of Instance of part of

38 Relações Parte-Todo John Ricardo part of part of NEMO Busca & Semântica part of UFES Globo.com

39 Zed s Cérebro do Ricardo Brain part of part of Ricardo Zed part of UFES Globo.com

40 Tipos de Relações Parte - Todo SubQuantity-Quantity (subquantityof) Dá-se entre Quantities e é sempre transitiva Ex.: Álcool é parte de Vinho SubCollective-Collective (subcollectiveof) Dá-se entre Collectives e é sempre transitiva Ex.: a Floresta Amazônica brasileira é parte da Floresta Amazônica.

41 Tipos de Relações Parte - Todo Member-Collective (MemberOf) Dá-se entre Objects e Collectives e nunca é transitiva Ex.: uma pessoa é parte de um grupo Mistura de MemberOf e subcollectiveof é sempre transitiva Ex.: uma árvore é parte da Floresta Amazônica Brasileira, que é parte da Floresta Amazônica. Então essa árvore é parte da Floresta Amazônica.

42 Tipos de Relações Parte - Todo Component-Functional Complex (componentof) Dá-se entre Functional Complexes. Pode ser transitiva em alguns casos e não em outros. E.g.: Um motor é um componente funcional de um carro. Um coração é um componente funcional do sistema circulatório.

43 Propriedades e Relações em OntoUML Moment Classes: Mode: <<mode>> universal Relator: <<relator>> universal Dependency Relationship: Mediation: <<mediation>> formal relation Characterization: <<characterization>> formal relation Derivation: derivation formal relation Association: Formal Association: <<formal>> relation Material Association: <<material>> relation

44 Propriedades e Relações em OntoUML

45 Propriedades e Relações em OntoUML Metaclasse abstrata representando as propriedades gerais de todas as relações partetodo. Não possui uma sintaxe concreta associada.

46 OntoUML como uma Linguagem de Padrões OntoUML Structural Model

47 OntoUML como uma Linguagem de Padrões

48 Referência Guizzardi, G., Ontological Foundations for Structural Conceptual Models, Universal Press, p.