1.

As classes não nomeadas (anônimas) podem ser formadas por restrições, que
podem ser: (i) restrições universais, (ii) restrições de cardinalidade e as (iii)
restrições com hasValue. Responda:

a. Apresente um exemplo no Protégé sobre funcionamento de uma classe ou

situação resolvida com restrições de cardinalidade.
R: Abaixo temos descrito a classe InterestingPizza que deve possuir no mínimo 3
PizzaTopping, sendo essa condição uma restrição de cardinalidade.

b. Apresente uma explicação, com um exemplo no Protégé sobre uso do hasValue.

R: Na imagem abaixo pode ser visto que a classe MozzarellaTopping possui uma
subclasse (chamada superclasse na apostila) onde se pode ver demonstrado uma
aplicação da restrição hasValue. Nesse exemplo vemos que MozzarellaTopping tem
pelo menos um relacionamento com o indivíduo Italy e seu relacionamento eh
descrito pela propriedade hasCountruOfOrigin
2. As DataTypeProperties relacionam indivíduos a tipos de dados. Mostre um
exemplo de uso desse tipo de propriedade no Protégé.
R: Abaixo podemos ver que o indivíduo ExemploMargherita possui possuir a
datatype property hasCalorificContentValue igual a 263. Nesse caso a
hasCalorificContentValue relaciona ExemploMargherita com o value 263.

3. Explique como indivíduos podem ser descritos em OWL e como podem ser
usados com as classes enumeradas e restritas por hasValue. Apresentar um
exemplo no Protégé.
R:
4. Explique qual a diferença entre uma classe primitiva e uma classe definida.
Apresente o mapa modus ponens/modus tolens desses dois tipos de classe.
R: Uma classe que possui apenas as condições necessárias é conhecida como uma
classe primitiva, já uma classe definida tem pelo menos um conjunto de condições
necessárias e suficientes.
● classe primitiva:

● classe definida:

5. Explique o que são e para que servem os axiomas de fechamento descritos na

apostila OWL.
R: Um axioma de fechamento em uma propriedade consiste em uma restrição
universal que atua ao longo da propriedade para dizer que ela só pode ser
preenchida pelos conteúdos especificados. A restrição tem um conteúdo que é a
união dos conteúdos que ocorrem nas restrições existenciais pela propriedade.