<!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>
      <journal-title-group>
        <journal-title>Workshop on Actionable Knowledge Representation and Reasoning for Robots (AKR³) at Extended Semantic Web Conference
(ESWC), May</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Towards a Knowledge Engineering Methodology for Flexible Robot Manipulation in Everyday Tasks</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Michaela Kümpel</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jan-Philipp Töberg</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vanessa Hassouna</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Philipp Cimiano</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Michael Beetz</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Cluster of Excellence Cognitive Interaction Technology (CITEC), Bielefeld University</institution>
          ,
          <addr-line>Bielefeld</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Institute for Artificial Intelligence, University of Bremen</institution>
          ,
          <addr-line>Bremen</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2024</year>
      </pub-date>
      <volume>27</volume>
      <issue>2024</issue>
      <fpage>0000</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>In the last decade, there have been great advancements in household robotics, enabling robots to autonomously accomplish household tasks. These robots are typically programmed for specific tasks and/ or objects. We hypothesise that the lack of flexibility in fulfilling new ad-hoc task requests can be overcome by a knowledgebased approach, allowing robots to infer how to address a new task or carry out known tasks on new objects. Towards this goal, we propose a knowledge-based methodology that leverages knowledge already existing on the web to construct an ontology supporting robots in reasoning about parameters that influence manipulation actions for execution of task variations on a range of objects1. The ontology comprises object and action information, covering dispositions and afordances as well as task-specific properties. As a proof-of-concept, we manually construct a food-cutting ontology by importing and linking knowledge from relevant ontologies in addition to extracting and semantically enhancing knowledge from unstructured web sources. We demonstrate how robots can query the ontology and translate the contained information into action parameters. We evaluate the feasibility of the created ontology by simulating a robot accessing the ontology for parameterisation of actions to perform task variations of cutting.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Knowledge Engineering</kwd>
        <kwd>Knowledge Acquisition</kwd>
        <kwd>Reasoning</kwd>
        <kwd>Cognitive Robots</kwd>
        <kwd>Flexible Manipulation</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>One of the visions of AI-powered and cognition-enabled robotics are autonomous household robots that
can accomplish everyday tasks requiring robots to perform manipulation actions including pouring,
cutting or cleaning in natural contexts. Realising robots with such capabilities entails several research
challenges for knowledge representation and reasoning. The first challenge is that everyday
manipulation tasks, such as “Cut the bread” or “Bring me a cofee”, are typically highly under-determined. The
second one is that categories of manipulation tasks are broadly scoped as they include, for example,
cutting a large variety of fruits, vegetables, bakery items or meat, with a variety of tools, for a variety of
purposes, in many diferent contexts. Much of the knowledge needed to refine vague tasks and transfer
them to new task variations is contained in instruction web sites like WikiHow, encyclopedic web sites
like Wikipedia, and many other web-based information sources. The key question is how can we make
this abstract knowledge actionable for robots?</p>
      <p>To answer this question, we examine how modern robot control systems work. Accomplishing a
manipulation task can be stated as a reasoning problem: Given a vague task request like “Cut the bread”,
infer how the robot has to move its body in order to achieve the goals implied by the request and
avoid causing unwanted side efects. In the case of cutting bread, we want the robot to create slices of
a desired size and shape, the cuts should be clean, the rest of the bread should not be damaged, and
so on. The body motions of robots can be stated in terms of motion constraints and objectives. For
example, when picking up a knife, constraints are to hold the knife by its handle and to keep the blade
horizontal, and objectives include generating smooth motions and minimising acceleration to avoid
contacting anything other than the target and its underlying surface. The ultimate reasoning task is to
infer the constraints and objectives the body motion of the robot should satisfy and maximise given
the vague task request. Thus, a result of the reasoning could be to infer the correct motion sequence
needed for successful action execution, but it might also include inferring the action parameters needed
to successfully parameterise a general action.</p>
      <p>We propose to bridge the gap between the information accessible in the web and the knowledge
needed by robots to generate perception-guided behaviour by constructing robot-understandable and
-processable ontologies of task knowledge, as motivated in Figure 1. To this end, we present a new
methodology for knowledge engineering that is capable of creating ontologies formalising action and
object knowledge through the concepts of afordance and disposition. We identify manipulation relevant
properties of actions and objects that characterise them in terms that make them executable and thus
actionable for robots. In a simulation experiment, we demonstrate how a robot using the same cognitive
architecture as a real robot can adapt the execution of actions based on knowledge in the created
ontology by asking it to perform the new task of “Quartering an apple” and translating the returned
query results into parameters that influence robot behaviour while performing the cutting motion. In
this way, we show how actions performed by the robot can be directly parameterised by knowledge in
the ontology.</p>
      <p>The concrete contributions to our state of understanding in web-enabled knowledge representation
and reasoning for robots are the following ones:
• We present a general methodology for knowledge engineering supporting robot manipulation
that encodes action and object knowledge in an ontology.
• We show how we have instantiated the methodology in order to model knowledge that is relevant
for the manipulation of fruits and vegetables as a proof-of-concept for our approach.
• We show how a robot queries the knowledge base and translates the returned result into action
parameters for known motions in a virtual environment.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Related Work</title>
      <p>
        Knowledge Engineering for Robotics: The field of knowledge engineering provides multiple, well
researched methodologies for the creation of general or domain-specific ontologies and knowledge
graphs [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. However, knowledge engineering methodologies specifically developed for cognitive
robots are scarce. The approach by Bermejo–Alonso et al. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] describes a modular ontology and
guidelines for using it as a conceptual framework for future ontology engineering but is focused on the
domain of autonomous systems and thus is not suitable to handle the intricacies of robotics. A similar
problem occurs with the approach by Prestes et al. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] that describes a methodology employed by an
IEEE working group to create an upper ontology for the robotics domain by collaborating with three
subgroups. However, the methodology is still very general and relies on a huge amount of available
experts and developers to cover all subgroups. All in all there are no suitable knowledge engineering
methodologies focused on creating ontologies for flexible manipulation execution by cognitive robots.
Knowledge Representation for Cognitive Robotics: There are diferent approaches to
representing knowledge for robotics. KnowRob [
        <xref ref-type="bibr" rid="ref4 ref5">4, 5</xref>
        ] is one of the most influential knowledge and reasoning
frameworks in the field of cognitive robotics [
        <xref ref-type="bibr" rid="ref6 ref7">6, 7</xref>
        ]. Other robotic knowledge frameworks with similar
functionalities are ORO [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], OROSU [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], KR3 [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and PMK [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. KnowRob recently got extended by
the socio-physical model of activities (SOMA) [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], which defines roles of objects during events, their
dispositions as well as afordances for a more flexible task execution [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. It has previously been shown
by Dhanabalachandran et al. [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] how the task of cutting bread can be flexibly adapted if the disposition
of an object does not meet the afordance of another object required for task execution.
Executing Task Variations: Robots need a cognitive architecture for successful task planning and
execution. Some cognitive architectures for robots are SOAR [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] and iCub [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ], but in this work we
use the cognitive robot abstract machine (CRAM) [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ], which has successfully been used for robots
executing household activities such as cooking [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] and setting the table [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ].
      </p>
      <p>
        Correctly executing task variations is still a big challenge in robotics due to the fact that tasks are
often underspecified and assume commonsense knowledge about objects and the environment, which
is hard to extract and represent [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ]. There are various approaches focusing on task sequences and
enabling agents to infer the next step, using image recognition [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ], natural language processing [
        <xref ref-type="bibr" rid="ref22 ref23">22, 23</xref>
        ],
large language models [
        <xref ref-type="bibr" rid="ref24 ref25 ref26">24, 25, 26</xref>
        ] or plan projection for vaguely defined, known tasks [ 27] that can be
used to infer the next action that needs to be performed only if the action itself is already known to the
agent. These approaches are based on the idea that actions are sequences of known motions instead of
general plans that can be parameterised.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3. Methodology Overview</title>
      <p>We propose a five step methodology for creating ontologies that can be accessed by robots for the
autonomous execution of task variations. The complete methodology is visualised in Figure 2 and the
in- and outputs for all five steps are summarised in Table 1. All artefacts and supporting materials
are available in our GitHub repository1. We demonstrate the usability of this methodology for the
exemplary task of Cutting Fruits and Vegetables in Section 4.</p>
      <sec id="sec-3-1">
        <title>3.1. Step 1) - Define Motion Parameters</title>
        <p>The first step necessary for creating a flexible robot manipulation ontology is to define the parameters
that influence the execution of an action. These parameters highly depend on the domain of interest. For
cutting actions the cutting position or the number of repetitions are important, whereas for a pouring
action the viscosity and containment size influence the pouring angle.
1GitHub repository: https://food-ninja.github.io/WebKat-MealRobot/</p>
        <p>The motion parameters have to be aligned with the cognitive architecture of the robot. This work
uses CRAM and its general action plans. The idea behind these general action plans is that a wide range
of actions can be broken down into the same set of body movements. If we consider the cutting action,
it can be broken down into the tasks of picking up, cutting and placing, which can further be broken
down into the body movements of approaching, grasping, lifting (picking up task), approaching,
lowering, lifting (cutting task) and approaching, lowering, lifting (placing task). The same body
motion of approaching needs to be parameterised so that for the picking up task, the tool to be used
for cutting is approached while for the cutting task the object to be cut shall be approached and for
the placing task a placing position is to be approached. While CRAM can resolve such parameters for
optimal positions (like the placing position), it is also able to query an ontology when it can not resolve
a parameter locally.</p>
      </sec>
      <sec id="sec-3-2">
        <title>3.2. Step 2) - Collect Knowledge Sources for the Given Task</title>
        <p>After defining the parameters that influence an action, knowledge sources for the three types of relevant
web knowledge are collected. In general, we diferentiate between i) action knowledge, ii) object
knowledge and iii) knowledge linking the two other knowledge types.</p>
        <p>
          i) Action Knowledge: Action knowledge consists of action verbs that are commonly used in a specific
domain, as well as properties of a specific manipulation action that are necessary for successfully
completing the manipulation task. Additionally, grouping of similar actions into action groups
makes the contained knowledge executable since it can be reasoned about for parameterisation
of actions to achieve task variations.
ii) Object Knowledge: As the name suggests, this knowledge contains all relevant information about
the objects involved in the task execution (e.g. tools, containers, targets) and their usage. On a
foundational level, this includes any properties or features that are relevant for grounding basic
manipulation actions like grasping, holding and transporting to support basic planning. This
knowledge supports the robot in understanding and recognising objects and their purpose during
task execution. Additionally, task-specific object knowledge about object properties relevant for
the current manipulation action needs to be collected.
iii) Knowledge Linking: To connect and link the action and object knowledge, we rely on the concepts
of disposition and afordance . In general, a disposition describes the property of an object, thereby
enabling an agent to perform a certain task [28] as in a knife can be used for cutting, whereas an
afordance describes what an object or the environment ofers an agent [ 29] as in an apple afords
to be cut. In works like [
          <xref ref-type="bibr" rid="ref12 ref13">13, 12</xref>
          ], both concepts are set in relation by stating that dispositions allow
objects to participate in events realising afordances, which are more abstract descriptions of
dispositions.
        </p>
        <p>
          The aforementioned knowledge is collected using multiple types of sources, including (un-)structured
sources [30] as well as large language models (LLMs). A collection of exemplary sources focused on
commonsense and task-specific knowledge can be found in [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ]. Of course, manually creating the
ontology with the help of domain experts is possible, but in this paper we are concerned with the
extraction of knowledge from existing datasets.
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>3.3. Step 3a) - Create Action Groups and Extract Afordances</title>
        <p>In this step, information about the manipulation action is collected. To cover more use cases and get a
better understanding of the action, structured sources are used to collect synonyms and hyponyms of
the main verb. By looking at lexical resources like WordNet [31] and VerbNet [32] as well as semantic
resources like FrameNet [33], other action verbs with a similar meaning or usage are extracted. To
evaluate the relevance of these collected verbs, we propose to analyse unstructured, instruction-focused
corpora like WikiHow2 or, for the cooking domain, Recipe1M+ [34]. WikiHow has the advantage that
its articles describe tasks with diferent levels of granularity, covering high-level (“How to Make an
Apple Pie") as well as low-level task instructions necessary to achieve the high-level tasks (“How to
Core Apples") [35].</p>
        <p>After filtering the initially collected verbs based on their relevance, an analysis of the motion patterns
connected to each verb is performed. This analysis focuses on the diferences between action execution
and how these diferences can be constituted as diferent values for the motion parameters. As an
example, consider the verbs “Halving" and “Slicing" which, among other things, difer in the initial
position where a cut is applied. For “Slicing", the cutting tool is placed at the end of the target object
whereas the tool is placed in the middle for “Halving". Based on these diferences, we propose to
create action groups that summarise all action verbs with a specific set of motion parameters. Now the
generalised action plan is crafted that leaves room for these motion parameters to cover all extracted
action groups. After defining the diferent action groups, an afordance for each representative is created.
This afordance specifies the task to perform as well as the tool to use for performing the task.</p>
      </sec>
      <sec id="sec-3-4">
        <title>3.4. Step 3b) - Extract Object Knowledge and Dispositions</title>
        <p>In addition to the action knowledge, this step collects all relevant information about the participating
objects. This includes knowledge about tools and supporting objects (e.g. cutting board) as well as parts
of the environment (e.g. drawers) and depends on the scope of the manipulation task to perform. So
information about environment parts are not necessary when the robot is operating at a static position
where all necessary objects are in grasping range. We propose to focus on a specific category or group of
objects (e.g. “Cutting fruits &amp; vegetables", “Pouring liquids"). Relevant objects from these groups are not
chosen manually but extracted from domain-specific object taxonomies, if available. Additional filtering
regarding their relevance is done with instruction-focused corpora like WikiHow or Recipe1M+ [34].</p>
        <p>
          After collecting all relevant objects, the relevant object properties are selected. These properties
correlate with the aforementioned task-specific object knowledge since they depend on the manipulation
task to be performed. After choosing the properties relevant for executing the intended manipulation
tasks, the property values for each object are extracted as well. Since this knowledge is often very
specific or rooted in commonsense, this extraction is not straightforward and may rely on specific
corpora or LLMs [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ]. Lastly, based on the relevant object properties, dispositions are created for each
object. These disposition highlight the properties that constitute diferences in the task execution and
influence the motions necessary for successfully performing the manipulation task. For example, if
the robot wants to cut a fruit that has a peel, the task to remove the peel needs to be performed before
additional cutting is executed.
        </p>
      </sec>
      <sec id="sec-3-5">
        <title>3.5. Step 4) - Relate Object to Action Knowledge</title>
        <p>
          In this step, the user links afordances to dispositions. For this connection in the TBox, we propose to
use the afordsTask, afordsTrigger and hasDisposition relations introduced in the SOMA ontology [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ],
as exemplified in Figure 3.
        </p>
        <p>hasDisposition 
(
 (afordsTask
 (afordsTrigger
 )</p>
        <p>(    )))</p>
      </sec>
      <sec id="sec-3-6">
        <title>3.6. Step 5) - Link Ontology to Cognitive Architecture</title>
        <p>Lastly, the created ontology is connected to the cognitive architecture employed for task and motion
planning. The motion parameters, extracted action groups and the generalised manipulation plan(s)
are considered and diferent concepts in the plan are mapped to their representation in the ontology.
Similarly, the objects and their properties are grounded through the perception system. This is a
crucial and dificult part for many cognitive architectures. For the CRAM cognitive architecture for
example, this step includes the inference of action parameters at runtime to specialise and contextualise
a generalised action plan, which is called an action designator. Each designator is connected to a
designator resolver that refines these generalised instructions into highly specific directives the robot
can follow precisely. When the default resolver faces challenges due to missing data or incomplete
knowledge, a custom resolver comes into play. One such custom resolver is a knowledge base interface,
enabling the robot to seek the missing knowledge necessary for task execution in e.g. an ontology.</p>
        <p>In order for a robot to be able to use an ontology as a designator resolver, the returned query
parameters need to be available in the general action plan. If the robot shall additionally be enabled
to perform task variations, the action plan needs to be modified to allow for the parameterisation of
motions.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Food Cutting Ontology</title>
      <p>
        In this section we describe how we manually instantiated the methodology to develop a food_cutting
ontology as a proof of concept for the feasibility of our methodology. The created ontology comprises
information relevant for cutting certain fruits and vegetables as well as bread. The information on how
to cut bread is partly extracted from the work by Dhanabalachandran et al. [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ].
      </p>
      <p>Define Motion Parameters Research suggests that a small number of 15 action verbs occur in
more than 50% of all actions in WikiHow instructions [36]. For each of these action verbs, it is crucial
to examine the diferences in motion and behaviour. All movements in the general action plan are
parameterised locally to search for optimal positions but if the motions are to be parameterised by
an ontology, the parameters returned by queries to the ontology need to be available as variables in
the action plan. For the cutting task, we identify the cutting position and the number of repetitions to
strongly influence action execution. As mentioned before, a halving position will difer from a slicing
position. In the same manner, the number of cuts performed for halving is diferent to the number of
cuts performed in slicing.</p>
      <p>
        Collect Knowledge Sources: For the domain of “Cutting fruits and vegetables", we rely on the
SOMA ontology [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] to describe general movement and manipulation concepts. For additional action
knowledge, we use unstructured sources like cooking videos (e.g. [37]), recipes (e.g. Recipe1M+ [34]) or
how-to instructions (e.g. WikiHow corpus [38]). For the object knowledge about fruits and vegetables,
we employ parts of FoodOn [39] and the Plant Ontology [40] as a taxonomy, but we use unstructured
sources like biology textbooks [41] and cooking videos [37] to gather details about their task-specific
properties.
      </p>
      <p>To link these diferent sources, we reuse terms of the upper ontology of SOMA, as it is based on
Dolce+ D&amp;S Ultralite (DUL) [42]. In DUL, an action executes a task and can have a physical object
as a participant. From SOMA we know that cutting is a task. We add the information that fruits and
vegetables from the FoodOn taxonomy are physical objects. A cutting action in SOMA can be executed
by the robot as it translates the cutting action into subtasks which are broken down into motions. From
the ontology, the robot can further infer some of the action parameters needed for performing the task,
e.g. what tool to grasp, which object to cut, the cutting position or the number of repetitions needed for
the specific cutting action.
Creating Cutting Action Groups: We begin by gathering hyponyms for “Cutting" from
FrameNet [33], WordNet [31] and VerbNet [32] and filter them according to their suitability for the
cooking domain. We manually exclude all hyponyms with a meaning that is not applicable (i.e.
“amputate”) before filtering them based on their occurrences in the WikiHow corpus [ 38]. For each verb, we
look for its present and past tense (“dice" &amp; “diced”) as well as its participle form (“dicing”). By using
the Part-of-Speech-Tagger of the Stanford Parser [43], we verify that each occurrence is in fact a verb.</p>
      <p>Based on these results, we create action groups spanning most of the collected verbs. This has the
advantage that verbs with few occurrences (e.g. cube occurs in only 133 sentences) can be included in
our ontology with little additional work. By doing so, we create six action groups covering 13 diferent
verbs. These verbs cover 99.72% of sentences in which a hyponym of “Cutting" occurs and roughly 6%
of all instructions in WikiHows “Food &amp; Entertaining" category. The analysis of occurrences of cutting
actions in WikiHow and their respective action groups are shown in Table 2.</p>
      <p>We diferentiate the action groups based on five action properties: the cutting position, the number
of repetitions, the kind of input object (whole food or previously cut food part), the resulting objects
and the dependencies to prior tasks. A summary of these properties can be seen in Table 3.</p>
      <sec id="sec-4-1">
        <title>Extract Knowledge about Fruits and Vegetables: When cutting fruits and vegetables, we do</title>
        <p>
          not only have to consider diferent knives that have to be used (as done in [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]), but also information
about the cuttable objects’ anatomical parts. We gather the information about which parts exist and
are relevant for the cutting tasks by combining knowledge from biological books about fruit anatomy
(e.g. [41]) with instructional videos from the cooking domain (e.g. [37]).
        </p>
        <p>We hypothesise that no matter which anatomical parts are present in a fruit or vegetable, the
important influence factor for action parameterization in cooking activities is the parts’ edibility. On
the one hand, both an apple and an orange do have a peel, but peeling is only mandatory for an orange
since its peel is inedible3, while an apple will usually only be peeled if it is specifically stated in the
instruction of a recipe. On the other hand, both an apple and an orange do have some form of a core,
but since the core of an apple is inedible (i.e. usually removed before eating), we can infer that it has to
be removed before eating.</p>
        <p>Including task-specific object properties in the ontology enables robots to infer that specific anatomical
parts need to be removed during task execution. In general, we distinguish between edible parts (e.g.
apple skin), parts that must be removed before eating due to health or taste reasons (e.g. orange peel)
and parts that should be removed but can be eaten if necessary (e.g. apple core).</p>
        <p>
          Relate Object to Action Knowledge in the Ontology: We represent all relevant object and task
properties as relations in our food_cutting ontology. To provide more details about the developed
ontology, we present an overview over the amount of created relations in Table 4. To represent
the concepts of afordance and disposition, we employ the relations afordsTask, afordsTrigger and
hasDisposition from the SOMA ontology [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]. The relations hasEdibility and hasPart directly represent
the task-specific object knowledge, which is necessary for action execution. Lastly, we employ the
3Although sometimes orange peels are used for cooking, they still need to be removed from the orange beforehand.
afordsPosition, hasInputObject, hasResultObject, repetitions and requiresPriorTask relations to represent
the properties for each action group, as seen in Table 3.
        </p>
        <p>
          Link Ontology to CRAM We employ the CRAM cognitive architecture [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ]. We developed a custom
designator resolver for our generalised action designator that acts as a vital link between the robot and
the food_cutting ontology. The robotic agent can access the ontology either through a SPARQL API4
or by running the knowledge processing framework KnowRob that can easily call a module5 querying
the ontology using Prolog.
        </p>
        <p>In Figure 4 an example SPARQL query from the set of queries employed by the simulated robot
in Section 6 is shown. The query in Figure 4 is performed once before the execution so that the robot
knows whether any prior actions need to be executed. The remaining queries can be found in our
GitHub repository.</p>
        <p>PREFIX owl: &lt;http://www.w3.org/2002/07/owl# &gt;
PREFIX cut: &lt;http://www.ease-crc.org/ont/food_cutting# &gt;
PREFIX soma: &lt;http://www.ease-crc.org/ont/SOMA.owl# &gt;
PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema# &gt;
SELECT ?priortask WHERE {
${verb} rdfs:subClassOf* ?task.
?task owl:onProperty cut:requiresPriorTask .</p>
        <p>?task owl:someValuesFrom ?priortask.</p>
        <p>}</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. From Manual to Automated Knowledge Extraction</title>
      <p>We envision our methodology to be as automated as possible to better support researchers and
practitioners alike in preparing ontologies for their cognitive robots working on everyday manipulation
tasks. As a step in this direction, we propose a pipeline for automating the knowledge extraction for the
exemplary use case of “Cutting fruits and vegetables", for which we manually created the food_cutting
ontology in Section 4. In future work we want to evaluate diferent knowledge sources for this specific
domain. An overview over the pipeline for our experiment is visualised in Figure 5.</p>
      <p>In general, the pipeline focuses on step 3) (cp. Sections 3.3 and 3.4) of our proposed methodology. As
can be seen in Figure 5, we diferentiate between the action to perform (“Cutting") and the object group
(“Fruits &amp; Vegetables") to focus on. For the action knowledge, we first collect synonyms and hyponyms
and filter them based on their occurrence in the WikiHow corpus, as we explained in Section 4. All
relevant synonyms and hyponyms are then used as a foundation for creating action groups, a step that
is currently performed manually and is hard to automate. After the action group-specific properties are
collected, the afordances are created.
4SPARQL API: http://grlc.io/api/Food-Ninja/WebKat-MealRobot/SPARQLfiles/
5KnowRob module: https://github.com/Food-Ninja/knowrob_cutting</p>
      <p>For the object knowledge, we first extract all 257 diferent fruits and all 31 diferent vegetables from
FoodOn [39]. Of course, not all of these objects are of the same relevance for the cooking domain
(e.g. beechnut), so we filter them according to their occurrence in WikiHow articles from the “Food &amp;
Entertaining" category as well as the Recipe1M+ corpus [34]. We only include fruits and vegetables that
occur in at least 1% of steps in either corpus, which results in 18 remaining fruits and one remaining
vegetable. After this filtering step, we try multiple diferent knowledge sources for gathering knowledge
about anatomical parts, their edibility and a fitting removal tool. These sources include word embeddings
like ConceptNet Numberbatch [44], GloVe [45] and NASARI [46], large language models like ChatGPT
and GPT-4 [47] and filtering based on the Recipe1M+ corpus [ 34]. Based on the extracted property
information, we create suitable dispositions in our ontology. These dispositions can then be linked to
the afordances, as explained in Section 3.5.</p>
    </sec>
    <sec id="sec-6">
      <title>6. Experiment: Performing Cutting Tasks</title>
      <p>To further demonstrate how a robot can use the ontology to parameterise its action plan of cutting, we
conducted an experiment where a robot is assigned the task to “Quarter the apple”. Simulations ofer a
method to evaluate robot performance in a controlled yet realistic environment as limitless trials can
be run without any risk of damaging the system. The simulated robot is equipped with all software
frameworks the real robot would use and also uses CRAM as cognitive architecture. The objects in the
simulation are named like ontological concepts (i.e. knife and apple) and are in direct sight of the robot
since we are only interested in successful task execution. In this case, “successful execution" means
that the robot achieves the result of a quartered apple or a sliced cucumber without any unexpected or
illegitimate motions or states during the execution.</p>
      <p>The simulated experiment is shown in Figure 6. Before executing the cutting task, the robot will pose
several queries to the food_cutting ontology, which we discuss for quartering an apple:
1. What tool should be used for cutting? The returned query result is to use any cutting tool. Since
the perceived knife is a cutting tool, the robot will grasp it for cutting the apple.
2. Is any prior action required? The robot will query the ontology for any inedible food parts. The
apple has a part that should be removed - its core, which will be returned as query result.
3. Does the given action depend on any prior actions? As described in Table 3, the query will return
halving as a prior action for quartering.
4. How many repetitions are needed to perform the action? A halving / quartering action implies
that the robot needs to cut just once.
Then, before performing each cutting motion, the robot will query the ontology to retrieve to following
information:
1. What is the cutting position that needs to be used? For halving / quartering, the cut should be
made in the middle of the object, which is returned from the ontology as halving_position.
2. What is the input object to cut? This query is asked at each step (i.e. for halving and quartering,
which actually is halving of both halves). For halving, the input object is the food object. When
quartering, it is the previously created apple halve that should be halved again.
3. What is the result object of cutting? The robot needs to be aware of what the resulting objects of
a cutting action are. Otherwise, it would not be able to diferentiate between an apple halve and
an apple quarter.</p>
      <p>So, to successfully perform the task of “Quartering the apple”, the robot would query the manually
created ontology eleven times using SPARQL.</p>
    </sec>
    <sec id="sec-7">
      <title>7. Conclusion &amp; Future Work</title>
      <p>The proposed methodology for knowledge engineering aims to overcome the lack of flexibility in
household robotics by leveraging the knowledge that already exists on the web to construct a
manipulationrelevant ontology. This ontology supports robots in reasoning on how to manipulate specific objects by
providing information about dispositions, afordances and task-specific properties, as well as action
groups and their operational properties. As a proof-of-concept, we manually construct a food_cutting
ontology using web knowledge. We evaluate its feasibility by simulating the task “Quarter an apple” and
translating the queried results into parameters influencing cutting motions. In this way, we show how
our methodology enables a robot to perform a new task by parameterising a generalised manipulation
plan using knowledge from the ontology.</p>
      <p>In future work, it will be important to further automate the methodology. We will compare diferent
methods for extracting the relevant knowledge automatically. Some early ideas focus on knowledge
extraction from how to corpora and recipes (e.g. WikiHow, Recipe1M+ [34]) as well as using LLMs as a
knowledge source (e.g. either directly through prompting or by using OntoGPT [48]). Our focus lies on
the creation of the action groups, the extraction of the task-specific knowledge and action properties and
the relation of these information in an ontology. Additionally, the methodology should be able to handle
food with more complex anatomical parts like stones. Regarding the evaluation of our methodology
and the resulting ontologies, we want to investigate further techniques for a quantitative assessment
instead of a qualitative simulation, like using question-answering to evaluate the extracted knowledge.
Finally, further work is needed on extracting result state information from instructions and mapping
them to specific verbs to fully incorporate the verb “Cut" as a general action.</p>
    </sec>
    <sec id="sec-8">
      <title>Acknowledgements</title>
      <p>The research reported in this paper has been partially supported by the German Federal Ministy of
Education and Research; Project-ID 16DHBKI047 “IntEL4CoRo - Integrated Learning Environment for
Cognitive Robotics”, University of Bremen as well as the German Research Foundation DFG, as part
of Collaborative Research Center (Sonderforschungsbereich) 1320 “EASE - Everyday Activity Science
and Engineering”, University of Bremen (http://www.ease-crc.org/). The research was conducted in
subproject R04 “Cognition-enabled execution of everyday actions”. We also want to thank the Joint
Research Center on Cooperative and Cognition-enabled AI (https://coai-jrc.de/) for its support.
Models, in: 2023 Seventh IEEE International Conference on Robotic Computing (IRC), IEEE, Laguna
Hills, CA, USA, 2023, pp. 190–197. doi:10.1109/IRC59093.2023.00039.
[27] G. Kazhoyan, M. Beetz, Executing Underspecified Actions in Real World Based on Online Projection,
in: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE
Computer Society, Macau, China, 2019, pp. 5156–5163. doi:10.1109/IROS40897.2019.8967867.
[28] M. T. Turvey, Ecological foundations of cognition: Invariants of perception and action., in: H. L.</p>
      <p>Pick, P. W. van den Broek, D. C. Knill (Eds.), Cognition: Conceptual and Methodological Issues.,
American Psychological Association, Washington, 1992, pp. 85–117. doi:10.1037/10564-004.
[29] M. H. Bornstein, J. J. Gibson, The Ecological Approach to Visual Perception, The Journal of</p>
      <p>Aesthetics and Art Criticism 39 (1980) 203. doi:10.2307/429816. arXiv:10.2307/429816.
[30] P. Hitzler, M. Krötzsch, S. Rudolph, Foundations of Semantic Web Technologies, Chapman &amp;</p>
      <p>Hall/CRC Textbooks in Computing, CRC Press, Boca Raton, 2010.
[31] G. A. Miller, WordNet: A Lexical Database for English, Communications of the ACM 38 (1995)
39–41. doi:10.1145/219717.219748.
[32] K. K. Schuler, VerbNet: A Broad-Coverage, Comprehensive Verb Lexicon, Ph.D. thesis, University
of Pennsylvania, 2005.
[33] C. F. Baker, C. J. Fillmore, J. B. Lowe, The Berkeley FrameNet Project, in: Proceedings of the
36th Annual Meeting on Association for Computational Linguistics -, volume 1, Association
for Computational Linguistics, Montreal, Quebec, Canada, 1998, p. 86. doi:10.3115/980845.
980860.
[34] J. Marín, A. Biswas, F. Ofli, N. Hynes, A. Salvador, Y. Aytar, I. Weber, A. Torralba, Recipe1M+:
A Dataset for Learning Cross-Modal Embeddings for Cooking Recipes and Food Images, IEEE
Transactions on Pattern Analysis and Machine Intelligence 43 (2021) 187–203. doi:10.1109/
TPAMI.2019.2927476.
[35] S. Zhou, L. Zhang, Y. Yang, Q. Lyu, P. Yin, C. Callison-Burch, G. Neubig, Show Me More Details:
Discovering Hierarchies of Procedures from Semi-structured Web Data, in: Proceedings of the
60th Annual Meeting of the Association for Computational Linguistics, Association for
Computational Linguistics, Dublin, Ireland, 2022, pp. 2998–3012. doi:10.18653/v1/2022.acl-long.214.
arXiv:2203.07264.
[36] D. Nyga, M. Beetz, Everything Robots Always Wanted to Know about Housework (But were afraid
to ask), in: A. T. de Almeida, U. Nunes, E. Guglielmelli (Eds.), Proceedings of the 2012 IEEE/RSJ
International Conference on Intelligent Robots and Systems (IROS 2012), IEEE, Vilamoura, Algarve,
Portugal, 2012, pp. 243–250. doi:10.1109/IROS.2012.6385923.
[37] Epicurious, How To Slice Every Fruit | Method Mastery | Epicurious, 2019. URL: https://youtu.be/</p>
      <p>VjINuQX4hbM.
[38] L. Zhang, Q. Lyu, C. Callison-Burch, Reasoning about Goals, Steps, and Temporal Ordering with
WikiHow, in: Proceedings of the 2020 Conference on Empirical Methods in Natural Language
Processing (EMNLP), Association for Computational Linguistics, Online, 2020, pp. 4630–4639.
doi:10.18653/v1/2020.emnlp-main.374.
[39] D. M. Dooley, E. J. Grifiths, G. S. Gosal, P. L. Buttigieg, R. Hoehndorf, M. C. Lange, L. M. Schriml,
F. S. L. Brinkman, W. W. L. Hsiao, FoodOn: A harmonized food ontology to increase global
food traceability, quality control and data integration, npj Sci Food 2 (2018) 23. doi:10.1038/
s41538-018-0032-6.
[40] P. Jaiswal, S. Avraham, K. Ilic, E. A. Kellogg, S. McCouch, A. Pujar, L. Reiser, S. Y. Rhee, M. M.</p>
      <p>Sachs, M. Schaefer, L. Stein, P. Stevens, L. Vincent, D. Ware, F. Zapata, Plant Ontology (PO):
A Controlled Vocabulary of Plant Structures and Growth Stages, Comparative and Functional
Genomics 6 (2005) 388–397. doi:10.1002/cfg.496.
[41] R. Crang, S. Lyons-Sobaski, R. Wise, Fruits, Seeds, and Seedlings, in: Plant Anatomy : A
ConceptBased Approach to the Structure of Seed Plants, Springer International Publishing Imprint: Springer,
Cham, 2018, pp. 649–678.
[42] V. Presutti, A. Gangemi, Dolce+ D&amp;S Ultralite and its main ontology design patterns, in: P. Hitzler,
A. Gangemi, K. Janowicz, A. Krisnadhi, V. Presutti (Eds.), Ontology Engineering with Ontology
Design Patterns: Foundations and Applications, number 25 in Studies on the Semantic Web, AKA
GmbH Berlin, Berlin, Germany, 2016, pp. 81–103.
[43] C. D. Manning, M. Surdeanu, J. Bauer, J. Finkel, S. J. Bethard, D. McClosky, The Stanford
CoreNLP Natural Language Processing Toolkit, in: Proceedings of the 52nd Annual Meeting of
the Association for Computational Linguistics: System Demonstrations, 2014, pp. 55–60. URL:
http://www.aclweb.org/anthology/P/P14/P14-5010.
[44] R. Speer, J. Chin, C. Havasi, ConceptNet 5.5: An Open Multilingual Graph of General Knowledge,</p>
      <p>AAAI 31 (2017). doi:10.1609/aaai.v31i1.11164.
[45] J. Pennington, R. Socher, C. Manning, Glove: Global Vectors for Word Representation, in:
Proceedings of the 2014 Conference on Empirical Methods in Natural Language
Processing (EMNLP), Association for Computational Linguistics, Doha, Qatar, 2014, pp. 1532–1543.
doi:10.3115/v1/D14-1162.
[46] J. Camacho-Collados, M. T. Pilehvar, R. Navigli, NASARI: A Novel Approach to a
SemanticallyAware Representation of Items, in: Proceedings of the 2015 Conference of the North American
Chapter of the Association for Computational Linguistics: Human Language Technologies, Denver,
CO, 2015, pp. 567–577. URL: http://aclweb.org/anthology/N/N15/N15-1059.pdf.
[47] OpenAI, GPT-4 Technical Report, Technical Report, OpenAI, 2023. URL: https://cdn.openai.com/
papers/gpt-4.pdf.
[48] J. H. Caufield, H. Hegde, V. Emonet, N. L. Harris, M. P. Joachimiak, N. Matentzoglu, H. Kim,
S. A. Moxon, J. T. Reese, M. A. Haendel, P. N. Robinson, C. J. Mungall, OntoGPT, Zenodo, 2023.
doi:10.5281/ZENODO.10383405.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>R.</given-names>
            <surname>Iqbal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. A. A.</given-names>
            <surname>Murad</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mustapha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N. M.</given-names>
            <surname>Sharef</surname>
          </string-name>
          ,
          <article-title>An Analysis of Ontology Engineering Methodologies: A Literature Review</article-title>
          ,
          <source>Res. J. Appl. Sci. Eng</source>
          . Technol.
          <volume>6</volume>
          (
          <year>2013</year>
          )
          <fpage>2993</fpage>
          -
          <lpage>3000</lpage>
          . URL: https://pdfs.semanticscholar.org/c017/bfc3d6c2b7fb3f6d2042b6cd483a63efce87.pdf.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>J.</given-names>
            <surname>Bermejo-Alonso</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sanz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Rodríguez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Hernández</surname>
          </string-name>
          ,
          <article-title>Ontology Engineering for the Autonomous Systems Domain</article-title>
          , in: A.
          <string-name>
            <surname>Fred</surname>
            ,
            <given-names>J. L. G.</given-names>
          </string-name>
          <string-name>
            <surname>Dietz</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          <string-name>
            <surname>Liu</surname>
          </string-name>
          , J. Filipe (Eds.),
          <source>Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management</source>
          , volume
          <volume>348</volume>
          , Springer Berlin Heidelberg, Berlin, Heidelberg,
          <year>2013</year>
          , pp.
          <fpage>263</fpage>
          -
          <lpage>277</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>642</fpage>
          -37186-8_
          <fpage>17</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>E.</given-names>
            <surname>Prestes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Chibani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Safiotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Schlenof</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Gérard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sanz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. E.</given-names>
            <surname>Barreto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Madhavan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Amirat</surname>
          </string-name>
          ,
          <article-title>Towards an upper ontology and methodology for robotics and automation</article-title>
          ,
          <source>in: Proceedings of the 2012 ACM Conference on Ubiquitous Computing</source>
          ,
          <string-name>
            <surname>ACM</surname>
          </string-name>
          , Pittsburgh Pennsylvania,
          <year>2012</year>
          , pp.
          <fpage>873</fpage>
          -
          <lpage>882</lpage>
          . doi:
          <volume>10</volume>
          .1145/2370216.2370414.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Beßler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Haidu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pomarlan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. K.</given-names>
            <surname>Bozcuoglu</surname>
          </string-name>
          , G. Bartels, KnowRob
          <volume>2</volume>
          .0
          <article-title>- A 2nd Generation Knowledge Processing Framework for Cognition-enabled Robotic Agents</article-title>
          , in: A.
          <string-name>
            <surname>Zelinsky</surname>
          </string-name>
          , F. Park (Eds.),
          <source>Proceedings of the 2018 IEEE International Conference on Robotics and Automation</source>
          , IEEE, Brisbane, Australia,
          <year>2018</year>
          , pp.
          <fpage>512</fpage>
          -
          <lpage>519</lpage>
          . doi:
          <volume>10</volume>
          .1109/ICRA.
          <year>2018</year>
          .
          <volume>8460964</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>M.</given-names>
            <surname>Tenorth</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          , KNOWROB - Knowledge
          <string-name>
            <surname>Processing</surname>
          </string-name>
          for Autonomous Personal Robots,
          <source>in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</source>
          , IEEE, St. Louis,
          <string-name>
            <surname>MO</surname>
          </string-name>
          , USA,
          <year>2009</year>
          , pp.
          <fpage>4261</fpage>
          -
          <lpage>4266</lpage>
          . doi:
          <volume>10</volume>
          .1109/IROS.
          <year>2009</year>
          .
          <volume>5354602</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>A.</given-names>
            <surname>Olivares-Alarcos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Beßler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Khamis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. J.</given-names>
            <surname>Gonçalves</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. K.</given-names>
            <surname>Habib</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Bermejo-Alonso</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Barreto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Diab</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rosell</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Quintas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Olszewska</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Nakawala</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Pignaton</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Gyrard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Borgo</surname>
          </string-name>
          , G. Alenyà,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <surname>A Review</surname>
          </string-name>
          and
          <article-title>Comparison of Ontology-based Approaches to Robot Autonomy, The Knowledge Engineering Review 34 (</article-title>
          <year>2019</year>
          )
          <fpage>1</fpage>
          -
          <lpage>38</lpage>
          . doi:
          <volume>10</volume>
          .1017/ S0269888919000237.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>M.</given-names>
            <surname>Thosar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Zug</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. M.</given-names>
            <surname>Skaria</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Jain</surname>
          </string-name>
          ,
          <article-title>A Review of Knowledge Bases for Service Robots in Household Environments</article-title>
          ,
          <source>in: Proceedings of the 6th International Workshop on Artificial Intelligence and Cognition</source>
          , CEUR-WS.org, Palermo, Italy,
          <year>2018</year>
          , pp.
          <fpage>98</fpage>
          -
          <lpage>110</lpage>
          . URL: https://ceur-ws.
          <source>org/</source>
          Vol-
          <volume>2418</volume>
          /paper11.pdf.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>S.</given-names>
            <surname>Lemaignan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Ros</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Mösenlechner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Alami</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Beetz, ORO, a knowledge management platform for cognitive architectures in robotics</article-title>
          , in: R. C. Luo, H. Asama (Eds.),
          <source>Proceedings of the 2nd IEEE/RSJ International Conference on Intelligent Robots and Systems</source>
          , IEEE, Taipei, Taiwan,
          <year>2010</year>
          , pp.
          <fpage>3548</fpage>
          -
          <lpage>3553</lpage>
          . doi:
          <volume>10</volume>
          .1109/IROS.
          <year>2010</year>
          .
          <volume>5649547</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>P. J.</given-names>
            <surname>Gonçalves</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. M.</given-names>
            <surname>Torres</surname>
          </string-name>
          ,
          <article-title>Knowledge representation applied to robotic orthopedic surgery</article-title>
          ,
          <source>Robotics and Computer-Integrated Manufacturing</source>
          <volume>33</volume>
          (
          <year>2015</year>
          )
          <fpage>90</fpage>
          -
          <lpage>99</lpage>
          . doi:
          <volume>10</volume>
          .1016/j.rcim.
          <year>2014</year>
          .
          <volume>08</volume>
          .014.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>S.</given-names>
            <surname>Zhang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sridharan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Gelfond</surname>
          </string-name>
          , J. Wyatt, KR$^
          <article-title>3$: An Architecture for Knowledge Representation and Reasoning in Robotics</article-title>
          ,
          <source>in: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR</source>
          <year>2014</year>
          ), arXiv, Vienna, Austria,
          <year>2014</year>
          . doi:
          <volume>10</volume>
          .48550/ARXIV. 1405.0999.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>M.</given-names>
            <surname>Diab</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Akbari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. Ud</given-names>
            <surname>Din</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rosell</surname>
          </string-name>
          ,
          <string-name>
            <surname>PMK-A Knowledge Processing</surname>
          </string-name>
          <article-title>Framework for Autonomous Robotics Perception</article-title>
          and Manipulation,
          <source>Sensors</source>
          <volume>19</volume>
          (
          <year>2019</year>
          )
          <article-title>1166</article-title>
          . doi:
          <volume>10</volume>
          .3390/ s19051166.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>D.</given-names>
            <surname>Beßler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Porzel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pomarlan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Vyas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Höfner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Malaka</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Bateman</surname>
          </string-name>
          ,
          <article-title>Foundations of the Socio-physical Model of Activities (SOMA) for Autonomous Robotic Agents</article-title>
          ,
          <source>in: Formal Ontology in Information Systems</source>
          , volume
          <volume>344</volume>
          <source>of Frontiers in Artificial Intelligence and Applications</source>
          , IOS Press, Amsterdam,
          <year>2022</year>
          , pp.
          <fpage>159</fpage>
          -
          <lpage>174</lpage>
          . URL: https://ebooks.iospress.nl/doi/10.3233/FAIA210379. arXiv:
          <year>2011</year>
          .11972.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>D.</given-names>
            <surname>Beßler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Porzel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pomarlan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Malaka</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Bateman</surname>
          </string-name>
          ,
          <article-title>A Formal Model of Afordances for Flexible Robotic Task Execution</article-title>
          ,
          <source>in: Frontiers in Artificial Intelligence and Applications - Volume 325: ECAI</source>
          <year>2020</year>
          , volume
          <volume>325</volume>
          <source>of Frontiers in Artificial Intelligence and Applications</source>
          , IOS Press, Santiago de Compostela, Spain,
          <year>2020</year>
          , pp.
          <fpage>2425</fpage>
          -
          <lpage>2432</lpage>
          . doi:
          <volume>10</volume>
          .3233/FAIA200374.
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>K.</given-names>
            <surname>Dhanabalachandran</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Hassouna</surname>
          </string-name>
          ,
          <string-name>
            <surname>M. M. Hedblom</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Kümpel</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          <string-name>
            <surname>Leusmann</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Beetz</surname>
          </string-name>
          , Cutting Events:
          <article-title>Towards Autonomous Plan Adaption by Robotic Agents through Image-Schematic Event Segmentation</article-title>
          ,
          <source>in: Proceedings of the 11th Knowledge Capture Conference, K-CAP '21</source>
          ,
          <string-name>
            <surname>Association</surname>
          </string-name>
          for Computing Machinery, New York, NY, USA,
          <year>2021</year>
          , pp.
          <fpage>25</fpage>
          -
          <lpage>32</lpage>
          . doi:
          <volume>10</volume>
          .1145/3460210. 3493585.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>J. E.</given-names>
            <surname>Laird</surname>
          </string-name>
          ,
          <source>The Soar Cognitive Architecture</source>
          , MIT Press, Cambridge, MA,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>D.</given-names>
            <surname>Vernon</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            von
            <surname>Hofsten</surname>
          </string-name>
          , L. Fadiga,
          <source>The iCub Cognitive Architecture</source>
          , volume
          <volume>11</volume>
          , Springer Berlin Heidelberg, Berlin, Heidelberg,
          <year>2010</year>
          , pp.
          <fpage>121</fpage>
          -
          <lpage>153</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>642</fpage>
          -16904-
          <issue>5</issue>
          _
          <fpage>7</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Mösenlechner</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Tenorth, CRAM - A Cognitive Robot Abstract Machine for Everyday Manipulation in Human Environments</article-title>
          , in: R. C. Luo, H. Asama (Eds.),
          <source>Proceedings of the 2nd IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS</source>
          <year>2010</year>
          ), IEEE, Taipei, Taiwan,
          <year>2010</year>
          , pp.
          <fpage>1012</fpage>
          -
          <lpage>1017</lpage>
          . doi:
          <volume>10</volume>
          .1109/IROS.
          <year>2010</year>
          .
          <volume>5650146</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U.</given-names>
            <surname>Klank</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Kresse</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Maldonado</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Mösenlechner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Pangercic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Rühr</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Tenorth</surname>
          </string-name>
          , Robotic Roommates Making Pancakes,
          <source>in: 2011 11th IEEE-RAS International Conference on Humanoid Robots</source>
          ,
          <string-name>
            <surname>IEEE</surname>
          </string-name>
          , Bled, Slovenia,
          <year>2011</year>
          , pp.
          <fpage>529</fpage>
          -
          <lpage>536</lpage>
          . doi:
          <volume>10</volume>
          .1109/Humanoids.
          <year>2011</year>
          .
          <volume>6100855</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>G.</given-names>
            <surname>Kazhoyan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Stelter</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F. K.</given-names>
            <surname>Kenfack</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Koralewski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <article-title>The Robot Household Marathon Experiment</article-title>
          , in: 2021
          <source>IEEE International Conference on Robotics and Automation (ICRA)</source>
          ,
          <source>IEEE Computer Society, Xi'an, China</source>
          ,
          <year>2021</year>
          , pp.
          <fpage>9382</fpage>
          -
          <lpage>9388</lpage>
          . doi:
          <volume>10</volume>
          .1109/ICRA48506.
          <year>2021</year>
          .
          <volume>9560774</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>J.-P.</given-names>
            <surname>Töberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.-C. N.</given-names>
            <surname>Ngomo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Cimiano</surname>
          </string-name>
          ,
          <article-title>Commonsense knowledge in cognitive robotics: A systematic literature review</article-title>
          ,
          <source>Front. Robot. AI</source>
          <volume>11</volume>
          (
          <year>2024</year>
          ). doi:
          <volume>10</volume>
          .3389/frobt.
          <year>2024</year>
          .
          <volume>1328934</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>I. G.</given-names>
            <surname>Ramirez-Alpizar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Hiraki</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Harada</surname>
          </string-name>
          ,
          <article-title>Cooking Actions Inference based on Ingredient's Physical Features</article-title>
          ,
          <source>in: 2021 IEEE/SICE International Symposium on System Integration (SII)</source>
          , IEEE, Iwaki, Fukushima, Japan,
          <year>2021</year>
          , pp.
          <fpage>195</fpage>
          -
          <lpage>200</lpage>
          . doi:
          <volume>10</volume>
          .1109/IEEECONF49454.
          <year>2021</year>
          .
          <volume>9382721</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <given-names>D.</given-names>
            <surname>Nyga</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Roy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Paul</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Park</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pomarlan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beetz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Roy</surname>
          </string-name>
          ,
          <article-title>Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge</article-title>
          , in
          <source>: Proceedings of The 2nd Conference on Robot Learning (CoRL</source>
          <year>2018</year>
          ), volume
          <volume>87</volume>
          , PMLR, Zurich, Switzerland,
          <year>2018</year>
          , pp.
          <fpage>714</fpage>
          -
          <lpage>723</lpage>
          . URL: https://proceedings.mlr.press/v87/nyga18a.html.
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [23]
          <string-name>
            <given-names>I.</given-names>
            <surname>Sera</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Yamanobe</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I. G.</given-names>
            <surname>Ramirez-Alpizar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Wan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Harada</surname>
          </string-name>
          ,
          <article-title>Assembly Planning by Recognizing a Graphical Instruction Manual</article-title>
          , in: 2021
          <source>IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)</source>
          , IEEE, Prague, Czech Republic,
          <year>2021</year>
          , pp.
          <fpage>3138</fpage>
          -
          <lpage>3145</lpage>
          . doi:
          <volume>10</volume>
          .1109/IROS51168.
          <year>2021</year>
          .
          <volume>9636041</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          [24]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Ding</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Zhang</surname>
          </string-name>
          , S. Amiri,
          <string-name>
            <given-names>N.</given-names>
            <surname>Cao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Yang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Kaminski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Esselink</surname>
          </string-name>
          ,
          <string-name>
            <surname>S. Zhang,</surname>
          </string-name>
          <article-title>Integrating Action Knowledge and LLMs for Task Planning and Situation Handling in Open Worlds</article-title>
          ,
          <source>Auton Robot</source>
          <volume>47</volume>
          (
          <year>2023</year>
          )
          <fpage>981</fpage>
          -
          <lpage>997</lpage>
          . doi:
          <volume>10</volume>
          .1007/s10514-023-10133-5.
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          [25]
          <string-name>
            <given-names>J.</given-names>
            <surname>Liang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Huang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Xia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Hausman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Ichter</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Florence</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Zeng</surname>
          </string-name>
          ,
          <article-title>Code as Policies: Language Model Programs for Embodied Control</article-title>
          ,
          <source>in: 40th IEEE International Conference on Robotics and Automation (ICRA)</source>
          , IEEE, London, UK,
          <year>2023</year>
          , pp.
          <fpage>9493</fpage>
          -
          <lpage>9500</lpage>
          . doi:
          <volume>10</volume>
          .1109/ICRA48891.
          <year>2023</year>
          .
          <volume>10160591</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          [26]
          <string-name>
            <given-names>J.-P.</given-names>
            <surname>Töberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Cimiano</surname>
          </string-name>
          ,
          <article-title>Generation of Robot Manipulation Plans Using Generative Large Language</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>