39
[email protected], [email protected], [email protected], [email protected] ! " # $ % ! " # #$ %& ’( ( # ) # ) % * # + % # ’( , - + ." / + ) 0 " ’(# ! !% . # ’( ) ! ’1 2

W eb semântica: ontologias, lógica de descrição e inferência

  • Upload
    vucong

  • View
    218

  • Download
    3

Embed Size (px)

Citation preview

Page 1: W eb semântica: ontologias, lógica de descrição e inferência

��

��������

�� ���������������������������������������

����������

��������������� ���� �������������������������������������������������������� ������������

[email protected], [email protected], [email protected], [email protected]

�����������������������������������������������������������������

���������

����� �������� � ���� �� ����������������� � � ������� ��� ���� ���������� �����

� �������� ���������� ������� ����� �������� ��� ������������ ���� ����������������

��� �������� ������������� ��� ��������� ������ �� ��� ���

��� �

��� ��������� � ������������������� ��� � ���������������� ��� �� ���������

�!���������"��������#� � ���������� �������������������$����� �� ������� �

����� ��������� �����%������ ������� ��� �������� ���

���� ���������

���� ���������������������� � ����!����������������������"������#��������������#��������������������$������������%�&�������������������'(������������������������ ��������������������������������������(�������������������������#�����)������������������������������������#�������)��������������%�*��������������������������������������� �������������� #��� ���+� ��� � %� ���� �#����'(�� ��� ����,� -����������+����������������������."������/������������������+����������������������������������������������)���������������0�������������"���������������'(��#��������������������������!� ������� � ����!�����%���.��������#����'(���������������������� ����)��� ��� �������� �� ���!������ ���� ������'1��� ������2����� ��� � �

Page 2: W eb semântica: ontologias, lógica de descrição e inferência

� �

������������������������ �����������������)�������������� $����������������������� ���%�

� 3���������/��������������4������������������������#������#����"����������������� ��������%� �� ���� �������� ��� ������������ �� � � ����������� ������� ������������� ������� ��� ����'�� ������� ������� ��� ������ �� ������'1��� ������� ���������"����5�#����(�������������������������"����#����������������������"�������������� �������6�%� 7+� ������ ������� ������'1��� ������2����� ������ ����� ������ ����������)������ ������ ������'1��� �(�������� ���������� ������������������ ����� ����"��������������(����������)����%�8"��������������� ��������#���������������)�������� ������'1��� �����)����� �� �������� ��� �������6�� ��������� ������'1�����������9��� �� �������������9��%� 3������ �������� �������� ������ � ������� ��������)�'(����� � ����������������)�'(�����������"������������������������������������'1��� ������2����� ��� ����� ����� ���:����� ���� �� ���+��� ���� ���������������� ��������� �� ������� �� �� ���� ������� ������'1��� ��� ����� ��� ������'1�����������������%�

� �� � � ���!������ �������9��� ��� ��������� ������������ ;�� ������'1���������2�������� � %�8�����������������������������������������������������������������'1��� ��������������%� 8���� �������� ����'�� ��� ���� �������'(�� ��� ���� ��� � ����������� ����������� +�����%���������� ������������(�,�<�=�������* =%� �����������'(����� � � ����#��� ���������������������������������#����������������."���� ������������������������� ��� ��������'(�� �� �����'(�� ��������� ���������������������������������%�>�������������$+��(���������������������������"����������� ����������#������������������������������ $�������������������������������� ������ ������,� �������� ������������� ����'��� �������� �������� ����������������+��������������"�������%��(������������������������ � %�*������������������)�������������������������������%����������������������������������������������������� �������� ������2������� �.������ #��� �(�� 4����� ��� ���� ������� ������'1�����������������/�����������������������'1�����������������%�

� >������������������������������� � ����!��������(�������������%�*���$������� � ����!���������+�������������2��������������������-�(��0� ��������������������������������� � %���+���������(����� ���4������������� ���������������������#����������'(�� ��+� ������+���� ��#��� �#������#��� ������������ �� ������������ ������������������������������'(������(�������������'(��������������������.����%�

�!�� "#$%�"����� ��# ��&��$�������

<�=� ?�<����� ��� ��6��� =�������@� �� ���� �������������� ���� ������� ����������������%������������������� AB�?�������� �� ��&��������@�����������������CDDE%������9�������3�=�?'�����( � ��# ��)*���+���� @�#����������������CDEF��������)������������������������%�8�#�����������/���������3�=��������FGG��+�����������/��������<�=��������HF��+�����%�*����.��������<�=���������������������3�=����� ������ ����������� �������� �������� ��� �� ����%� I���� ��� ������������+����������������������������?���������������������"�����@������������������������9���������������������������%��

I��� ����������� �� �������� ��� <�=� �������� �����+9��� ���� �� JK�=� 5���� ���������������3�=�5���������������������%��������������JK�=���<�=�����

Page 3: W eb semântica: ontologias, lógica de descrição e inferência

��

�����������#������������)��������'(�%�8��������#�������(����������������������������������%� I�� ���� ��)� ��� ���������� �������� ��� ����� #��� ��� ������������ ���������)��%� 8�#������ �� JK�=� ������� ���������� �� ��� ����� ��9���������� ���� �����'(�����������"������<�=�������������'(���������������������������� ��������������� �"����2���%� ���� �������������� ������'��� ���<�=� ��� ���'(�� ���JK�=��� �������'(������������4�������������'(�%�

B���� <�=� �� ������ ���� ���� ����������� ��� ����'(�� �� ������+��� ������$������������������������������������� �����������������'1��%�L����� ����+�����#��� ����� ���������� <�=� ������� ��� �K�� ?,���� ��� �-� � , ��������@� ����� ���������� ��� ���������� ����$�� ��������%� ��� �K�������� ���+����� #��� �������� ������������� �� ��� ����� #��� ��� ���������� <�=� ������� ���������� �� ����������� ������������������%�8"�����������������#����������������������������<�=����� ��������� �������9�� �������K�������2����%�>��������M%C� �������������������������<�=���������#����������������������������9����%�

����������� ������ ��������� ���������

� >����� �"������ ?������ M%C@� ������ ��� ���������� ��� ��� � �#����� <�=��������������������������9����%���������������������+���������������K����������-�����%���0� ?������ M%H@%� *�� ���������� ��� ��� �#����� <�=� �(�� �������������� ���������������?����������N�O���N�PO@���� ������������������#������#�������������2������ �� ���� ��� ���� ����������� ������'(�� ��� ��$�� ��������������� ������'(�%� ������������������������������������������������������ �����#������������������������������� ��� �����%� >�� �"������ �� ��������� -�0� ������������ ��� -��"��0� ������� ������ ���� �������� -�����������0%� �� �K�� ������� #����� ���������� �� ��� ����� ����������������������#�����������������%�

NQ"���������RSC%GSQO�NT�*BKUI8�������V�����-����,PP����W���%���P�K��P�����%���0O�N�����O�

N��O����NP��O�N���O������NP���O�� N����OX����9�����5�H������)�� �����HGGMNP����O�� N�������O&�����'(�����<�=NP�������O�N��"��OB�����+���,�

N�� �����������R-$����������0O* ������ ����� ������� ������ ������'(��NP�O�

N�O8��������#�����$�����������NP�O�NP��"��O�

NP�����O�

Page 4: W eb semântica: ontologias, lógica de descrição e inferência

� �

����������������� ����� ���������

��� ������ ���� �� ������ M%H� �� ��������� -8����0� ����� ������� ������� ����������������������-��0�-I��0�-�������0���-K�"��0%�L������������������������������-B�0���-����0���� ���)�������������������������'(�����������������������������%�*������������#���-8����0�������������������������������������������������#Y/����������������������������-ZIB��K�0%�*����������-K�"��0���������������� ��"������������������-I0���-�0%�7+������������-I0���������������� ��"����������������-�0�?��������������������@������������� �������� ����-�����������0�#����������� ����� ������� -��#����� [� ������� [� $����������0� ������ #��� �� ����� -��#����0� �� �� ������������%�

*���� ������� ������� ���� �������� �� ���'(�� ��� ����������� ������� �� <�=�?��� ����� ��� ��� ���� ���������� ������ ���� ���� ����������� ��� �9����@� �� ���� ��� %������������������������<�=����������������������������)���%����������������� ��� ���������������������� ��������� �9������ ������������������� �������������%�>���������� �(������� ���������������������#������������ ������)��������������� ����%� *� �� ��� � ������� ���� ������ ���� ��� ���������� ������� ��� �����������������������������������������������%���������������������� �����������+������������������-����'���������0������������������������������������������������<�=%��� ��������'(���������� ��� ��� �"���������������������M%A�������������������������������#�������������9������� ����"V)%�

�������������� ���� �

*��� ��� ����+��������������9�������#������������������������������%�������������'(���������9������������������ � �?�����������=@%�&������� ����������#��� ���� ������ ���������� ��������� ���� ���������� ����������� �� ������� #��� ���������'1������ ���#�����������������(������������%�

� 8����� ����������� #��� �(�� ������� ������� �� ������)�'(�� <�=� ������ ����������������� ����� ��������� ��� �����2�����%� ��� ����������� ��������� �(�� �#�����������)�������������������'(����������������<�=����#���������������������������

NT8=8�8>K�8�����?���I���B�Q�����Q���������K�"��@O�NT8=8�8>K����?ZIB��K�@�O�NT8=8�8>K�I���?ZIB��K�@�O�NT8=8�8>K�B��?ZIB��K�@�O�NT8=8�8>K������?ZIB��K�@�O�NT8=8�8>K���������?ZIB��K�@�O�NT8=8�8>K�K�"���?ZIB��K��[�I�[��@\�O�NT8=8�8>K�I�?ZIB��K��[��@\�O�NT�KK=&�K�I�������������?��#�����[��������[�$����������@�S��#����S�O�

NT8=8�8>K���8�IKU�O�

N� �,����O] NP� �,����O�

N"V),����O] NP"V),����

Page 5: W eb semântica: ontologias, lógica de descrição e inferência

��

�2����� ��� � � ���!������ ?��� �"������ ���� �� * =� #��� ��(�� ������������ ������������@%���� ����������������2�������(���������������4����������������������������������2���������������'(�������������������)��9������������������������������'(��������������������%���������"�������������������������������(�,�<�=�?��� ����� �'�-� �'� ��+���� @�<I���� ?<�=�.��@�<X=� ?<�=�/� -�+���� @�<JK�=�<���?<�=�'�� ��, ��������@����%�

� �� <��� ����� ��� ������ ��� ����������� ��� �K�� ����� ������� �� �������� ������������������ �����#����������������<�=�����������#�����������������������#������������������%�K�� ����������������������'(������������������������������������ �������� ���<�=� �������� ����� �2���� ?����� ��� �����2������ ��� � ����!�����@%����'�� �� ����� ��� ����������� ���� ������� �� ��� ����������� ������� ���� ���� ������'�� ���(������!������<�=%�>��������M%^�����������������������������<�=�����������������������#�������������!�����������'�� ����������������������M%M%�

�������� ������ ������������������� �������� ��� ��������

N������B���������*���RSCDDD9CG9HGSO��N�����������RS��SO�

� � N����O�����������NP����O�N��OCHA������������NP��O� � �N������O����������VNP������O� � �N������OB�NP������O� � �N���ODGDMHNP���O�

� NP������O�N��������������RS��SO�

N����O�� ��������NP����O�N��OE�*�6�������NP��O�N������O*���K�W�NP������O�N������OI�NP������O�N���ODMECDNP���O�

NP���������O�NP������B����O�

Page 6: W eb semântica: ontologias, lógica de descrição e inferência

� �

��������������������������������������� ��

� >�����'�� �����+����������������������#������������������������������������� ��%� *� ����� ���������� ������ ������'(�� �(�� ��� ������ ��� ������ #��� ������ ���������"��� ��� �������%� K����� ������"��� �(�� ���������� #��� ����������� ���������������%� 8� ������ �������� �(�� ��� ���������� #��� ����������� ������ ���������� ������������ ������� �����%�L����������������� ��#���������������������#��������������������#������������!��������������������(�� �����������<�=%�B������������������������)�'(��#�����4���������� ��������������'1������ � ������������������������ ����� ��������� ��� � ����!�����%�7+��"�����������������������#���������������<�=� �� ������� ������ ���(�� ��� ��%� ������� �"������� ��� ���������� �(�,� �� ������������� ��������������������������������9��������������������������������%�

� B���� ���������� ������������ ����� ������ ������2������ ��� <�=� �� �������'(����������4�����������������������+�����������%�&����������������������������������������"(�����2������������������������K����������������� ����������������������%�����������������������������������������������������������4�����+����������������<�=%�8����������������)�����������������������������<�=��������������'1��������"��29�������������+9������������#��������+�������$�%�I���������������������� ��������������������������)������� ������������������5���<I����5�������)�����������������������%�

N"��,������"KV�������RSK���*�����B����SO�� N"��,��#�����O�� � N"��,������������RS������S��V��RS8�������SPO�� � N"��,������������RS���������S��V��RS8��������SPO�� NP"��,��#�����O�� N"��,���� ��������RS����*���S��V��RS"��,����SPO�NP"��,������"KV��O�N"��,������"KV�������RS8��������SO�� N"��,��#�����O�� � N"��,������������RS����S����V��RS"��,�����SPO�� � N"��,������������RS��S��V��RS"��,�����SPO�� � N"��,������������RS������S����V��RS"��,�����SPO�� � N"��,������������RS������S���V��RS"��,�����SPO�� � N"��,������������RS���S�����V��RS"��,�������SPO�� NP"��,��#�����O�� N"��,���� ���� ����RS����S� �V��RS"��,>�K*_8>S���"��RS��SPO�

NP"��,������"KV��O�

Page 7: W eb semântica: ontologias, lógica de descrição e inferência

��

���������!������ ��������� �������"������ �#���

� ��������?������M%`@�����������"������������������������������?'�-� �'� �@�#�����)�����������������������������<�=�������+��������B�����������������������M%F��������������'1���#������#���������������JK�=�?������M%E@%�

���������$����%��� � ��������&������������������������!��

NQ"���������RSC%GS���������RS&�*9EEMD9CSQO�N��������O�� N��O�� � N������O8����������#��NP������O�� � N������O�� ��V���NP������O�� � N����O���NP����O��� N���������OB���� ��NP���������O�� � N����OCG%DGNP����O�� � N���OCDEMNP���O�� NP��O�� %�� %�

NP��������O�

NQ"���������RSC%GS���������RS&�*9EEMD9CSQO��N"��,��V��������������RSC%GS�"����,"��RS����,PPWWW%WA%��PCDDDP<�=PK������SO��

N"��,��������������RSPSO�� N����O�� N ��VO�� � N�HO������B���'(�����B��NP�HO�� � N�� ��� ���RSCSO�� � � N�� �����RSZD���AHSO�� � � � N��������RS����SOK�����NP��O�� � � � N��������RS����SO������NP��O�� � � NP�O�� � � N�O�� � � � N��ON"��,�����9���������RS��������P��P������SPONP��O�� � � � N��ON"��,�����9���������RS��������P��P������SPONP��O�� � � NP�O�� � NP�� ��O�� NP ��VO�� NP����O�NP"��,��������O��

NP"��,��V�������O�

Page 8: W eb semântica: ontologias, lógica de descrição e inferência

� �

� K������������������<�=�?������M%`@�����������������JK�=%�8�������������(����������������������#�����+��������������������<�=��������������2���#����������� ��� �������� ���� ���%� >���� ��� �"������ #��� �� ����� ���� ���������� -�2����0� �(�������������������������<�=%������"����(��<I������������������������������������������� <�=� ������ ����� ������� ���%� �� ��2��� ������ ����� ������ ��� �������� ����������������������M%E%�

���������'�&�(���)*�����������&�������������$�

� ��������������������������� ������������������������������#����(�� �����������<�=%������"��������� ����������������������2��������#����(����������������������������� ������'1��%�I����������"������ �������� �������<�=� ?#������������������������������+��������������'1���#���������������'(�������)@%��

� >�� �."���� ���2����� ������������� �� � � ���!������ �� ��� ����������� #������������������������<�=�����������������!���������.�������� � %���.������������������ �� ���������� +����� �������� ����� ���� �� ������� ��� ����������� �����������������������������?0 ���� �, ���������1� ��*@�����* =�?� ��2������-�+���� @%�

�'�� $���������"#$������ � (��������

�� ������ +����� ��� � � ���!������ �� �������� ���� � � ����� ��� ������'1��� ��$������ ��� �����2����� ;�� �+#������ �(�� ������� ������.���� ��� ������'1��� �������2��������� ��� �������%� ��������� ��������������� ������ ����� ����������� �� ��)�� ���� ������������������ ���)�������� � �������������������������'(�����!�����%�

� B���������� ������������<�=������� ���������� ����� ���#������������ ������������� �������� ��� ���������������� ��� ������� ��� ������ ��� ���� �����������������'(�%�8��������������������������������������������'(����� � ����!�����%������!������ ���� ������ ����� ��� ������������� ������� ��� ���� ������'(�� ���� �������������������%� ���� ��)� ���������� ���������� ����� ����������� �� ��������������� ������#��������������� �������� �"������������������� ��������������������2������$�����!���������+� ���������������%��

Page 9: W eb semântica: ontologias, lógica de descrição e inferência

��

� ���� ������� ��� �������� ���� ������������ ������ ���� ��� ��������������2���� �� ������� ���� ����9������ #��� �(�� ����������'1��� ��� ���$������ ��� ���#����������������������������������2�������������'1��%��������9����� ������������������������ ���9B��������)�����������#����� ������'1��������������'1��� � ����+�����%�8��������� ��� ����9����� �� ����������� �� ��� ���2���� �����2����� �� ������ �� ������������������������������#���������������2���%�*������������������9�������������������(�����������������������)�'(������������'1����� �(�� �������������������2���������$������������������������������������2���%��

� *�����30 ���� �, ���������1� ��*4�������������� ������������������9������������������������ �"�������� ��������������� ����� ������%� *� ���������������������� �� #��� �(�� ������� �� #��� �(�� ��������������� �� #����� �(�� ������������������ ����� ��� ������� ���������2����#���#��%���* =�32������-�� ��+���� 4������������'(��������������������'1��������������������� ��������'1�������������"���������������������������%��

� 8����� ����������� ���� �������� �� ����� �� �� ����� ��� ������'(�� ��� ��������������������������2�������������'(�%�8���������������'1������������2�����������$�������������� ������'1��� ��� ����'��� ��� ������ ���� ��� ������������� ���������+��� ��������������������)��� �������� ��� ��������'(�� ��� ��� �� ���� ������)�'(������+����%�I��� ������ �"������ ��� ���2���� �2����� ��������� ���!������ ��� ��������� �����4���������������'(���������'�����������'1������ � �������������������������!�������"��2�����������$��������������������������������������#���������������'������������������������������������������#�����#�������������%���������������������* =���(�������������������������������������%�

�'���� )*+,� ������������ ������� ��

*�������������(�� ��� AB����� �������� ������� ��� � %�������� �"������� ��������'1��������������(�,��@��2������������������������)�'(�������4�����������'(��������-����a� @������������ ��� ������ ��� ������� �������'�� �� ������� �������a� �@��������� ���� �������� ��� � a� �@� �����4��� ���� ����a� ���%� 8���� �� ��*� ����������������� ���� ��� ����� ��� ������������ ����� ��������� ���� ����� ������ ��������'(�������������������<�=��������������������������������������������������� ���� ���������� ������ ��� ��������� �����������%� ��� �����'1��� ���� �(�� �(���������������� ���� ����� ������������ �� �������%� I��� ��� ������ ��������������������������������������������������,��

•� �������������#���#���������#�����������������&�?������������� � @������S����,PPWWW%WA�%��P���Sa��

•� ���������������������������������'(���� ����������������-����0����-��������0a��

•� ��� -����� �� �� ����� ��� ���������� ����� -7���� ��� �����0� ���-����,PP���%��������% Pb$���c�����0%� * ����9��� #��� �� ����� ��� ����������������������������%�

� �������#��� �� ������������ �������� ����� ������� ������ �� �������� +����,�������5�����������5�����%�8����������������+�����;� �����,� ��$�����5����������5�� $����?������M%D@%�

Page 10: W eb semântica: ontologias, lógica de descrição e inferência

� �

�I+����� � �-���%��������% Pb$���c�����0�5������5�7�������������

��

��������+�����������,"��������-��.�� ������/������� ��� �/�0������

� *��������������������������������%�>���"���������������M%D�������������������$��������������� $���%�*����$�������������(��������������� $�������������������������������������������������� � ��?������������������������������������������ <�=�'�� �@%� *� �.����� ���� ������������� �������� �������� ����������� � ���������M%CG%�

���������1�#���2���34��-���

� *� �.��������� ?������M%CG@��� ����������� ����������� ������������ ���<�=������ �����)�� ���� ��� � ��� ���� �� ��� �� ���� B��� ?��@� #��� �� ��� ���$����� �������������� ������� ������� �� ���� ���� �� �����'(�� ��� ����������%� *� ������������������ ��� ���� .����*����������/� �� �� #��� ������� �� �����'(�� ��� ������������������� ����� ��� ���� ����� ���� �� ��������� ��������� �����)���� ���� ���#�������������� ��� ��� ?��,B����@�#��� �������� �� ����� ��� ������ ��� ������ ������� ���������������7�(���������������� $���%

�'�!�� )*+�����

*�������������#�������������'(��#��������)�������������������������������������� ����������������� ������ �������'(�����+#����� ���������)�'(�P���������)�'(������������� ��� ��������� ��� ������'(�� �� � $����%� ������ ����� ��� ������� �(�������������� ����!����������������� �� �� ����������� �������%�*������������ �����������������������(�,�

�� ���,��������,���������������������������(���������?* $���@a��� ���,I����V,�����������a�

���%��������% Pb$���c������

7�(�������������,B�����

NQ"���������RSC%GS�O�N��,�����"����,��R-����,PPWWW%WA%��PCDDDPGHPHH9��9�V���"9��0�"����,��R-����,PP���%��P��P��������PC%C0O�� N��,�������������,� ���R-����,PP���%��������% Pb$���c�����SO�������������N��,B����O7������������NP��,B����O��� NP��,����������O��

Page 11: W eb semântica: ontologias, lógica de descrição e inferência

��

�� ���,B�����,��������;���'(���������������**a��� ���,�V��,��������#����������������� ���������������a��� ���,�� B����*�,��������;���'(������� ����������**a��� ���,�� I����V*�,��������#����������������������������)�'(���������a�

� *� �.����� ��� ������� ����������� ;� �����"�� ��� ���%� ��� ������� M%CC� �� M%CH��������������������������������������.�����#�����������������%��

����������)� ���5����� ������ ��-��&��

���,��������

���,B����� "V),������������

"V),B��������"V),����

���,��������

���,B���

���,�� B����*��

��,KV���

Page 12: W eb semântica: ontologias, lógica de descrição e inferência

� �

�����������#6�����-��&�������2��������������

>�� �.����� ��� ������ M%CH� ���+� ����������� �� ����#���� ��� �������� ��� #����������� ������ ��� ����!�����%� 8���� ����� ��� ��������'(�� �� �� ���� ����� ��� #��� ��������2������ ���� �������������������������� �� � ����!�����,� ��� ����������%�>���."������'(����+��������������������������� � �����������;�������������������������������������������������������������%�

�'�'�� 0�$%0������1� � $�������

������ ����� ���� �� * =� �� ���� ���������� <�=%� B��� * =� ����� ��� ��� ������"������ �� �������� ���� ���������� �� ��������������� �� ����2���� ��������������2������� ���������� �� �� ��� ���������� �� ��� ��������������� ������� ��� �"�������.���������������������������������������������������������%��

� *� ����� -���������0� ���� ��� +��� ��� ���������� ����9��� ��� ������� ���� �����?����@���#�����#����"�������������#�����#����"��������+�������������������������������������'(�� ���+#����%� >�� &�� �� ����� ���������� ���+� ������� ;� ��������'(�� ���������������� ��� ��� ���2���� �� ���������� �� �� �����'(�� ��� ������������� ��������������������2����� +���������������������'(��������������������2�����������#��������������� ���� ����������� �� ��� ����� ��������������� ��� ����� #��� �������� ������������%��������!�������(����������2�����������������'(���������!��������������������� ������������� �������� ����������� ��� ���������������� �"������� ��� ���������%� ���������������/����� ��������'(�����������+����������������������������&������/����������������������$+�����������������������#Y/���������+����������������������B�/��������������'(��8��������K�������������������������������8����'(�%�

N��,����"��,����R0��0��"����,��RS����,PPWWW%WA%��PCDDDPGHPHH9��9�V���"9��Z0���"����,���RS����,PPWWW%WA%��PHGGGPGCP��9������ZSO�

� N��,�����������&�RS�����������SO�� � N��,�V���������RS����,PPWWW%WA%��PHGGGPGCP��9������ZB����SPO�� � N���,�� B����*�����,������RS����,PPWWW%WA%��PHGGGPGCP��9�������Z�������SPO�� NP��,����������O�

� N��,�����������&�RSB��SO�� � N��,�V���������RS����,PPWWW%WA%��PHGGGPGCP��9������ZB����SPO�� � N���,�� B����*����,������RSZ�����������SPO�� NP��,����������O�

� N��,�����������&�RSB�������SO�� � N��,�V���������RS����,PPWWW%WA%��PHGGGPGCP��9������ZB����SPO�� � N���,�� B����*����,������RSZ�����������SPO�� NP��,����������O�

� N��,�����������&�RS���SO�� � N��,�V���������RS����,PPWWW%WA%��PHGGGPGCP��9������ZB����SPO��� N���,�� B����*����,������RSZ�����������SPO�� NP��,����������O�

� N��,�����������&�RS�������SO�� � N��,�V���������RS����,PPWWW%WA%��PHGGGPGCP��9������ZB����SPO�� � N���,�� B����*����,������RSZ���SPO�� � N���,�� B����*����,������RSZB��SPO�� NP��,����������O�NP��,���O�

Page 13: W eb semântica: ontologias, lógica de descrição e inferência

��

� ��� ������'1��� ��� ����������� �(�� ��� ��� ��� ���.������ �������%� ��� ����������� ����� ����� �(�� ����������� ���� �� ��������'(�� ��$�� ������������� ��� �������������%�>����������'(������������������������������������������)���������������������+��� ��� ������ ��������a� ��� ��������'(�� ����� ������������� �� ��������� ����������������������"�������� �������� ������'(�%�>����������'(�����������������������������������������������'(��������������������)�'(���������������������������������������%��

� ����������������� ������������������)�'(��������������������������������������������������������������'1���������)�#���������������������������'(����������������� ����� ��� #��� ���� ��������� ����������� ��� �� ������ ��� ����������'1��%���$�� �� ������ ���� ����������� ��� �������� �� �����)�'(�� ��� � ��������� ��� �"�����%�*���� ������ ���������� �� ��� ����/����� �������������� ��� �� ���������� ����� ����� ��������� �.����%� =.������ �����2������ ���� �� �����'(�� ��� ���������� �������������������������������.������(���������������.��������������'(�%�������/��������� ��� ������ ���������� ��� �������� ��� � � ���!������ ���� ��)� �������� �������������������#����������������������������������.�������������������'(�����#����1��� �(�� �"������������� ������������ ���� #��� ������� ��� ���� ����������'(���������%�

� *� ��������� �"������������ ������� ������� � ����!��������������+��������������� �� �������� �#�������� ��� ����� ��� ������'(�� ��� ��� ����'��%� �������� ����������� �����,��������������� �� � ����%� �� ����%� B������#��� �(��������������������+���%�I������������������������ ��������B���������/��������+��+�����+�������� ��������������������������������������������+��+�����+�������(���"�����������������������������������������������%�I��#�������������$�������(���$���������%�>������������������������"������������$�������������'1��� ������������#��������������������������,����������+����������������"�V���)�����#��,��

•� "����������������

•� V����������������

•� )�������������������

•� ����?�"SB�����S@��

•� ����?�VSB�����S@���

•� �� ����c��?�)�"@���

•� �� ����c��?�)�V@���

•� ������c���?�"�V@��

•� ������������?)@%�

� �� �������� ��� � � ������ �(�� ������� ��)�� ���� ����� ��� ��������� ����� ��������'(�� ������� ���)���� ��� � � ������#����� �����)�'(�� ���!������ ����������������)�'(�������������"��������������������9�������2��������������%�&�����������������������'(������������������������������� � %�������������������!�������������������� � � ����9��� ����� �������� �� ������ ���� �������� ��� ������� �� ���)�������������������������������� ��������������������%�

Page 14: W eb semântica: ontologias, lógica de descrição e inferência

� �

� �����9=���������HGGC�������������������������������������"�������� � ����!������������������"�����������+���#��� ��������&���������������������������������������� ���� ���� ��������� ������%� ��������� ��� ������ ��� ���+��� ?�����'����+���� �����9��4��@� �� ������� ����� ����)� ��� ����� ��� � � ��� ������'1������������� ?������ ��� �������� ������������ ����� �������� ���@� �� ������� ��� ������ ������+������������������'1��%�

� ���������"���������������'(����� � ����!��������� ��������������'(�,���� �����������'1����� �����.����������9�������������&��������������������������S���������S� �� ���+��� ����� ��� �� ��� �������������� �������� ������������ ���� ��������� ���������� �� �������� ��� ������� ��� �.��� �� �� ���#����� �� ���2������ �������'(�����������������+������������(�����������������������������������������(������������������������������������������������������#����������(���������������!�������"��2����%�

� ���������������"��������������������� ��������!�������� � ����!��������������������������+�����������������������:��������� �����+�������������'(��������������������'(������������ � ����������������������4��������(���������"������������������������������������������ ��������������������(���������������������������������������������������������������������������������������'(�%��

� >�������"������ � ���* =�����������������������������%�I����� �����������.�������������'(���+�������������������/����� ��������������.�������� ������������������������������"��������$������� ������ � ����!������������I&��7����������������'(�� ��� * =� ?7���@� ����� ��� ������� ���� ���'(�� ��� ����������� ����� �������������+������?�����������I���������������������������������������@%����������������������#�����* =��������#��������������������������%����������������������� �"������ �"�������� #��� ���� ���'(�� �� ��������� ���������� ���������� ����������������� ���%�K�� ���������2������������������������������� ���'1������������������������������+"�����2����� �� ������������� �"���%� I���������� ��� ���������������������������������#����������������������������������������%���������������'1���* =���� ����������������������#���������'1����"�����������������������%�����������������������������"��������������������'1��������2����������� ��+���* =������������������������I������������������������B����������,�

Page 15: W eb semântica: ontologias, lógica de descrição e inferência

��

•� �V������,����I?"�V@�������I?V�"@�•� ��������,�I?"V@���VR��������?�@�•� ���������V,�������������?I@�R�>�•� ���B��������V,���������������2�����?I@�R�>�•� ��"B��������V,���������������+"����?I@�R�>�•� �#��������I����V,�IC�R�IH�•� K��������,�����I?"V@���I?V)@����(��I?"�)@�•� ����������I����V,����I?"V@���I?")@����(���VR)�•� &�����*�,�����IC?"V@����(��IH?V"@�•� &���������������,����I?V"@���I?)"@����(��VR)�•� ������������,�I?"V@���VR������������?B@�•� �������������,�I?"V@���VR�������������?B@�•� �����������*�,�B�R��������'(�����?BC�BH�] @�

�����������������M%CA�������������������"��������� ����������.�����* =�������������������� ����))���?�����"�����������)������������������I�����@%�>���"�����������)���������������������������'1������������������������������������ ����������))��?�� ��������������@��������������������K���������������������������������������������������'(���� ���������������K����������������������;�������������������������%�>����'(��M%F������������������������ ������'1��%��

����������#6�����78��

�2�� ���������������������

B���������������������������������2�������������%������������������������������������������������������������������/����������+�������������������#������������������� ���� ����������%� I���� ��� ������2��� ��� ������� ���� ������� ��� ������������������������������������������������������� �������2���%��������(������������������������������� ������ ��� ����������� ������ �����2������������2��������������2����������%� ���� ���������� ����� ��� �������� ��� ���� �2������ ��� ����������� ��� ������$����� ��� �����������������%� ��� ������2���� �������� ���� ������������� �������

NP�W�,*������VO���N�W�,B�������,&�RSB� ������K�����SO�����N���,�� B����*�O�������N�W�,����������O���������N�W�,��I����VO�����������N�W�,����������I����V���,&�RS���K�����SPO���������NP�W�,��I����VO���������N�W�,�������������O�����������N�W�,B�������,&�RS�����SPO���������NP�W�,�������������O�������NP�W�,����������O�����NP���,�� B����*�O����NP�W�,B����O��

Page 16: W eb semântica: ontologias, lógica de descrição e inferência

� �

���1����4���������� ��������2���������������������������������������������������.����� ����� ���� ����������%� L� ���������� ���� ������ #���� �� ������������ ������������� ���� #��� ���.����� ���� ���+� ������ ������2��� �� ����� ��2� �� ����2����������������������������#���������������������%�

� 8"������ �+���� ���������� ���� ���'(�� ��� ����������� *�������� *&=� ��� ��I�������(���"������%����������������������)���������������I������#������������������������������������������������������������+����%�I�������������������������������� ��� �������)���������������� �� ���� ��������'(��* =������ ��� ����)���%� ����������� ������� ��� ����������������� ����� ��B=&I�%�>�������� M%C^� ������ ������� ��������� ��� ��������� I������ A%G� ����� ���(�� ������)����� �������� +���� �������������"����������������%�

�������� �* ����������������9���:�:�

� >��������M%C^���+���������)��������������-C0�����������������#������������������!�����������'(������������������������������+��������!�����������������%�*������������ ��� �������� ����������� �� ����!������ ��(�� ������ �"��������� ��� �����������������������."��������(�%�*�������+���� �(����������'1����������"� �'(���������������������������#������#���������������������������)�'(����� ��������%�8��-H0��(���"� ��������2�����������'1���������������;�������������������������)�'(�����+����������������������������#������+������������%���������� +�����3�4��56���7����#�����������(�����������)�'1������+��������������������'(�������������������%���+���-A0��������������������������������������������'1���������������������������%������ ����� ������� ��� -����������0� ����� ���(�� �������� ��� �����+���� ����

!

'

2

8

Page 17: W eb semântica: ontologias, lógica de descrição e inferência

��

���������������������9��������������������%�>��+���-^0��(���"� ������������'(���.����������������%�>��+���-M0��(��������������������������������������������������#��� ���+� ��� ���'(�%� 8�� -F0� �(�� �"� ����� ��� �������� ���$������ ?����� ��������� ��+��"������������."��������(�@%�

� B��� �� �������� �"���������� �� �������� ��� ������'(�� ������ ��������� ���������������������2�������B��������%�B��� ����������������������������������������3�������?CDDF@���������������$����������������������������������������'(������������������%������������������������������������?������'1�������������������������� ��Y�����@� ������������ �� �������� �"����2���� �� ������)+���%� *�� ������� �(�� ������������,�

�2���� �������������������-�����

*������������������ ������'(�� ��� ������������ �� ��������'(�� ��� ���2����#��� ��+�� ������ �� ��� �����2����� #�����(������� ��� �����%� >����� ����� ��� �����2����� #�����)��������������2������������������(���"����������������������������������������������� ������� ?������� ��������'(�� ����� ������ ���%@� ��+���� �� ��� ��������'1���#�����(�� ����)����%�* ����9���#��� ������ �����2����������� ��� ��������� ����(�� ���������"������������������������'1��������(������������������ $���������������'(���������/����%��

�2�!�� ���������������������

L����� �������� �����2����� ������������� ��������������#������ ����������� �����2�������������������(���������?������M%CM@������������������(������������������������������� ����� ���������)����� ����� ��� �"������ ��� ������� I����������� ?������ M%CF@%�B�����������#�����������������������������������*���������������������������������� �������� ������ ��������%� �������� ��������� #������ �������������� ����������������� ������ #��� �(�� ��$�� ��� ������ ��������'(�� �� ����9����� ����� ��� ������������������������������+������������'1��%�

� ��������������������������'(������ ���������� ���������� �����������#����� �(�����$�����������$������������������������$��������������2�����(��������������!��������������������������%�I���"�����,���������2��������������S8�����S��.�������������������������������(��;��������SI�����S��������)���������������������������$�����%�B�������+� ����������� ��� ������ M%CM� �� ���������)�'(�� ���� �����2����� ����� ���(�� �������)������������������������������������������������� �������%�>������������������������������������ �������%�

� �� ���������)�'(�� ���� �������� �(�� ����� ��� ����������� ���� �� �������'(�� ��������������������"���������������#����������������������������������%�8����������� ����� ��� ���������������� ������� ���������� ��#��� ������������ �4������ �� �� ���������'������������������%�

Page 18: W eb semântica: ontologias, lógica de descrição e inferência

� �

�����������;������ �<���0(�����

���������!���� �����=�34��

� ���2�������������������������������'(���������������������������2�������� ���� ��� ���������� �� ����� ����������� ��� ��������������� ��� ����'1��� ����� �������������#��������������������������������������2�����������������������������%������������)�'(���������#�������������������������������������#�����������2��������� ������� �6���������� ��������8������ ?�������������� �6����@%� &���� ����+�������������������� ����� �������� �������� �����������%�7+����������'(��������������� ����+�����������������������������!����������������2��������������������������������������������������������%�

�2�'�� �����������������������������

��� ����������� ���������� ��� ��������������� ����� ����� �����2����%� B������������������� ��������2������ �� � ���/������������������%�������������������������2��������������2�����������2������������� ���/����%�>���������������,���B�HGGM� �� ����)���� ��� ��������� ������� ��� ���2���� ��� ������� B�������� �� ����� ���/���������������=����%�

� 8�� * =� �"������ ����� ������ ��� ����������,�2�5 ��� ��� �� �� ��,��-� ���� �� �%�*�������������������������2����������%�*��������������������������2��������� ������� ?��������� ���<�=�'�� �@%� I��� �"���������� ������������� �����2��������� �������� 8������ �� =����� ?������ M%C`@%� �������������� ��� � $����#��� ��������,�

Page 19: W eb semântica: ontologias, lógica de descrição e inferência

��

-�������0%���� �����������������������%������������ �� �������������� ��������������� ������ ��� �"����%�>����� ����� ������������ ������� �����9��� -������������ ��0%�����������9�����)����������,����������������������������������%�

���������$�- �������� ����<�0 ����

� �������������� ���* =���������������$�������� ������2����������������������������� �������� ����������� �� ���������%��� ������2���������������� �������#�����������2���������������+"������������ �����2����������������������������������%�I���"������ �� �����2���� B�������� ��B� ��� ������� B�������� ������� �� �������������������� -�� ���������� ��0� ���������� ��� �����2���� I������ H� ��� ������� I�����%�X���#�������������2����������������B����������B����������������������������+������������#����������2����I������H��������������������������/�����?������M%CE@%��� ���������� * =� ������� �� ���'(�� ��� ����� ��� ��� ������������� ���� �� �����������2�������������������"�����������������������������������������������(�%��

���������'�9����� ��� �2���������

� �� ������2������ ���������� ������� ��������� �� �������������� ������%� ����������������"������������������������-�������0��������������������������������������2����I������H�����������B����������B�?������M%CD@%�7+�������������������������2���������������������������(���"���/�������������������������������������������������������������2����%�I���"�����,���������2��������������������������������������� -����� C0� -����� H0� �� -����� A0� �(������������������������ ��������� -��� ����0�?������ M%HC@%� �� ������2������ ���������� ��� ������������������� ��� �"��������������������'(��S;�������S�?������M%HG@%�����������-�����C0����+������������;�-�����H0��������������������������-;�������0�������������-�����H0����+���� ��������������;�-�����A0���������������������������������#����������-�����C0����+������������;�-�����A0����������������������-;�������0%�

Page 20: W eb semântica: ontologias, lógica de descrição e inferência

� �

���������+�9����� ��� �2�����������0 ����

����������1�9����� ��� ���������0��

�����������9����� ��� ����:������

�2�2�� �������������������

��.�� �� ����������'(�� ���� �������� �� ���'1��� ����� ����� �� ��� ����� ����������� �������������� ����� ��� �����������%� *� �������� ��� ���������'(�� ��� ���� ���������� ������ �������� ��� ������ ���� �� ������'(�� ���� �� #���� ���� ��+� ���������%� *� ���$���������������� �����2�������������(������������������#��� ����/�������� �������������������� ��� ����)���%� B���� ��������� ������ ���� ���� ��� ������������� #��� ����������)�������������������������/����%�

��� �� (�������������������9��-���-�

>�� ����(�� ��� ������'(�� ��� ����������������� �� ���'(�� ���������� ��+��� ����)� ������������ �������� ���������������� ��� ���2���� ��� ���������%� 8���� ���� ��+���������������!������������+�������#���������'1��������������������������� �������������+����%��� ��������������� ��� �������'(����������� �������� ����� ������2������ ���������/����� ��� �����'(�� ���� ������� ��������������� ���� ���+���� ����� ��� �����

Page 21: W eb semântica: ontologias, lógica de descrição e inferência

��

���������������������������������������������������� �����%��� � ���������������������������.�����������4�����#�������������������������������������������;���������������������������������������)�����%��

� 8"��������$�����#��������)����������������������������'(����������"����#������������������'(��������+���������������%�8�������������������������������2���������)�����������������* =�����������������.��������� � ����!�����%�������������������!���������������������(�������������������������&�?������������� � @�#��������� ��������� ����� �"�������� ������������ ���� ������� ��� �������������������������� ��� ������ ��� �����%� ��� ��$���� �������� �������� ������ +��� �� ���*�I��?'�����2������-����6��7����������. ���� �8����������@�#��������)����* =� ��� ���'(�� ��� ����� ����������%� *� � $������ �����$������ ������� ���������������������� ������'1��� ����������� �� ������������%� *� ���������������� ��� �*�I�� �������)�������������$��������������������%�*����� ��+�������*�I��������������������� ��+��� ��� �������� ����������� �"��������� �� ���� ������ ���+� ��� ����������� ����������������������������'1�����������������#������ ��������������� ��+����4����������������������������������������%�

� ��� ����������� #��� �(�� ������������ ����� �*�I�� �(�,� 1� ��92�9891� ���?�*��@����=9��� ����������������� ������'�����2� ��BUB�B+���������B���"(�����������?�BB@�B*���9*>K���3�K����&���������������������2���������%�

����� 0���������)�����������

•� +0:+,� ����� ���������� ������� �� �"����(�� ��� ������'1��� ��������� ����������������%�L����- ��������������'(�0�4�������������'(�����������������������'(�� #��� �������� ������������ ������%� ������'1��� ��� �������'(�����������?BI@�����������������'(����������������� ����������������"1���������������������������'(�������������)�����%�

•� *:#$ , 5���,� *�� ���� ��+���� ������ ���������� �(�� �������������� �����"������ ���������� ��������� ������������� ������� ��#���#���������)�'(����� �����%� ������'1��� ��� BI� ������ ���� ����� ���������� ���� �������������������'1������������������������������������ ����������������������������������������%�

•� 0������������������0����;��)��,������������������*���BUB������������ ���$����� ������������ ��� ���� ��+���� ���� ��������'(�� ��� .����� �������'�%� �� ���������� �BB� ��������� ��� ���� ��+���� ���� �"������ ���'1������������� ���� �����2���� #����������� ��� ����'�%� 8�� ������'1��� ��� BI� ����������������������� ��� �"������������ �������� �� ��������� �� �� �����"��� ���������)�'(�%�

•� �0<):%0=5�# �>:5?<* ,��� ���������������(��������������������������������'(�������������������� ����/����������� ����������BI%�8�#����������$�������B*���9*>K���������������������������"�������������������1��������������������$���������3�K����&�������������������������'�������$����������'1���������+���������������������%�

•� 0������������������)��,� �� �������������� �������������$����� ��� ������������������������?����������� �'1���� ���'1��������� ���'1��@����������������

Page 22: W eb semântica: ontologias, lógica de descrição e inferência

� �

���������� ����������������'���������������������%�8���� ����������BI�������+�������������� ����� ���������� ������2��������� ����������� ����� ��� ������2�����������������������������������������������P�����������������'��%�

� *� �*�I�� ��������� ��� ����� ���$������ ���������� ����� ������������ �������������,� �*�I�� B��� �� �*�I�� 8"�������%� ��� ����������� ��� �*�I�� &� ���������� ������� ��� ���� ��+���� ��������� #��� �(�� ���������� ���� ����������������'1��� ��� �������'(�� ��������%� ��� ����������� ��� �*�I�� ��� ������ �(��������������������������� +�������������������� ��+���� ��������������� ������� �����������2���������������'1�����������������"�������������������"����1����������������%�

� >����."���������1���� �����������.�����������/������#����(����������������������������������������'(����� � ����!������������������������������%�

�8�� $�������*������@��

� ��� ���#������ ��� ������ ��� ��������'(�� ��� ������������� �� ��� �����2���������+����� �(�� ����������� �������� ��� ������'(�� ��� ����������� ������� ������������� �� ������������� �� �������� ��� ����/������ ����������� �� ������ ����������%������������������2�������������������������������������������$������S�����������S��������� ;� ����������� ������� ��������� ��� �������� ������'1��� ����2������ ������� �����+����� ��� ��� ������������� ����������� �"������������%� K���� ��������� �(���������)����� ����� ��������� ��������� ��� B������������ ?��B@� �� ��������� �����������������+���,�

•� �� �������)�'(�� ������� ��� ���� ��� ������������%� L� ������+��� ������������������������������������������������������������������������������'�����������2����������2����%�

•� �� ������� ���)�'(�� ������ ����W�6%��(�� ������+���� ���������#����������������������������������������'(��#�������������+��������������������%�

��� =.������ ��� �����'1��� ��� �=�� ?��� ����/�� , ��������� �����@� �(�� ���������'(����������������������������'(������������������ ������������ $����?��������!������� ���� �@� ��� #���� ���������� ��� �� ���$����� ���������� ��� �.����� ���������� ����%� 8�� ������ ������ ��� �.������ ��� �����'1��� �(�� ����������� ������������� ������������� �� ��������� �� �� ���%� &���� ���������� #��� �� �����"�� ���������������� ���� ��������� ���� ��������� �� �����2���� �������9�� ������������������������� �������%� �� * =� �� ������� ��� �.����� ��� �����'(�� �������� ������������/����� ����� ��� ����������<�=����� �"������ ����������� ������ �.����� ��������'(�%�����������������/���� 9�����������* =������������������������������.�������������'(�����������?* =�=�����=�������@%�

8� ��� ��� =.������ ��� �����'1��� ��$��� ������ �"��������� #��� �� �.����� ���������� ����� ����� �������� ������ ����������� ��� ��������'(�� ���� ��������� �����������������������%��������������"���������������������'(������������������������'��� ��� �����2���� ����������� ����=�%� 8���� ����� �� ������������K� ���������������� ��������� ����� ���� ��������� ��� �����2���� �����+����� ���� ��� �.������ ��������'(����* =%��

Page 23: W eb semântica: ontologias, lógica de descrição e inferência

��

�� �����"�� ���� =.������ ��� �����'1��� �� ������� ��� �2� ����� ��������������������������������������������#�������������%�*�������������(����������'1�������������� ���$������ ��� �����2����� #��� ���������� ��� ������� ������2������� �����%�I������������������ ����?�������������������@�#����(�������������������������������������������������������������������������������������"���#����(����������������� ��� �����)�'(�� ��� ������ ���������� ����������� ���������%� *�� ����������� �(����������� #��� �������� �� ���'(�� ��� ���������� ������"��� ������ ��� ��������������������� ;� ��������'(�� ��� ��������%� *��������� �(������������� ���� ���������%� 8�������������������������������������������������� ��������������������?����������������!�����@%�*��#���������������(�����������#���#��������������������%�

���� ��������'(�� ��� ��� ��������� �� ����������� ��� �&� ����� ��� �������������������$���������������#������������������������������%�*�����������������������#������������������������������(���� ���������������������������&������#������������� ��������� ?K��@%� *� � ��������� �� �� ������ �(�� ������������ ����������������������2� �����d����e%�

�������� #��� �� �� �� ��$��� ������ ��� ���������� I� ��� ����� ��� ������?���������@�����9������������������������������ +�����,�

�•� B��$��'(��?�fg�@%�������������������'(������������������'1�����������������#�����)��������������$��'(�%�

•� ���$��'(���hi��??@%����������������(������������������'1�����������������#�����)��������������$��'(�%��

•� X���������'(�����������∀I%�%����������#�����������������������I���������� �����2����� ��� ��������� ��������� ������ ��� ��������� ���� �����2����� ���������� ����������� ����� #���������'(�� ��������� ?��������� �@%� ������ ����� ������������I��(�������������������������������������������������������%��

•� X���������'(��8"����������∃I%�� ?A@%����������#��� ��������������������I������ �"������������������� �����2���� ��� ��������� ���������#��� ��� ������������� �����2����� ��� ������� ����������������#���������'(�� �"���������� ?����������@%�*�������2�������������������������������������������������������������������������������������������I%��

•� >���'(��j��?�@%���������������������'(������&��������������&%�•� �����'(�����>4����RN�%I���RO��%I�?=@%��������������4�����+"����?RN@���� �2����� ?RO@� ��� ��������������� #��� ������ ��� ����)����� ������� �������������I%��8"�������+���� ���������=.��������������'1������������(���������)�����������

�����������#����������� ��#���������������������� ��� ��� �2���� ����������� ����"������ �������� �����(�� �������������� ���%� �� �.���������� ���������� �������� ���+$%�#�����������������#���������'(��������������$��'(���������?d@�������?e@����#���������'(�� �"���������� �(��#����������� ?∃I%�d@%��� �.�����:$��� �� �.������=9������ ������'(�����������������:�����%������������������������������?A�?���=@������������������.����������������"������������#��������������������=B>��=�8����%���������� #��� ����1��� ��� ������ ���� �.������ �(�� ���������� ������ �2� ����� ��������������������������������#�������������%��

Page 24: W eb semântica: ontologias, lógica de descrição e inferência

� �

�8���� )�����������������6����������$�������*������@��

� ���� ������������������������������������'1�����������������������2���������$������������������'(��������������������������2����%�I��������������������������������������������+������������ �����������������,�

•� B������������&�����������?��� �������:���� �� @,��������������������� �������2��������� ����%���������������������������� �����������?���$�����@���������2�����#�����������������������������2������%�

•� B������������8"����������?��� �������:���� �� @,����������������� �������������%���������������������������� ������������2����#�����)���������������$����%�

8��=.����� ��������'1��� �� ������������� ������������������������K��"��� ���"����������������"%�

5<�B

*�K��"���������������������������������������������������������%�8���������������������2���������������������������#����(����������������2����������������%�������� +��������������'(��������K��"�����������'(��������������#�������������'(����������������������������������������������������������������������%��

��� ������'1��� ��� K��"� �(�� ������������ ����� �#�����/������ �.������?�����'1��� ������+���� �� ������������ ��������� ��� � k� @� ��� ����� ���� ������(��?�����'1��� ������+���� ��������� ��� � ⊆@%� 8����� ������'1��� �������� ��� ����������������2������,�

•� �����������������������������'(���������������������������%�•� L������������#������������'1�����$�����2���������������������#���������(��������������������������������������������������������������������#�������������������������������%�

� ����"������������K �"��������������������M%HH%�*�����������������I���������/���� ��� �"������ ���������� �������������.���� ����� �(�� ������������ ���������� ���%�*��������������������������������������������������������������'(������������������'1��� ���� ���������� I������ �� �/���� ��� ��$�� �� ��������� ������ ��������������� �����2�����#������������ ���� ����������I������ ���/���� ���������������%�8��������������������������"��������������������������������������������%�

Page 25: W eb semântica: ontologias, lógica de descrição e inferência

��

��

�����������*>������(����

�I������������������������������������������������������2��������9������)��

��� �� ������ ��� �����2���� ���� ���'(�� �� ��� K��"� ��2������ K����� �� ������ ������������ ��� K��"� ��)��%� ��� K��"� ��)��� �� ��� K��"� ��� #���� ������ ��� ����������������"����(������������������������������)�'(��������������� ���%��&�����������#���������������� ��������� �������� ����� ����������� ��� ��������'��� ����� �����������������'1��� ���%� I��� ��� � ��� ����� K��"� �� ������+��� �"������ ��� ������'1��� ����������������)����������K �"�����#����������������������"�����$�����������������������������������������%�*����$����������������������������'(��#�������$������������k����������������������������������������? ���@%�

I��� ����� ��������� B� ���������� �� �"����(�� ��� B� ���� �������� �� K� ����� ����������� Bl�#����� � ����� ��� B������ �� ������'(�� ��� ����� ���/����� ������ ����� ����2� ���������B����������������%���������M%HA���������K �"���)�������������������K �"������������������M%HH%�

������������������4�����*>������(����

� >��������M%HA��������������������������"���������� �����2�������������������� ����#��� ����� �(�� �����%�>����� �"������ ������ ����� ���(�� ���������� ������'(�� ��������������I���������/���%�

������k�I������fg��/����

J�����k�I������fg�j������

�(��k�������fg�∃���������%�I������

I���k�J�����fg�∃���������%�I������

I����k�I���hi��(��

��.�k�������fg�∃���������%�I����

��:�k�J�����fg�∃���������%�I����

������k�I������fg��/����

J�����k�I������fg�j�?I������fg��/���@�

�(��k�?I������fg��/���@�fg�∃���������%�I������

I���k�?I������fg�j�?I������fg��/���@@�fg�∃���������%�I������

I���� k� ??I������ fg� j� ?I������ fg� �/���@@� fg� ∃� ��������%� I�����@� hi� ??I������ fg��/���@�fg�∃���������%�I�����@�

��.�k�?I������fg��/���@�fg�∃���������%�I����

��:�k�?I������fg�j�?I������fg��/���@@�fg�∃���������%�I����

Page 26: W eb semântica: ontologias, lógica de descrição e inferência

� �

:<�B

*����"������������������������"����������#����������������������2�����������2���%�8����� �� ���������'(�� ��� �������� ��� ���������%� 8"������ ����� ������ ��� ������'1��� ������",�

•� ������'(�����B��������,�B?�@%��������#���-�0�����������2����������������B%�I���"������I�����?���@%�

•� ������'(�����I����,��?� @%��������#����������2����-�0����+�����������������������2����- 0����������������������%�I���"��������������?���7�(�@�

� >�� ������ M%H^� �(�� ������� ����!������ ���� ���������� ������ �� J����%� ����������� �(�� ������� ��������������� ����� �����2����� ���� ����� �������� �����)����� ��������������������������"����������������������������������%�

����������� �?>���������(����

�C�� )�����������$�������*������@������ ���� ������� ���������� ��� �����)�'(�� ��� �.������ ��� �����'1��� ������������ �����������'(��������������������������� �������������������)�� ������������ �����2���%���������� ��� �����2���� �(�� ��������� #��� ���� ����� � $������ �������� ������������������������ �"������������� �� �������� ������'1��� ����2������ ������� ������'1������������������)�'(���������'��������2�����%��������������������������B8��?J������������m���� HGG^@�#�������� ��������)�������� � ���'(����� ���������� ��� ����/������������� ��� ���� ��������� �+����� �&B8� ?B����� HGG^@%� *� ��B8�� ��� �������� ��������)����������$��������������������������������I�����������������������������������'(����������������%�� *� ��B8�� ����������� ��� �+������ ��� �� ����"� �����)���� ���� ���� �.����� ��������'1����������"�����������=BXJ&�n���� �������������������J&X%�8������ ���

�����?���@�

�����?7����@�

�����?����@�

J����?����@�

J����?I����@�

J����?I���@�

��������?����I���@�

��������?�������@�

��������?I��������@�

��������?7��������@�

��������?����I���@�

��������?�������@�

Page 27: W eb semântica: ontologias, lógica de descrição e inferência

��

������� ����'��� ��� �����2���� ���� �4�������� K��"��� ��� ����� ���� �4�����������"��%�� �� �.����� �=BXJ&�n� �� ��������� ��� ��������� ��:����� ��������� ���������?��������@� ��������� ���� ?�����@� ����'(�� ��:����� ������'(�� ��� ����������#���������'(�� ��������� #���������'(�� �"���������� ��������� ?� ∃�%� d� @� ����'(�� ?B@�����'(������4�����#�����������?X@���������+#������?J@��������������(��?&@�������������������������?�n@%�

�C���� )�����������5<�B

*������'�����B8��������2�����������K��"��(�,�

•� (�������� �������

� ����������������������2���������������������K��"�K�����"�����������������'(��&����K�����#���B&����(����)��%�>������������)�����#���&����������������K%�I���#�����������������$����������2����������������2���������������������������!���������������$��������������(���������������������'(���������������'(�%�� >��������M%HM���������������������� �����������"����������������������������(�%�I��� ����� �(�� ������� ����!������ ��������� ���� ����� ��������� ?�(�?�@@� �� ���� ����������������������������!�����?��������?� @@%��������������� ����9����������������"����(�� ��� K��"� �� ���/����� ��� ������� �������'(�� ��� �������� �������'(�� ������������������������(������������2���%��

������������* �� �� �&����2���,������ �������� �����4 �

� >�� ������ M%M� ��� ������ ��� ��������� �������� �� �"������������ ���� �� ���������J���������%� I��� ����� �� ������ ���� ����!����� �������� ������ ���������?J���������?�@@%��������������� ����9����������"����(�����K��"������/�������������������'(�����������'(�����������������?j�����?�@�fg������?�@@%������������������������������(����������������������!������+��������������������������2���%�

5<�B

������k��I������fg��/����

�(��k�������fg�∃���������%�I������

5������(�������� �������

�(�?�@�k������?�@�fg���������?� @�

�(�?�@�k�?I�����?�@�fg��/���?�@@�fg���������?� @�

Page 28: W eb semântica: ontologias, lógica de descrição e inferência

� �

� ��

���������!�* �� �� �&����2���,������ �������� ����) ���2�������

•� (� �������������

� ������������B����� �����������������������������������������������K��"�K����B&�⊆��&������������������'(��&����K%�>��������������������B�⊆K������K�o�B�⊆���%�&����#�����)��#����������������!���������B���� ����(������!����������%�*������������������������������������������������B�����������������������%�� >��������M%H`������������� ��#����(������������������������������������������������������������������ ����!������������������������#��� ���������������������������� ��� ���������� ��������� ���� �� ������� I�����%� B���� ������ ��� �����2����� �������������(����)������������������������������9�����������#����(��⊆������%��

����������$�* �� �� �&�,������2���34��

5<�B

�������k�I������fg��/����

J�����k�I������fg�j������

J����������k�J�����fg�������

5������(�������� �������

J���������?�@�k��J����?�@�fg������?�@�

J���������?�@�k�I�����?�@�fg�j�����?�@�fg������?�@�

5<�B

�������k��I������fg��/����

�(��k�������fg�∃���������%�I������

)�����������������������������

�(��⊆�������

B������������,�������

B������������,��(��

Page 29: W eb semântica: ontologias, lógica de descrição e inferência

��

•� AD��-�������

� ���������������B������(���#����������������������������K��"�K����B&�R��&������������������'(��&����K%�>��������������������B�k�K������K�o�B�k���%�&����#�����)��#����� ����������������������������������!�����%�� >��������M%HE���.����)�����"����(��������������'(��������������J���������9���� �����#�������������������������������(�������������������������������������������������������(���#����������%�

����������'�* �� �� ��5��0��@�����

•� *��E�����

� ���������������B������(�����$�����������������������K��"�K����B&�∩��&�R�∅������������������'(��&����K%�&����#�����)��#���������������������$�������(���������������������������������!����%�� >��������M%HD���.����)�����"����(��������������'(��������������J���������9��� � ����� #��� ���� �� �� ��������� ������ �������� ���������� ��������.���� ��� �����������'1���?J������������j�/��������������������/���@%�B�����(��������2������������!���������������������������������������������������������������?�����"��'(�������)��@��������������J��������������(���������������!����������������� ���������������%��

5<�B

�������k�I������fg��/����

J�����k�I������fg�j������

����������k�I������fg�j�/����

AB��������5<�B�(������������

������k�I������fg��/����

J�����k��I������fg�j?�I������fg��/���@�k�I������fg�?jI������hi�j�/���@�k��� � ?I������fg�jI�����@�hi�?I������fg�j��/���@�k�?I������fg�j��/���@�

����������k�I������fg�j�/����

)�����������������������������

J����&�R����������&�

Page 30: W eb semântica: ontologias, lógica de descrição e inferência

� �

��

���������+�* �� �� ����A��34��

�������������������������������������������������'�����������2����������K��"�������2�������)��������������������'�������������� ���������������� ����������'(������������ ������'(�� ��� ����� ��� �#�����/����%� 8���� ����� �������� ��� ���'(�� �������� �������������������.�������������'1��������)���%�

�•� &�����'(��?fg@�������������������������� ��������?e@�,�����'(������ ����������'(�%�

I�������������B����������,�

?�@�B�������������2����⇔�B����� ����������������ea�

?��@�B������(���#�����������⇔��B����� �������������������������� ����������������Ba�

?���@�B������(�����$������⇔�B�fg������� ����������������e%a��•� &�����'(��?fg@�������'(��?j@�,�����'(������������� �������%�

I�������������B����������,�

?�@�B����� ������������������⇔�B�fg�j��������������2���%�

?��@� B� �� �� �(�� �#����������� ⇔� �� ��� ?� B� fg� j�� @� �� ?jB� fg� �� @� �(������������2����a�

?���@�B������(�����$������⇔�B�fg���������������2���%�

�C�!�� )�����������:<�B

*������'�����B8��������2��������������"��(�,�

•� ���������� �����������

� ������"������������������������'(�������K��"�K�����"�����������������'(��#������������ ��� �� �������K%����������������� ��� ������ ������������ ���� �������� ���K��"���)��%�&����#�����)��#�������"�������������!�����#����������������K��"�#�����������"����������������"���+������������%�

5<�B

�������k�I������fg��/����

J�����k�I������fg�j������

AB��������5<�B�(������������

�������k�I������fg��/����

J�����k�I������fg�j�/����

)�����������������������������

J����&�∩������&�R�∅

Page 31: W eb semântica: ontologias, lógica de descrição e inferência

��

� >��������M%AG�������������������!��������������������������������������%�B���� �� ��������� ������ �� �� ������'(�� ���� ��������'1��� ���� ���������� I������ ���/���� ����� ��� ��� ��+� ����� ������� ���������%� B���� �� ��������� ������ ����������2���������"���+������������%��

����������1�#% ��� ��� �#������@�����

•� �������������������

� �������� ��� ��� ����� �����2���������� ����!����� ��� ��� ��������� �����2����%� >��������M%AC�����$������� ������������2�����������)�������������������(�%�B���������� ����!����� ��� ��������� ������ �� ������� ��� �������������� ������� ��� ������������������� ���� �� �����2���� I���� ����9��� �������� #��� ����� ������� ��� �����'1���������+����������������������������������������(�%�

�����������#% ��� ��� �<���B������

5<�B

�������k��I�������fg���/����

:<�B

�����?����@�

�6��������������������

�����?����@�k�I�����?����@�fg��/���?����@�

5<�B

�������k��I�������fg���/����

�(��k�������fg�∃���������%�I������

:<�B

�����?����@�

J����?I���@�

��������?����I���@�

�6�������� ��������

�(�?����@�

�(�?����@�k������?����@�fg�∃���������%�I������

Page 32: W eb semântica: ontologias, lógica de descrição e inferência

� �

•� � �� �

� 8����������������������������2��������#�����������������2��������������!����%�>�������� M%CC� ��� ������� �� ����'�� ���������� ���� �����2����������7�(�� �� I����� �/�9����������������������������������� ��"����������#���������������������#���������������!��������������%�

������������- ������

•� ������ �

� 8���������� �����2�������� ��������������������#����(������!�������������������������%�>��������M%AA�����������������'����������)�'(��������������J������������������� ������ � ���9��� ����� ��������� ��� �����2����� #��� ��)��� ����� ����������������%�

������������- ���=�34��

�C�'�� :��������5� ����

*����������K� �����������������������������������������������������$�������������������������������������������������#�������������'(����������?����������2���@%�

:<�B

�����?����@�

�(�?����@�

J����?7�(�@�

I��?7�(�@�

J����?I���@�

)������

�����p��(��

7�(��p�I���

I����p�J�����

:<�B

�����?����@�

J����?7�(�@�

J����?I���@�

)����F����

J�����p�7�(��I����

������p������

Page 33: W eb semântica: ontologias, lógica de descrição e inferência

��

&����������������������������'(����� ����������2������������ �.�������������'1���#����������������������������������������.��������#����(�%�� �����)����� �� ����� ���� �������� ��� ��� ��������� B� �� �� ������������� ��� ���

�����������?B�⊆��@�������#��������#���B�fg�j��������������2���%��������#���B�fg�j����������'(�����B�⊆�����������������������%�

�� �

8��(�����"����(������������ ����������'(���,�

�� I��� ������������������� �� �������������������"���������#����������?B�fg�

j�@?"G@%� ������� ������ �(�� ���������� ��� ���������� ����� ��������� ;� �.������=B>����� ������� ��������"����������?���"����#����(���������������������������������@�qCr,�

•� ��������fg,�

� ��� �����"��� ������� ?BC�fg�BH@?"@����� ���� �(�� ��������� ���BC?"@� ��BH?"@�����9�������������"��l�����#����l�R���∪�sBC?"@�BH?"@t%�

•� ��������hi,�

� ��������"����������?BC�hi�BH@?"@����������(���������BC?"@������BH?"@�������������������������"��,��l�R���∪�sBC?"@t����ll�R���∪�sBH?"@t%�

•� ��������∃,�

� ��������"����������?∃�%B@?"@������(���"���������������������2����)�����#���B?)@����?")@�����$�����������9������������������"��l�����#����l�R���∪�sB?V@��?"V@t%�*��������������2����V�������������������$���(������������������������%�

•� ��������∀�,�

� ��������"����������?∀�%B@?"@����?"V@������(���������B?V@�����9�������������"��l�����#����l�R���∪�sB?V@t%�

•� ��������≥�,�

� ��������"����������?≥��@?"@������(���"��������������������������������2���������9�������������"��l����������������"��������������2��������������������������%�

•� ��������≤,�

� ��������"�����������nC������2�����������nC����������������������������2��������(�����������9������������������"����� ���������������������2�����#����(���(�����$������������4����������2����V������#����������4������#�������������nC%�

C%�B�⊆���k�B�p���

H%�B�p���k�jBhi��

A%�j�?jBhi�@�k�B�fg�j��

B�⊆�����������������B�fg�j��

Page 34: W eb semântica: ontologias, lógica de descrição e inferência

� �

���� �"�������������2��������"����������������'(�%������������'(��������������������������"������se�?"@t�⊆������s�?"@�j�?"@t�⊆������?≤��@?"@�∪��?"V�@�[�C�≤���≤��nCt�∪�sV��≠� V$�[�C�≤� ��≤� $�≤� �nCt�⊆���������������� �����2�����"�VC%%%� V�nC� ������������(���������������������������������%��������������������"���������������'(��������������K� ����%�� ���$��������������������������������������������������%������������?∃�%�@�fg�

?∃�%�@�fg�≤�C������� ����������������∃�%?��fg��@%�*������������������(�,��

�G�R�sBG?"@t��GRs??∃�%�@fg?∃�%�@fg?≤C�@fg∀�%?j�hij�@@?"@t��C�R��G�∪�s?∃�%�@?"@�?∃�%�@?"@�?≤C��@?"@�∀�%?j�hij�@�?"@t�,������fg�����G��H�R��C�∪�s��?VC@��?"VC@�t�,������∃�����C��A�R��H�∪�s��?VH@��?"VH@�t�,������∃�����H��^�R��C�∪�s�?VC@��?VC@��?"VC@t,������≤�����A��M�R��^�∪�s?j�hij�@?VC@t�,������∀�����^��F�R��M�∪�s?j�@?VC@t�,������hi�����M��`�R��M�∪�s?j�@?VC@t�,������hi�����M��� *����������"���������������������F� ���`��������������������'(�� �������

���������BG��� ����������2���%�I���9��� �������� ���(��#��� ?∃�%�@�fg� ?∃�%�@�fg�≤�C������� ����������������∃�%?��fg��@%�����������'(��������������'(�����K� ����������������+���������������������������M%A^%���

���������� ��� ��34�����*�,� ���

Page 35: W eb semântica: ontologias, lógica de descrição e inferência

��

M%`%^%� ?����F�����):�A)���9���G�G�) �A�B����$+������"������������������������B8�����������������������2����#����������������������������������������2������������ ���������������������"��2��������������� ������'(�� ��� ����'��� ��� �����2���%� I��� ������� ��� ����'��� ������ �������� ��������+�����+9���������$����������������������������������"��������I�����������&B8%�*���B8����)��������/�������� ������������������"������������������������������%�W��%�����������%��� *� I������ ?������ ��� ����������� * =@� ������� ���� ��������� #��� ������� ��������������� ���� �� ������������ ��� �������������� ��������� ������ ���������� ����� ����������������'(���������������������+��%�L�������+��������������������)�+��������.��������������'1�����������������������������'(������������������� ����������������������%������������������)����I����������������K��"��������"��������/�������.� �(������������� ��K��"%�*�I�����������)�� ����B8������ � ��� �������������� �������'��� ��� J���#���� &������� ?�� ����������'(�@� B������/����� ��� B���������?��������� �������@���8#�����/��������B��������%��� I���"���������������������������������������2����J����������?J����������k�J����� fg� �����@� ��� K��"� ���2���� ������ M%AM� ��.�� �� ����/������� � ����� ����������������������M%AF%�

������������� ������������*>������ �������2 �@���������������������������!�*>���� ����������2 �@�����

� >�� ������ M%AF� ��� ����������#���������������� ?�� �������������@� ������������)����������������������������?J���������@��������������������2����������������(����������������#�����/������������������������������������J����%�

Page 36: W eb semântica: ontologias, lógica de descrição e inferência

� �

*��&B8���������"����� �������������������������������������'(����������'�����������2���%�8���������������������#������������������������?����������%�W�@%�*��&B8������)������B8��������)������/���������K��"������� �"�������������������������������� #����1��� �����2������ �� �� �� ���������� ��� ������%� �������� ���� #����1���������������������� ���'(������&B8��������B8���(�,��•� H����@���� �������������

�?�������9���������� ��Q�B@� ?�������9�� �����Q�������8��������88@�?�������9�#��������Q�BC�BH@� ?�������9��9��������9��B>@�?�������9���$����Q�BC�BH@� ?���9�������9��������B@�?�������Q�B>@� �

•� H����@���� ����9��G��

�?���9�� �����Q��C��H@� ?���9��������@� ?���9������>@� ?���Q��@�?��9���� ���Q��>@� ?�V������Q��@� ?����"���Q��@� �?���9��������>@� ?���������Q��@� ?������Q��@� �

�•� H����@���� ���� ���-�����

�?� �"9����������Q@� ?����������9������Q�&>C�&>H��@� ?����������Q�&>@�?����69� �"9��������Q@� ?����������9�#���Q�&>C�&>H@� ?��9� $���Q�*>@�?����������9��������Q�&>�B@� ?����������9���9�#���Q�&>C�&>H@� �

�•� 5<�B)����F�����

�?�������9�V���V���B>@� ?�������9��������B@� ?���9������@�?�������9������������B@� ?���9�������������@� ?��"����V@�?�������9���������B@� ?���9���������B@� �?�������9������@� ?���9��������B@� �

�•� :<�B)����F�����

�?������9����������9������9�����&>C�&>H@� ?����������9�V����&>@�?������9�����9�������������&>�� �"@�� ?�������9����������B@�?���9�������9���������9��9������������&>@� ?������9�������������@�?���9���9���������9��9����������9��9�������&>@� ?����9������*>@�?���9���9���������9��9����������9��9�����&>@� ?���9�����������@�?����������9���� ���9�������&>��>@� ?����������9�������&>��@�?����������9�����9�V����&>@� ?���9�������9���������@�?���9� �"��@� �

�� �����)�������K��"��������"������"���������2����������������������������2������)���+������������%����������������(�,�

Page 37: W eb semântica: ontologias, lógica de descrição e inferência

��

C%� ?�������9��9��������9���8�8�@�

��������,�K�

8���� ����/����������������������������#����(�������������?K�9�K��@�����(��?>&=@%�>������������ ��������������������������8�8���������������� ���%�*�>&=��������������������������������������������������������� ���#�����������������(�������������������������������������������'1��%�

�H%� ?�������9��9��������9����=J8�@�

��������,�>���

>�������������������������������?>&=@�������������������=J8��������������������������'(�����������������������������%�

�A%� ?�������9�� �����Q�I8��*��J*�8�@�

��������,�K�

8���� ����/����� ������ ��� �� �������� ��������� ?J*�8�@� �� �� ������������� ������������?I8��*�@%�>�������������������������������%�

�^%� ?�������9�����������*c�@�

��������,�??\K*I\�K*I@�?I8��*�@�?�8�8�@�?I�&�@�?��=J8�@�?��8@@�

8��������/��������������������������������������������������������$���%�&����������������������������#������������������#����(��������� ��������%�?\K*I\�K*I@�������������������������������������$�������������������%�K������������������������K��"��(���� ����������������������������?\K*I\�K*I@%�

�M%� ?�������9������������8@�

��������,�?7*�>�����&�@�

8��������/������������������������!����������������������$���%�

�F%� ?����������9�V����I��=*@�

��������,� ??��*cJ@� ?I�&@� ?I�&�@� ?I8��*�@� ?\K*I\� K*I@� ?J*�8�����B�=&>*@@�

8���� ����/����� ������ ������ ��� ���������� ��� #���� ��� ����������� �����2���� ������!����%�

�`%� ?����������9�����9�V����I��=*@�

��������,�??��*cJ@@�

8��������/��������������������������������2��������#�����������������������2����������!����%� >����� ����� �� ��������� ����� �����2����� ��� #���� �� �����2���� I��=*� ������!��������������������u%�

Page 38: W eb semântica: ontologias, lógica de descrição e inferência

� �

�E%� ?�������9���$����Q�J*�8����=J8�@�

��������,�K�

8���� ����/����� ������ ��� ��� ����� ���������� ��� #����(�� �(�� ���$�����%� >����� ����� ��������������������������������������J��������� ���������������������������j������#��� �� �� ������������ ��� ��������� �����%� =���� �� ��������� J����� �� �� ����������������(���������������!��������������%�

�I�� ���������

8���� �������� �������������� ������'(�� ;� � ����!������ �� ����� ����������� +������?<�=�������* =@��"�������������������������������������.��������������'(�������������������� ����/��������������'(������������� � %���+������ � ����!�������������2�����������������'(��������������������#��������� ���4����� ���������+������������������������������������������������������������������������������������������������������������������������+�����#�������������������������������%��������������������� �������� ������1��� ��� �������� ����������� ���� ������������ �� �����������������#��%�

�I���� $����������������

�� ������� �������� ��� ������ �� �� <�=� �� �������� ������ ���� ������ ����� ��������������������������������� � �#�������������������������<�=��������"��%����?����,PPWWW%"��%���P�� P�PDEPCGP�����G%����@���������������������������� A��������?����,PPWWW%WA�������%���P"��P�������%���@���������/���� �������+��������������� ����������������������* =��?����,PPWWW%WA�������%���P��P��c�W�%���@%��

� I��� ��� ����� �� �� ����������� ��$�� ���� � ���� ������ HGG^%� *����� ���������������������� ��������������(��3� ��CDDM����������������3�������CDDF%����������� ������� ����������� �� ���+��� ��� � ����!������ �(�� ����������������� ���������������9=�����������9=���������HGGC%�8����������HGGA�������������������� � � ���!������ �� ����������%� ����� �� �� ����������� �� � � ���!������ ?���������/�@�����������������������������HGGA%�

� I������������� ���.��������������'(����$��������HGGA%�>�����������*���������������� ��������'(�� � �������� �� ���������� ���� �������� �.������ ��� �����'(������������ ��������"��������������/������������'1����������'(������������+����������#�������������������Y2�������� �������������%���

� ���������������������������������������������������������I��������B8�����&B8����(��������2������������,PP������%�������%���P�����,PPWWW%���9�V�����%���P���������,PPWWW% C�9�V�����%���P�����P���P���������������%�8�����'(�������B8��������2���� ��� � ��� ���� ���(�� ��� ������ ��� AG� ����� ��� ��������� ���� �������������������������������W������������������������)���%� �*���������I������������� ���)������������ ����� ��� ��������� ��������4����� ���+����������#���� ���+� ���������� ����������������������* =����������"��������-I������* =�K������0������-*������V������������� CGC0%�I��� ��� �� ����B8�����&B8����������B����� HGG^� ��J������������m����HGG^%��

Page 39: W eb semântica: ontologias, lógica de descrição e inferência

��

� ��+��� ��� ������������ ��� � � ���!���������� �������'(����������������������������������������������������* =����������+�������������������B�����������HGG^%�

)����������

�������%�������%���������������������� ��6,�����V��������������������������������%�B�� �������������V�I����HGGA%��

�����9=���K%�J������7%�����=�������*%�-K������������ � 0%��������������������HGGC%�

B���� J%� ��� ��%� ?HGG^@� -�*�I�,� �������� *������V� ��� � �#������� ���� I��������������������0� &�� I���������� ��� ���� ����� ������� &������������ B��������� ����� ���� ���� � �#������� �V�����,� >��W�6���� ���� �������� ?�� �#������� HGG^@�����������������%�

B������%��&B8� ?��B8��&����������B������8���������@�������%�K���������������HGGA5GCa� ���������� ��� �������� &��������� ��������V� ��� ��������� ����� CC�HGG^�

���������%�B%a�* ���=%�7%a�������_%�K%�K������������ � �,���3���������������������<�=� � �������������_��W����������������%� ���V�HGGA%��

��������%�*������������ � ����!�����%� &��8>&��5�8������>�����������&������/���������������B��������HGGA�����9����%�&�����������<<&&&�B���������������������������������B������'(��MH�%�

3� �� K%� K�W���� I��������� ��� ���� ������� ��� *���������� ����� ��� _��W������������%� &���������� &����� ��� ���� &������������7������ ���J�����B���������������-������*������V����B��������������V��������_��W�������������������0�CDDM%�

J��������%������m�����%���B8�l������3�������������������������C%`%CD�HGG^%�

���� �%� ���������� �%� ?8��@� J��� ��6� ��� *���������� ?&������������ J��� ��6�� ���&�����������V�����@%��������HGG^%�

�������� �%� ���� 3������� �%� *���������,� ���������� �������� ���� ������������%�_��W������8���������������W�CC?H@���%�DA9CMM�CDDF%�