<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Uma Ontologia para Padronização do Domínio de Robótica e Automação</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sandro Rama Fiorini</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Joel Luis Carbonera</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vitor A. M. Jorge</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Edson Prestes</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mara Abel</string-name>
        </contrib>
      </contrib-group>
      <fpage>209</fpage>
      <lpage>214</lpage>
      <abstract>
        <p>This paper summarizes the development of a core ontology in the Robotics and Automation domain (R&amp;A), as part of the efforts of IEEE RAS to standardize the field. Tasks and interaction in which robots find themselves in are increasing in complexity. That imposes the requirement for a formally specified body of knowledge that is necessary in such processes. In this context, we propose a core ontology that describes the basic concepts and relations encompassing the R&amp;A domain, based on other existent standard vocabularies and expert knowledge.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introdução</title>
      <p>
        O aumento constante da complexidade das tarefas realizadas por robôs tem demandando
mecanismos mais sofisticados de colaboração entre eles e outros agentes, sejam estes
outros robôs ou humanos. Neste contexto, torna-se evidente a necessidade de um
padrão que capture de forma explícita e formal o conhecimento compartilhado no campo
da robótica e automação (R&amp;A). A existência de um padrão que defina precisamente os
conceitos neste domínio é fundamental para promover a interoperabilidade semântica
entre os diversos agentes e sistemas envolvidos. Neste cenário, ontologias têm sido
adotadas como uma tecnologia capaz de promover esta interoperabilidade, uma vez que
elas constituem especificações formais de conceitualizações compartilhadas
        <xref ref-type="bibr" rid="ref8">(Studer,
Benjamins, &amp; Fensel, 1998)</xref>
        . A utilização de ontologias em processos de padronização
tem sido explorada na linha de pesquisa em padrões baseados em ontologias
(ontologybased standards). Iniciativas recentes neste sentido, como a Ontology-based Standards
Initiative1, tem promovido uma aproximação e a troca de experiências entre a
comunidade de pesquisa em ontologias e a comunidade de padronização, enfatizando como o
processo de padronização pode ser auxiliado por princípios, ferramentas e metodologias
tipicamente relacionados ao desenvolvimento de ontologias.
      </p>
      <p>Desde Novembro de 2011, nosso grupo, chamado Ontologies for Robotics and
Automation Working Group (ORA WG), vem atuando como um grupo de trabalho
oficial junto à IEEE-SA Standards Board, assumindo o objetivo de padronizar a
representação de conhecimento no domínio da robótica. Este grupo, que inclui mais de 140
pessoas de mais de 20 países, tem trabalhado ativamente com instituições da indústria,
academia e governo para desenvolver um conjunto de ontologias, ferramentas e
metodologias associadas, para serem usadas como um padrão no domínio da Robótica e
Automação (R&amp;A).</p>
      <p>O ORA WG é composto por quatro subgrupos: Industrial Robots (InR), Service
Robots (SeR), Autonomous Robots (AuR) and Upper Ontology/Methodology (UpOM).
Os três primeiros são responsáveis pela elaboração de ontologias para três subdomínios
da R&amp;A considerados nesta fase do projeto, sendo eles robótica industrial, de serviço e
autônoma, respectivamente. Já o UpOM tem como principal objetivo o
desenvolvimento de uma ontologia de núcleo (core ontology) que especifique os conceitos mais gerais
do domínio, desempenhando o papel de base para a integração consistente de todas as
subontologias desenvolvidas no projeto. Além disso, o UpOM também está encarregado
de avaliar e integrar as subontologias propostas pelos demais subgrupos do ORA WG.</p>
      <p>
        Este artigo descreve a Ontologia de Núcleo para Robótica e Automação (Core
Ontology for Robotics and Automation, ou CORA), desenvolvida pelo UpOM e
detalhada em
        <xref ref-type="bibr" rid="ref7">(Prestes et al., 2013)</xref>
        ; e apresenta os primeiros resultados da axiomatização do
modelo. Primeiramente discutimos o processo de engenharia de ontologias realizado
durante o desenvolvimento da ontologia CORA. Em seguida, apresentamos os seus
principais conceitos, com ênfase para o conceito de robô.
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Desenvolvimento da Ontologia</title>
      <p>
        Devido à complexidade esperada em um projeto como este, é necessário determinar
quais metodologias, ferramentas e princípios serão utilizados para guiar o processo de
desenvolvimento das ontologias. Adotamos a METHONTOLOGY
        <xref ref-type="bibr" rid="ref5">(Lopez, Perez, &amp;
Juristo, 1997)</xref>
        como metodologia geral de desenvolvimento de ontologias, uma vez que
ela oferece características ajustadas às necessidades do projeto, tais como a
independência de aplicação e a ênfase no desenvolvimento de ontologias no nível do conhecimento.
A METHONTOLOGY também estabelece um conjunto de atividades que devem ser
realizadas durante o desenvolvimento, especifica o ciclo de vida da ontologia ao longo
do desenvolvimento e indica técnicas para realizar cada atividade proposta no ciclo de
vida. Além disso, adotamos a OntoClean
        <xref ref-type="bibr" rid="ref3">(Guarino &amp; Welty, 2009)</xref>
        como ferramenta de
avaliação da ontologia em desenvolvimento. Também utilizamos as meta-propriedades
oferecidas pela OntoClean como princípios para avaliação de outras fontes de
conhecimento consultados para a elaboração da ontologia proposta. Finalmente, adotamos uma
abordagem middle-out para identificação de conceitos, isto é, identificando antes
aqueles mais relevantes e em seguida os mais abstratos e os mais específicos.
      </p>
      <p>
        O processo de desenvolvimento foi iniciado com a identificação de fontes das
quais o conhecimento de domínio seria adquirido. As principais fontes identificadas
foram: padrões já existentes no domínio; livros-texto, artigos revisados por pares;
especialistas no domínio; e ontologias já existentes, incluindo não apenas ontologias de
domínio, mas também ontologias de topo, como a SUMO
        <xref ref-type="bibr" rid="ref6">(Niles &amp; Pease, 2001)</xref>
        .
      </p>
      <p>Analisando as fontes identificadas, constatamos que as ontologias já
desenvolvidas no domínio, em geral, focam apenas em um subconjunto restrito de conceitos do
domínio, adotando significados específicos, compartilhados apenas por pequenos
grupos de pessoas. Devido a isto, decidimos iniciar a identificação de conceitos a partir do
documento ISO 8373:2012, que define em linguagem natural termos genéricos que são
comuns no domínio da R&amp;A. Este documento foi considerando uma fonte inicial de
conhecimento adequada, uma vez que este padrão foi elaborado com o intuito de
estabelecer um acordo inicial na comunidade de R&amp;A.</p>
      <p>
        A partir deste documento da ISO, foram identificados os termos e definições
relacionados aos conceitos mais gerais do domínio e que deveriam participar da ontologia
de núcleo. Este conhecimento então foi estruturado e representado usando as
representações intermediárias previstas pela METHONTOLOGY. Neste estágio também
realizamos uma avaliação da conceitualização capturada do documento da ISO, utilizando a
OntoClean. Este processo permitiu constatar que as definições oferecidas pela ISO para
conceitos chave são ambíguas e que alguns dos compromissos ontológicos não estão
explícitos nas definições, permitindo algumas interpretações não pretendidas. Detalhes
desta análise são apresentados em
        <xref ref-type="bibr" rid="ref7">(Prestes et al., 2013)</xref>
        .
      </p>
      <p>O próximo passo foi a coleta de definições alternativas para os termos
identificados anteriormente. A partir de uma análise das definições alternativas, foram
elaboradas novas definições para estes termos, com o intuito de contemplar os principais
aspectos enfatizados pelas definições encontradas.</p>
      <p>
        Finalmente, integramos a ontologia com uma ontologia de topo. Ontologias de
topo ajudam a organizar a estrutura básica de ontologias mais específicas ao estruturar
as principais categorias gerais, presentes em qualquer domínio. Nesta etapa,
selecionamos a SUMO
        <xref ref-type="bibr" rid="ref6">(Niles &amp; Pease, 2001)</xref>
        , uma ontologia de topo desenvolvida por um grupo
de trabalho oficial da IEEE, que inclui colaboradores de diversas áreas. A SUMO
oferece uma descrição flexível das categorias de topo e inclui as principais noções e
distinções necessárias para a ontologia de núcleo de R&amp;A.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3. Ontologia de núcleo para R&amp;A</title>
      <p>A CORA (Figura 1) é naturalmente uma ontologia sobre robôs e conceitos relacionados.
O objetivo é descrever as qualidades que caracterizam robôs em geral. Ela descreve
quatro categorias abrangentes: parte de robô, robô, grupo de robôs e sistema robótico.
Dadas as restrições de espaço, apresentaremos uma breve descrição de cada conceito.</p>
      <p>Talvez existam tantas definições para o termo "robô" quanto existem autores
escrevendo sobre o assunto. Essa ambiguidade inerente ao termo se torna um problema
quando se pretende defini-lo de forma abrangente. Por isso, decidimos definir "robô"
somente em termos de condições necessárias. Isso nos permite cobrir todas as entidades
que a comunidade considera como sendo um robô, ao custo de permitir a caracterização
de entidades que não são usualmente consideradas como robôs por alguns roboticistas.
Não obstante, os conceitos da nossa ontologia podem ser especializados para
contemplar entidades com significado mais restrito, de acordo com as necessidades de
subdomínios e aplicações de R&amp;A.</p>
      <p>Mais importante, decidimos por uma definição de robô que enfatiza os seus
aspectos funcionais. Definimos robôs como dispositivos agentivos em um sentido amplo,
capazes de agir no mundo físico com o propósito de completar uma ou mais tarefas. Em
alguns casos, as ações de um robô podem estar subordinadas às ações de outros agentes,
tais como agentes de software ou humanos. Um robô é composto por partes mecânicas e
eletrônicas apropriadas. Robôs podem formar grupos sociais, onde eles interagem para
atingir um objetivo único. Um robô (ou um grupo de robôs) pode formar sistemas
robóticos junto com equipamentos situados no ambiente que facilitam o seu trabalho.</p>
      <p>Um robô é um dispositivo e um agente no sentido da SUMO:
( )
( )
( )
De acordo com ela, um dispositivo é um artefato (i.e. um objeto físico produto de
fabricação), cujo propósito é participar como um instrumento em um processo. A SUMO
define agente como “algo ou alguém que pode agir por si próprio e produzir mudanças
no mundo.” Robôs realizam tarefas agindo no ambiente ou em si mesmosr.- Ação é fo
temente relacionada à agência, no sentido de que a ação define o agente.</p>
      <p>Naturalmente, dispositivos podem ter partes. Definimos um conceito específico
que captura a noção de parte de robô:
( )</p>
      <p>
        ( )
[
( )
(
)]
onde a relação componente( ) é uma relação partonômica que especifica que
o objeto x é parte do objeto y; i.e. ( ) ( ). É
importante frisar que não assumimos a existência de algum dispositivo que é
necessariamente parte de robô. A razão disso é que até mesmo os dispositivos mais
especializados para robótica podem ser utilizados em dispositivos diferentes de robô. Isto
caracteriza ParteDeRobô como um papel formal, no sentido de
        <xref ref-type="bibr" rid="ref2">Guarino e Welty (2000</xref>
        ); o
conceito caracteriza qualquer outro dispositivo que pode compor um robô, de porcas e
parafusos até manipuladores e atuadores.
      </p>
      <p>Robôs podem também formar grupos de robôs. De acordo com a SUMO, um
grupo é uma coleção de agentes. Um grupo de robôs é definido como:
( )
( )
[
(
)
( )]
A SUMO define grupo como sendo também um agente; sua agência emerge dos
participantes do grupo. Esse conceito pode ser usado para descrever entidades tais como times
de robôs, ou mesmo robôs complexos formados por diversos agentes robóticos
independentes atuando em uníssono.</p>
      <p>Robôs podem participar de sistemas robóticos. Um sistema robótico é composto
por um robô ou um grupo de robôs, mais dispositivos situados no ambiente que dão
suporte a atuação dos robôs. Dessa forma,
( )
[
[
(</p>
      <p>(
) [
( )
)]</p>
      <p>( )
( )
(</p>
      <p>)
( )]]
Dado que Robô e Grupo de Robôs são conceitos disjuntos, o axioma anterior induz a
presença de dois subconceitos de Sistema Robótico: (a) o Sistema Robótico Simples,
que tem como parte um e somente um robô; e o Sistema Robótico Coletivo, que tem
como parte um grupo de robôs. Dessa forma, excluímos a existência de sistemas
robóticos com diversos robôs não integrados. Já um ambiente robótico é um ambiente
equipado com um sistema robótico:
( )</p>
      <p>( )
[</p>
      <p>( )
tal que os equipamentos que dão suporte ao sistema robótico estão obrigatoriamente
localizados no ambiente; i.e.,
Um bom exemplo de sistema robótico é uma célula de montagem em uma fábrica de
automóveis. Ela é formada por um grupo de robôs industriais que montam os
automóveis, mais todo o equipamento de apoio à montagem, como sensores, guindastes e
esteiras de transporte.
(
(
)]
)]</p>
      <p>SUMO:Entidade
SUMO:Abstrato</p>
      <p>SUMO:Físico
SUMO:Objeto</p>
      <p>SUMO:Processo
SUMO:Coleção</p>
      <p>SUMO:Agente</p>
      <p>SUMO:Artefato</p>
      <p>SUMO:instrumento
SUMO:Grupo</p>
      <p>SUMO:Dispositivo</p>
      <p>SUMO:componente</p>
      <p>SUMO:membro
Grupo de Robôs</p>
      <p>Robô</p>
      <p>Parte de
Robô</p>
      <p>Ambiente
Sistema Robótico</p>
      <p>Ambiente Robótico</p>
      <p>SUMO:componente
SUMO:parte</p>
      <p>equipadoCom
SUMO:parte</p>
      <p>Sistema Robótico</p>
      <p>Coletivo</p>
      <p>Sistema Robótico</p>
      <p>Simples
Figura 1. Visão geral da ontologia pra robótica e automação. Conceitos
e relações em cinza são estabelecidos pela SUMO.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Considerações Finais</title>
      <p>
        Ainda existe trabalho a ser feito para que o ORA WG chegue a um conjunto de
ontologias padrão para R&amp;A. Atualmente, temos duas frentes de trabalho. Estamos
estendendo a CORA para especificar outros aspectos importantes do domínio, como
noções de posicionamento, tarefas e estado do robô
        <xref ref-type="bibr" rid="ref1 ref7">(e.g. Carbonera et al., 2013)</xref>
        . Além
disso, estamos trabalhando com os demais subgrupos para o desenvolvimento da
ontologia resultante do projeto, que integra as diversas ontologias específicas com a
ontologia de núcleo. No futuro próximo pretendemos fundamentar as ontologias propostas
pelo UpOM de acordo com a ontologia de fundamentação UFO
        <xref ref-type="bibr" rid="ref4">(Guizzardi, 2005)</xref>
        .
      </p>
    </sec>
    <sec id="sec-5">
      <title>5. Agradecimentos</title>
    </sec>
    <sec id="sec-6">
      <title>6. Referências</title>
      <p>Os autores gostariam de agradecer a CNPq, CAPES, ANP e projeto
PRH PB-217 pelo suporte financeiro a este trabalho.</p>
      <p>ISO 8373:2012. Robots and robotic devices - Vocabulary. (2012). ISO/TC 184/SC 2.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <string-name>
            <surname>Carbonera</surname>
            ,
            <given-names>J. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fiorini</surname>
            ,
            <given-names>S. R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prestes</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jorge</surname>
            ,
            <given-names>V. A. M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abel</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Madhavan</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          , …
          <string-name>
            <surname>Schlenoff</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>Defining Position in a Core Ontology for Robotics</article-title>
          .
          <source>In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS</source>
          <year>2013</year>
          ). Tokyo, Japan. (
          <article-title>Aceito para publicação</article-title>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <string-name>
            <surname>Guarino</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Welty</surname>
            ,
            <given-names>C. A.</given-names>
          </string-name>
          (
          <year>2000</year>
          ).
          <article-title>A Formal Ontology of Properties</article-title>
          .
          <source>In Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management</source>
          (pp.
          <fpage>97</fpage>
          -
          <lpage>112</lpage>
          ). Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <string-name>
            <surname>Guarino</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Welty</surname>
            ,
            <given-names>C. A.</given-names>
          </string-name>
          (
          <year>2009</year>
          ).
          <article-title>An Overview of OntoClean</article-title>
          . In S. Staab &amp; R. Studer (Eds.), Handbook on Ontologies (pp.
          <fpage>201</fpage>
          -
          <lpage>220</lpage>
          ). Springer Berlin Heidelberg.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <string-name>
            <surname>Guizzardi</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          (
          <year>2005</year>
          ).
          <article-title>Ontological foundations for structural conceptual models</article-title>
          .
          <source>Netherlands: CTIT.</source>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <string-name>
            <surname>Lopez</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Perez</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Juristo</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          (
          <year>1997</year>
          ).
          <article-title>METHONTOLOGY: from Ontological Art towards Ontological Engineering</article-title>
          (pp.
          <fpage>33</fpage>
          -
          <lpage>40</lpage>
          ).
          <source>Presented at the Proceedings of the AAAI97 Spring Symposium.</source>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <string-name>
            <surname>Niles</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Pease</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          (
          <year>2001</year>
          ).
          <article-title>Towards a standard upper ontology</article-title>
          .
          <source>In Proceedings of the international conference on Formal Ontology in Information Systems - Volume</source>
          <year>2001</year>
          (pp.
          <fpage>2</fpage>
          -
          <lpage>9</lpage>
          ). New York, NY, USA: ACM. doi:
          <volume>10</volume>
          .1145/505168.505170
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <string-name>
            <surname>Prestes</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Carbonera</surname>
            ,
            <given-names>J. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fiorini</surname>
            ,
            <given-names>S. R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jorge</surname>
            ,
            <given-names>V. A. M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abel</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Madhavan</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          , …
          <string-name>
            <surname>Schlenoff</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>Towards a core ontology for robotics and automation</article-title>
          .
          <source>Robotics and Autonomous Systems. doi:10</source>
          .1016/j.robot.
          <year>2013</year>
          .
          <volume>04</volume>
          .005
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <string-name>
            <surname>Studer</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Benjamins</surname>
            ,
            <given-names>V. R.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Fensel</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          (
          <year>1998</year>
          ).
          <article-title>Knowledge engineering: principles and methods</article-title>
          .
          <source>Data &amp; Knowledge Engineering</source>
          ,
          <volume>25</volume>
          (
          <issue>1-2</issue>
          ),
          <fpage>161</fpage>
          -
          <lpage>197</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>