Lover, deklarasjoner og traktater

Um tipo de ontologia, chamado Ontologia de Fundamentação, é uma ontologia cujos conceitos são independentes de domínio (e.g. conceitos como parte, todo, papel e evento) e é utilizada para articular conceituações dos diversos domínios. Um exemplo conhecido na literatura de computação é a UFO (Unified Foundational Ontology), uma ontologia de fundamentação desenvolvida com o intuito de prover uma fundamentação ontológica para linguagens gerais de modelagem conceitual (Zamborlini, 2011).

O enfoque desta tese está em uma das partes da UFO, denominada UFO-A, que define termos relacionados a aspectos estruturais como conceitos gerais de objetos,

suas propriedades intrínsecas e relacionais, os tipos que eles instanciam, os papéis que eles desempenham, entre outros.

OntoUML é um perfil UML composto por um conjunto de estereótipos e

elementos de modelagem que representam as categorias ontológicas propostas na

UFO-A. Esta seção apresenta os principais elementos da UFO-A, destacando suas

respectivas representações no perfil OntoUML. As informações contidas nesta seção foram escritas com base nos trabalhos de Guizzardi (2005), Zamborlini (2011) e Benevides (2010).

Em UFO, _{“Universal” é a categoria ou tipo geral de elemento de modelagem} conceitual, que representa os padrões de características presentes em diferentes indivíduos de um determinado domínio. Por exemplo, esse tipo se aplica aos conceitos “Pessoa”, “Professor”, “Empresa”, entre outros.

“Universals” podem ser classificados como “Monadic” ou “Relation”. O tipo

“Monadic” é a categoria que se aplica aos conceitos, que são padrões aplicados a indivíduos singulares, enquanto o tipo _{“Relation” se aplica às relações, que são padrões} aplicados a grupos de dois ou mais indivíduos.

Elementos do tipo _{“Monadic”. A principal distinção de tipos “Monadic” em UFO}

é a distinção entre “Substantials” e “Moments”. Um conceito do tipo “Substantial” representa indivíduos que são existencialmente independentes de outros indivíduos, tal como uma pessoa, uma casa, um carro, entre outros. “Moments”, por outro lado, classificam indivíduos que representam propriedades objetificadas de outros indivíduos e que são inerentes a eles. Por exemplo, a idade de uma pessoa é um _{“Moment”, ou} seja, um indivíduo desse tipo é inerente a outro indivíduo, no caso uma pessoa.

“Substantials” podem ser classificados ainda como “Sortal” ou “Mixin”. Conceitos do tipo “Sortal” agregam indivíduos com o mesmo princípio de identidade. Por exemplo, supondo que a impressão digital defina a identidade de uma pessoa, são universais do tipo “Sortal” os conceitos “Pessoa”, “Cliente”, “Adulto”, entre outros. Por outro lado, elementos do tipo _{“Mixin” são aqueles que agregam indivíduos com princípios de} identidade diferentes. Supondo que o CNPJ defina a identidade de uma empresa, então o conceito _{“Item Assegurável”, que agrega pessoas e empresas, é um universal do tipo} “Mixin”.

Os conceitos do tipo “Sortal” podem ser classificados como “Rigid Sortal” ou “Anti-Rigid Sortal”. “Rigid Sortal” são conceitos rígidos como “Pessoa” e “Empresa”, isto é, cujos indivíduos devem instanciá-los enquanto existirem. Por exemplo, João é necessariamente instância de “Pessoa” enquanto ele existir. Por outro lado, universais do tipo “Anti-Rigid Sortal” são conceitos como “Cliente” e “Adulto”, cujos indivíduos

podem eventualmente instanciá-los enquanto existirem. Por exemplo, João pode ser uma instância de _{“Adulto” em determinado momento e em outro, não mais.}

O tipo “Rigid Sortal” é ainda classificado como “Substance Sortal”, quando provê o princípio de identidade aos seus indivíduos ou como “Subkind”, quando apenas herda esse princípio de outro elemento. Por exemplo, considerando-se a impressão digital como o princípio de identidade provido a toda instância do conceito _{“Pessoa”, os} conceitos “Homem” e “Mulher” são do tipo “Subkind”, pois herdam o princípio de identidade do conceito “Pessoa”.

O tipo _{“Substance Sortal”, por sua vez, é subdividido em “Kind”, “Quantity” e} “Collective”. O tipo “Kind” é tal que suas instâncias podem ser compostas por outros indivíduos, desde que as partes exerçam papéis diferentes no todo. Por exemplo, o “Corpo Humano” é um “Kind” composto por partes com diferentes papéis, como coração e cérebro. Em contrapartida, as instâncias tipo _{“Collective” possuem partes que exercem} o mesmo papel funcional no todo, por exemplo, “Floresta” (como conjunto de árvores) ou uma _{“Pilha de Livros” são exemplos de “Collectives”. Um elemento do tipo} “Collective” pode ser “Extensional” ou não; ser “Extensional” significa que todas as partes da coleção são essenciais e a mudança (ou destruição) de alguma parte provoca a destruição de toda coleção. Finalmente, o tipo “Quantity” agrupa indivíduos que são porções de uma quantidade de matéria, por exemplo, a quantidade de água dentro de um copo.

Os universais do tipo “Anti-Rigid Sortal”, por sua vez, são classificados como “Phase” ou “Role”. Conceitos do tipo “Phase” são tais que sua instanciação é determinada por uma propriedade intrínseca do indivíduo. Por exemplo, João instancia a fase _{“Adulto” se sua idade (propriedade intrínseca) é maior que 18 anos. Já os conceitos} do tipo “Role”, como por exemplo “Esposo”, são relacionalmente dependentes, ou seja, sua instanciação é determinada por uma propriedade relacional do indivíduo (propriedades relacionais são explicadas mais a frente neste texto). Por exemplo, João instancia o papel de _{“Esposo” se estiver casado com (propriedade relacional) Maria.}

“Moments” podem ser classificados como “Instrinsic Moment” ou “Relator”.

Elementos do tipo _{“Instrinsic Moment” denotam propriedades intrínsecas do indivíduo} portador. Se essa propriedade é mensurável, ou seja, se tem um valor em uma ou mais dimensões de qualidade, ela é chamada de “Quality”, tal como as propriedades de “peso” ou “idade”. Por outro lado, se a propriedade não tem representação em um sistema de medida, ela é chamada de “Mode”, por exemplo, “dor de cabeça”. Quanto aos “Relators”, estes são elementos interventores ou mediadores, ou seja, indivíduos que mediam outros tornando verdadeira alguma relação entre eles. Exemplos de “relators” são apresentados mais adiante neste texto.

Elementos do tipo _{“Relation”. O tipo “Relation Universal” é a categoria geral}

que se aplica aos universais de relação, também chamados apenas de relações. Esta categoria é subdividida em “Formal”, “Material” e “Meronymic”.

O tipo “Material” se aplica às relações que dependem de algum interventor para valer, a saber, um indivíduo do tipo “Relator”. Por exemplo, a relação “casado com” vale enquanto existir um _{“casamento” (Relator).}

Contrariamente, as relações do tipo “Formal” valem pela simples existência dos indivíduos relacionados. Por exemplo, a relação entre João e seu cérebro vale sempre que ambos existirem. As relações do tipo _{“Formal” podem ser ainda classificadas como} “Basic Internal Relation” ou “Domain Formal Relation”.

O tipo _{“Basic Internal Relation” aplica-se a relações formais internas, ou seja,} que estão relacionadas a outras categorias da UFO. Os dois principais tipos de “Basic

Internal Relation_{” são “Characterization” e “Mediation”. “Characterization” é um tipo de}

relação binária que associa um elemento do tipo “Mode” (por exemplo, “estado mental”) com um elemento do tipo _{“Monadic” (por exemplo, “Pessoa”). “Mediation”, por sua vez,} associa um “Relator” (por exemplo, “casamento”) com o elemento “Monadic” mediado por ele (por exemplo, _{“Homem” e Mulher).}

Já o tipo “Domain Formal Relation” se aplica às relações formais que são específicas de (inerentes ao) domínio e que, por isso, não estão relacionadas a qualquer tipo específico de elemento UFO. Exemplos de relações formais desse tipo são: “mais velha” (uma pessoa é mais velha do que outra), “mais pesado” (um átomo é mais pesado do que outro), entre outros.

Por fim, o tipo de relação “Meronymic” refere-se às relações todo-parte. Esse tipo é ainda subdividido em _{“ComponentOf”, “MemberOf”, “SubcollectionOf” e} “SubQuantityOf”. O tipo “ComponentOf” vale entre indivíduos do tipo “Kind” ou “Subkind”, por exemplo, a mão faz parte do braço, a ULA (Unidade Lógica Aritmética) faz parte de um “Processador”; (ii) “MemberOf” vale entre indivíduos do tipo “Kind” ou “Subkind” e coleções, por exemplo, uma “Árvore” é parte de uma “Floresta”, uma “Carta” é parte de um “Baralho”; (iii) “SubColectionOf” vale entre coleções, uma “população de homens_{” faz parte da “população em geral”; e (iv) “SubQuantityOf” vale entre} quantidades, por exemplo, “álcool” faz parte do “vinho”, plasma faz parte do “sangue”.