Journal ArticleDOI
Towards a core ontology for robotics and automation
Edson Prestes,Joel Luis Carbonera,Sandro Rama Fiorini,Vitor A. M. Jorge,Mara Abel,Raj Madhavan,Angela Locoro,Paulo J. S. Gonçalves,Paulo J. S. Gonçalves,Marcos Barreto,Maki K. Habib,Abdelghani Chibani,Sébastien Gérard,Yacine Amirat,Craig Schlenoff +14 more
Reads0
Chats0
TLDR
A core ontology that encompasses a set of terms commonly used in Robotics and Automation is introduced along with the methodology it has been adopted.About:
This article is published in Robotics and Autonomous Systems.The article was published on 2013-11-01. It has received 162 citations till now. The article focuses on the topics: Core ontology & Ontology engineering.read more
Citations
More filters
Journal ArticleDOI
A Survey of Research on Cloud Robotics and Automation
TL;DR: This survey considers robots and automation systems that rely on data or code from a network to support their operation, i.e., where not all sensing, computation, and memory is integrated into a standalone system.
Journal ArticleDOI
Semantic mapping for mobile robotics tasks
TL;DR: An explicit analysis of the existing methods of semantic mapping is sought, and the several algorithms are categorized according to their primary characteristics, namely scalability, inference model, temporal coherence and topological map usage.
Journal ArticleDOI
The Internet of Robotic Things: A review of concept, added value and applications
TL;DR: This survey examines how the merger of robotic and Internet of Things technologies will advance the abilities of both the current Internet of things and the current robotic systems, thus enabling the creation of new, potentially disruptive services.
Journal ArticleDOI
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
TL;DR: The state of the art in formal specification and verification for autonomous robotics is surveyed and the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verify of autonomous robotics are identified.
Journal ArticleDOI
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
TL;DR: This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics and identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verify of autonomous robotics.
References
More filters
Journal ArticleDOI
WordNet: a lexical database for English
TL;DR: WordNet1 provides a more effective combination of traditional lexicographic information and modern computing, and is an online lexical database designed for use under program control.
Journal ArticleDOI
Toward principles for the design of ontologies used for knowledge sharing
TL;DR: The role of ontology in supporting knowledge sharing activities is described, and a set of criteria to guide the development of ontologies for these purposes are presented, and it is shown how these criteria are applied in case studies from the design ofOntologies for engineering mathematics and bibliographic data.
Book
Introduction to Robotics mechanics and Control
TL;DR: This chapter discusses Jacobians: Velocities and Static Forces, Robot Programming Languages and Systems, and Manipulator Dynamics, which focuses on the role of Jacobians in the control of Manipulators.
OWL Web ontology language overview
TL;DR: This document provides an introduction to OWL by informally describing the features of each of the sublanguages of OWL, the Web Ontology Language by providing additional vocabulary along with a formal semantics.
Journal ArticleDOI
Knowledge engineering: principles and methods
TL;DR: The paradigm shift from a transfer view to a modeling view is discussed and two approaches which considerably shaped research in Knowledge Engineering are described: Role-limiting Methods and Generic Tasks.