中文
相关论文

相关论文: A formalisation of BPMN in Description Logics

200 篇论文

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…

人工智能 · 计算机科学 2021-03-26 Ana Ozaki

This is a short tutorial of the Case Management Model and Notation (CMMN) version 1.0. It is targeted to readers with knowledge of basic process or workflow modeling, and it covers the complete CMMN notation. A simple complaints process is…

软件工程 · 计算机科学 2016-08-18 Mike A. Marin

In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that…

软件工程 · 计算机科学 2014-09-24 Manfred Broy , Maria Victoria Cengarle , Hans Grönninger , Bernhard Rumpe

The representation of workflows and processes is essential in materials science engineering, where experimental and computational reproducibility depend on structured and semantically coherent process models. Although numerous ontologies…

信息检索 · 计算机科学 2025-09-30 Ebrahim Norouzi , Sven Hertling , Jörg Waitelonis , Harald Sack

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to…

软件工程 · 计算机科学 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics. Such semantics is required in order to…

软件工程 · 计算机科学 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

The terms 'semantics' and 'ontology' are increasingly appearing together with 'explanation', not only in the scientific literature, but also in organizational communication. However, all of these terms are also being significantly…

人工智能 · 计算机科学 2023-04-24 Giancarlo Guizzardi , Nicola Guarino

A modification of OWL-S regarding parameter description is proposed. It is strictly based on Description Logic. In addition to class description of parameters it also allows the modelling of relations between parameters and the precise…

人工智能 · 计算机科学 2007-05-23 Jochen Gruber

The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data…

人工智能 · 计算机科学 2021-04-06 Ana Ozaki

Artifact-centric models for business processes recently raised a lot of attention, as they manage to combine structural (i.e. data related) with dynamical (i.e. process related) aspects in a seamless way. Many frameworks developed under…

人工智能 · 计算机科学 2015-05-05 Michele Stawowy

We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly and low in…

人工智能 · 计算机科学 2021-10-06 Simon Vandevelde , Victor Verreet , Luc De Raedt , Joost Vennekens

The increasing importance of resource-efficient production entails that manufacturing companies have to create a more dynamic production environment, with flexible manufacturing machines and processes. To fully utilize this potential of…

人工智能 · 计算机科学 2021-11-29 Anna Himmelhuber , Stephan Grimm , Thomas Runkler , Sonja Zillner

Automatically reconstructing BPMN models from unstructured natural-language descriptions remains challenging due to heterogeneous modeling conventions, multilingual sources, and the lack of reliable ground truth. We present a scalable,…

软件工程 · 计算机科学 2026-04-15 Ion Matei , Maksym Zhenirovskyy , Praveen Kumar Menaka Sekar , Hon Yung Wong

The heterogeneity of data poses a great challenge when data from different sources is to be merged for one application. Solutions for this are offered, for example, by ontology-based data management (OBDM). A challenge of OBDM is the…

信息检索 · 计算机科学 2020-05-15 Andreas Burgdorf , André Pomp , Tobias Meisen

This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted…

cmp-lg · 计算机科学 2008-02-03 Suresh Manandhar

To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone…

人工智能 · 计算机科学 2024-10-21 Luis Miguel Vieira da Silva , Aljosha Köcher , Felix Gehlhoff , Alexander Fay

The creation of Business Process Model and Notation (BPMN) models is a complex and time-consuming task requiring both domain knowledge and proficiency in modeling conventions. Recent advances in large language models (LLMs) have…

软件工程 · 计算机科学 2026-01-30 Chantale Lauer , Peter Pfeiffer , Alexander Rombach , Nijat Mehdiyev

The widely adopted Business Process Model and Notation (BPMN) is a cornerstone of industry standards for business process modeling. However, its ambiguous execution semantics often result in inconsistent interpretations, depending on the…

软件工程 · 计算机科学 2024-06-19 Gerhard Zeisler , Tim Tobias Braunauer , Albert Fleischmann , Robert Singer

This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review…

人工智能 · 计算机科学 2013-06-04 Markus Krötzsch , Frantisek Simancik , Ian Horrocks

In theory, ontology-based process modelling (OBPM) bares great potential to extend business process management. Many works have studied OBPM and are clear on the potential amenities, such as eliminating ambiguities or enabling advanced…

人工智能 · 计算机科学 2021-07-14 Carl Corea , Michael Fellmann , Patrick Delfmann