Stefano Borgo

Emanuele Ghedini

Proceedings of the Formal Ontology in Information Systems, 2023

Manufacturing Resources, Capabilities, and Engineering Functions: Towards an Ontology-Based Integration.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2023

On the Relation of Instrumental Dependence.

[BibT_eX]

[DOI]

Luca Biccheri

Roberta Ferrario

Proceedings of the Formal Ontology in Information Systems, 2023

2022

OCRA - An ontology for collaborative robotics and adaptation.

[BibT_eX]

[DOI]

Alberto Olivares Alarcos

Sergi Foix

Guillem Alenyà

Comput. Ind., 2022

YAMATO: Yet-another more advanced top-level ontology.

[BibT_eX]

[DOI]

Appl. Ontology, 2022

Foundational ontologies in action.

[BibT_eX]

[DOI]

Antony Galton

Oliver Kutz

Appl. Ontology, 2022

DOLCE: A descriptive ontology for linguistic and cognitive engineering.

[BibT_eX]

[DOI]

Appl. Ontology, 2022

Image Schemas and Ontology in Architectural Rules (short paper).

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Ontology for Industrial Engineering: A DOLCE Compliant Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Formal Ontologies meet Industry (FOMI 2022) Co-located with workshops about the Industrial Ontology Foundry (IOF) and the European project OntoCommons (EU H2020 project), 2022

Functional Modelling in Engineering: A First Comparison of Approaches on Two Problems.

[BibT_eX]

[DOI]

Francesco Compagno

2021

Ontological modeling of manufacturing resources.

[BibT_eX]

[DOI]

Appl. Ontology, 2021

The Role of the Systemic View in Foundational Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

FailRecOnt - An Ontology-Based Framework for Failure Interpretation and Recovery in Planning and Execution.

[BibT_eX]

[DOI]

Comparing Ontological Alternatives to Model Engineering Systems and Components.

[BibT_eX]

[DOI]

Capabilities, Capacities, and Functionalities of Resources in Industrial Engineering.

[BibT_eX]

[DOI]

Space in Socio-technical Systems: Exploring the Agent-Space Relation.

[BibT_eX]

[DOI]

Domenico Camarda

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

Towards an Ontology of Representation.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2021

Towards an Ontological Core for Cognitively Justified Robots.

[BibT_eX]

[DOI]

Proceedings of the 8th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

Ontological challenges to cohabitation with self-taught robots.

[BibT_eX]

[DOI]

Paulo Jorge Sequeira Gonçalves

Semantic Web, 2020

A review and comparison of ontology-based approaches to robot autonomy - ADDENDUM.

[BibT_eX]

[DOI]

Alberto Olivares Alarcos

Daniel Beßler

Alaa M. Khamis

Maki K. Habib

Julita Bermejo-Alonso

Joanna Isabelle Olszewska

Knowl. Eng. Rev., 2020

Time is ripe to embrace the scientific approach in Applied Ontology.

[BibT_eX]

[DOI]

Pascal Hitzler

Cogan Shimizu

Appl. Ontology, 2020

From form features to semantic features in existing MCAD: An ontological approach.

[BibT_eX]

[DOI]

Ferruccio Mandorli

Paulo Jorge Sequeira Gonçalves

Paulina Wiejak

Adv. Eng. Informatics, 2020

"Knowing From" - An Outlook on Ontology Enabled Knowledge Transfer for Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Pluralities, Collectives, and Composites.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2020

2019

A review and comparison of ontology-based approaches to robot autonomy.

[BibT_eX]

[DOI]

Alberto Olivares Alarcos

Daniel Beßler

Alaa M. Khamis

Maki K. Habib

Julita Bermejo-Alonso

Joanna Isabelle Olszewska

Hirenkumar Nakawala

Edison Pignaton de Freitas

Knowl. Eng. Rev., 2019

An Ontological View of Components and Interactions in Behaviorally Adaptive Systems.

[BibT_eX]

[DOI]

J. Integr. Des. Process. Sci., 2019

Trait-Based Module for Culturally-Competent Robots.

[BibT_eX]

[DOI]

Enrico Blanzieri

Int. J. Humanoid Robotics, 2019

Knowledge-based adaptive agents for manufacturing domains.

[BibT_eX]

[DOI]

Eng. Comput., 2019

Resources in Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Towards a Framework to Store and Retrieve Memories for Creative Architectural Projects.

[BibT_eX]

[DOI]

Roberta Ferrario

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

2018

Trait-based Culture and its Organization: Developing a Culture Enabler for Artificial Agents.

[BibT_eX]

[DOI]

Enrico Blanzieri

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Modeling Manufacturing Resources: An Ontological Approach.

[BibT_eX]

[DOI]

Proceedings of the Product Lifecycle Management to Support Industry 4.0, 2018

Some Open Issues After Twenty Years of Formal Ontology.

[BibT_eX]

[DOI]

Pascal Hitzler

Proceedings of the Formal Ontology in Information Systems, 2018

How Architectural Rules Make Room for Creativity: An Ontology-Driven Analysis.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Business Process Activity Relationships: Is There Anything Beyond Arrows?

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2018

On the Notion of Goal in Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017

Towards integration of ontology and text-extracted data for event coreference reasoning.

[BibT_eX]

[DOI]

Loris Bozzato

Alessio Palmero Aprosio

Luciano Serafini

Proceedings of the Symposium on Applied Computing, 2017

A Preliminary Study of Functional Parts as Roles.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

BPMN 2.0 Choreography Language: Interface or Business Contract?

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Business Process Languages: An Ontology-Based Perspective.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Knowledge of Places: An Ontological Analysis of the Social Level in the City.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

Business Processes and Their Participants: An Ontological Perspective.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning.

[BibT_eX]

[DOI]

Loris Bozzato

Alessio Palmero Aprosio

Luciano Serafini

CoRR, 2016

What are features? An ontology-based review of the literature.

[BibT_eX]

[DOI]

Comput. Aided Des., 2016

Information and organization in public health institutes: an ontology-based modeling of the entities in the reception-analysis-report phases.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2016

A unifying definition for artifact and biological functions.

[BibT_eX]

[DOI]

Yoshinobu Kitamura

Appl. Ontology, 2016

Features and Components in Product Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2016

Formalizing and Adapting a General Function Module for Foundational Ontologies.

[BibT_eX]

[DOI]

Yoshinobu Kitamura

Proceedings of the Formal Ontology in Information Systems, 2016

A Planning-Based Architecture for a Reconfigurable Manufacturing System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Towards an Understanding of Shapes and Types in Architecture.

[BibT_eX]

[DOI]

Rossella Stufano

Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0, 2015

Towards Ontology Composition from Cognitive Libraries.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

An Ontology-Based Domain Representation for Plan-Based Controllers in a Reconfigurable Manufacturing System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

A Contextual Framework for Reasoning on Events.

[BibT_eX]

[DOI]

Loris Bozzato

Alessio Palmero Aprosio

Luciano Serafini

Proceedings of the 4th International Workshop on Detection, 2015

Feature-Based Modelling and Information Systems for Engineering.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

A Formalization of Ashok Goel's SBF Concept of Function.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015

2014

An ontological approach for reliable data integration in the industrial domain.

[BibT_eX]

[DOI]

Comput. Ind., 2014

Technical artifacts: An integrated perspective.

[BibT_eX]

[DOI]

Appl. Ontology, 2014

Events and Activities: Is there an Ontology behind BPMN?

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Towards an Ontological Grounding of IFC.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Logical Operators for Ontological Modeling.

[BibT_eX]

[DOI]

Daniele Porello

Nicolas Troquard

Proceedings of the Formal Ontology in Information Systems, 2014

A First-order Formalization of Event, Object, Process and Role in YAMATO.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Towards a cooperative knowledge-based control agent for a reconfigurable manufacturing plant.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Towards an Ontological Analysis of BPMN.

[BibT_eX]

[DOI]

Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), 2014

'Being a Manifold' as the Topological Primitive of Mereotopology.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

The design stance and its artefacts.

[BibT_eX]

[DOI]

Synth., 2013

RCC and the Theory of Simple Regions in ℝ2.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012

Towards A Unified Definition of Function.

[BibT_eX]

[DOI]

Yoshinobu Kitamura

Proceedings of the Formal Ontology in Information Systems, 2012

2011

A Formalization of Functions as Operations on Flows.

[BibT_eX]

[DOI]

J. Comput. Inf. Sci. Eng., 2011

On the ontology of functions.

[BibT_eX]

[DOI]

Barry Smith

Appl. Ontology, 2011

Goals of Modularity: A Voice from the Foundational Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

A General Framework for Shape Similarity.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the First Interdisciplinary Workshop on SHAPES, 2011

Technical Artifact: An Integrated Perspective.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontologies Meet Industry, 2011

2010

Full Mereogeometries.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2010

Data-Driven and Ontological Analysis of FrameNet for Natural Language Reasoning.

[BibT_eX]

[DOI]

Ekaterina Ovchinnikova

Proceedings of the International Conference on Language Resources and Evaluation, 2010

2009

Foundational Choices in DOLCE.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Ontologies, 2009

A formal ontological perspective on the behaviors and functions of technical artifacts.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2009

Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Disentangling Knowledge Objects.

[BibT_eX]

[DOI]

Giandomenico Pozza

Proceedings of the Formal Ontologies Meet Industry, 2009

2008

The Attractiveness of Foundational Ontologies in Industry.

[BibT_eX]

Leonardo Lesmo

Proceedings of the Formal Ontologies Meet Industry, 2008

Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology.

[BibT_eX]

[DOI]

Laure Vieu

Proceedings of the Formal Ontology in Information Systems, 2008

2007

How Formal Ontology can help Civil Engineers.

[BibT_eX]

[DOI]

Proceedings of the Ontologies for Urban Development, 2007

Ontological Modularity and Spatial Diversity.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2007

Coalitions in Action Logic.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Foundations for a Core Ontology of Manufacturing.

[BibT_eX]

[DOI]

Paulo Leitão

Proceedings of the Ontologies: A Handbook of Principles, 2007

2006

Formal ontology meets industry.

[BibT_eX]

[DOI]

Matteo Cristani

Roberta Cuel

Appl. Ontology, 2006

Development of Modular Ontologies in CASL.

[BibT_eX]

[DOI]

Klaus Lüttich

Proceedings of the 1st International Workshop on Modular Ontologies, 2006

Qualities in Possible Worlds.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2006

Behavior of a Technical Artifact: An Ontological Perspective in Engineering.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2006

In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes.

[BibT_eX]

[DOI]

Giancarlo Guizzardi

Proceedings of the Conceptual Modeling, 2006

2005

Quantificational Modal Logic with Sequential Kripke Semantics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

Theoretical andpracticalaspects of interfacing ontologies andlexicalresources.

[BibT_eX]

[DOI]

Alessandro Oltramari

Laurent Prévot

Proceedings of the SWAP 2005, 2005

Interfacing Ontologies and Lexical Resources.

[BibT_eX]

[DOI]

Laurent Prévot

Alessandro Oltramari

Proceedings of OntoLex@IJCNLP 2005 - Ontologies and Lexical Resources, Jeju Island, Korea, 2005

Modal Operators with Adaptable Semantics for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

The Role of Foundational Ontologies in Manufacturing Domain Applications.

[BibT_eX]

[DOI]

Paulo Leitão

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

A Multi-agent Modal Language for Concurrency with Non-communicating Agents.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

1996

A Pointless Theory of Space Based on Strong Connection and Congruence.

[BibT_eX]