Processamento Paralelo Introdução

Ambiente de validação
de Ontologias baseado
em padrões
Tiago Prince Sales
[email protected]
Orientador:
Dr. Giancarlo Guizzardi
[email protected]
Padrões e Antipadrões
• Padrão:
– Solução recorrente para um problema recorrente
• Antipadrão
– Decisão de modelagem recorrente que traz mais
consequências negativas que positivas
– Analogia a code smells, can-of-worms…
Tipos de Padrão
• Antipadrão semântico
– Padrão sintaticamente correto que normalmente leva a
interpretações não desejadas do modelo
• Antipadrão sintático
– Padrão que evidencia possível erro na categoria ontológica do
conceito
• Padrão de derivação
– Padrão a partir do qual novos elementos podem ser derivados
• Padrão de teste
– Testes que geram situações relevates para a atividade de
validação ou verificam propriedades do modelo
Antipadrões semânticos
• Identificados
– Type-Reflexive
Relationship
– Relation Between
Overlapping Subtypes
– Relation Specialization
– Relation Cycle
– Imprecise Abstraction
– False Anti-Rigid
• Propostas:
– Relators With
Overlapping Types
– Relators With Rigid Types
– Twin Relator Instances
– Multiple Relators
– Relation Dependency
– Undefined Role
Relator With Overlapping Types
• Descrição:
– Relator conectado a tipos cujas extensões podem ter
interseção
• Interpretações:
1. Tipos disjuntos: mundos em que dois ou mais tipos
conectados ao relator não tem intereseção
2. Tipos exclusivos: mundos em que cada instância do relator
está conectada a um objeto distinto para cada mediação
3. Tipos não exclusivos: mundos em que cada instância do
relator está conectada a um mesmo objeto por diferentes
mediações
Relator With Overlapping Types
Relator With Rigid Types
• Descrição:
– Relator conectado a tipos de objeto rigidos (Kinds, Subkinds,
Quantities, Collectives e Categories)
• Interpretações:
1. Tipo dependente: Sequência de mundos nos quais as
instancias dos tipos rígidos estão sempre conectados as
mesmas instâncias dos relators
2. Tipos independente: Sequência de mundos nos quais as
instancias dos tipos rígidos são mediados por diferentes
instâncias dos relators
3. Tipo as a Mode*: A dependência vale do rígido para o
relator, mas não do relator para o rígido (logo ele é um
mode).
Relator With Rigid Types
Twin Relator Instances
• Descrição:
– Relators conectados a duas ou mais mediações com
cardinalidade superior maior que um no lado do relator
• Interpretações:
1. Instâncias clonadas: mundos nos quais duas ou mais
instâncias do relator mediam os mesmos objetos
2. Instâncias distintas: mundos nos quais nenhuma instância
do relator media os mesmos objetos que outra
Relator With Rigid Types
Antipadrão Sintático
• Propostas:
–
–
–
–
–
–
Partição de fase indefinida
Fases relacionalmente dependentes
Relação formal indefinida
Papéis com mútiplos relators
Tipos complementares (não maçã)
Generalization Set com tipos rígidos e antirígidos
Partição de fase indefinida
• Descrição: ausência da representação da
propriedade intrínseca que caracteriza a mudança
de fase
Fase relacionalmente dependente
• Descrição: fase conectado a um relator
Relação formal indefinida
• Descrição: ausência da representação da
propriedade para qual a relação formal é reduzida
Padrão de Derivação
• Derivações:
–
–
–
–
Transitividade em componentOf
Transitividade na combinação de relações mereológicas
Relações materiais
Relações opcionais
Padrão de Teste
• Propostas:
– Strong Satisfiability: there is at least one model of the
ontology in which every type has an instance
• Single or Multiple worlds
• Concrete, Substance sortal types
– Weak Satisfiability: there is at least one model of the
ontology in which at least one type has an instance
– Type Liveness: There is at least one model of the ontology
in which the type T has at least one instance.
– Type Coexistence: There is at least one model of the
ontology in which the types T1,T2, …, Tn have instances in
the same World
Padrão de Teste
• Propostas:
– Multiple Instantiation: There is/isn’t an individual that
instantiates types T1,T2, …, Tn simultaneously in a given
world.
– Temporal Instantiation: There is/isn’t an individual that
instantiates types T1,T2, …, Tn through time.
– Maximal Instantiation: an object instantiate all types it
possibly can
– Minimal Instantiation: an object instantiate the minimal set
of types it possibly can
– Association Cardinality:
• Minimum
• Maximum
Padrão de Teste
• Propostas:
– Padrões de teste por padrões de design
•
•
•
•
Padrão de validação de relators
Padrão de validação de tipos antirígidos
Padrão de validação de relações todo parte
Padrão de validação de Mixins
Obrigado!