Tipos de Ontologia
UFO-A e UFO-B
UFO-A é uma ontologia de Endurants, são objetos que persistem no tempo que mudam qualitativamente, exemplo: uma pessoa, um carro. Enquanto que UFO-B é uma ontologia de Perdurants, onde os indivíduos são compostas por unidades temporais e, ao contrário de Endurants, ocorrem no tempo, no sentido de que elas se estendem no tempo, acumulando partes temporais, exemplo: aula, guerra.
UFO-A Um entidade pode ser atômica, exemplo: um grupo de homens, ou disjunta, exemplo: pessoa tipo homem ou mulher. Substantials são padrões aplicados a individuos singulares. Exemplo: eu, cadeira. Moment são existencialmente dependentes de outros individuos, inerentes ao indivíduo. Moments podem ser intrisic Moment,denotam propriedades intrínsecas do portador, exemplo: cor da caneta ou Relator, individuos interventores ou mediadores de certa relação entre indivíduos, exemplo: casamento mediado entre João e Maria. Intrinsic Moment pode ser Qualidade, quando a propriedade intrínseca é mensuravel em espaços conceituais, exemplo: o peso de João , ou Modo, que não tem representação em um sistema de medida, exemplo: dor de cabeça de Rafael. Um tipo especial de modo é chamado QUA-Individual, que refere-se a um Moment que representa um conjunto de caracteristicas que um individuo adquiri em um certo contexto, por exemplo: RonaldoQuaJogadordeFutebol tem propriedades diferentes de RonaldoQuaDeputado.
UFO-B A situação habilitada no mundo causa eventos. A disposição dos objetos são as propriedades do indivíduo. Por exemplo: O evento-Dar aula, só ocorrerá se o professor tiver disposição-para Ir dar aula, o que causa outra situação no mundo. Sendo que a manifestação da disposição pode falhar, como: ir dar aula. O tempo que um evento ocorre pode ser linear ou ramificado.
