English
Related papers

Related papers: A Python toolkit for dealing with Petri nets over …

200 papers

Our work presented in this paper focuses on the translation of terminological expressions represented in semantically structured resources, like ontologies or knowledge graphs. The challenge of translating ontology labels or terminological…

Computation and Language · Computer Science 2019-08-01 Mihael Arcan , Daniel Torregrosa , Paul Buitelaar

OTTR is a language for representing ontology modeling patterns, which enables to build ontologies or knowledge bases by instantiating templates. Thereby, particularities of the ontological representation language are hidden from the domain…

Databases · Computer Science 2023-09-26 Moritz Blum , Basil Ell , Philipp Cimiano

The paper describes the architecture of the intelligence system for automated design of ontological knowledge bases of domain areas and the software model of the management GUI (Graphical User Interface) subsystem

Artificial Intelligence · Computer Science 2018-02-23 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov

Ontology interoperability is one of the complicated issues that restricts the use of ontologies in knowledge graphs (KGs). Different ontologies with conflicting and overlapping concepts make it difficult to design, develop, and deploy an…

Information Retrieval · Computer Science 2026-03-23 Zhangcheng Qiang

This article presents a concept model, and the associated tool to help advanced learners to find adapted bibliography. The purpose is the use of an IT representation as educational research software for newcomers in research. We use an…

Digital Libraries · Computer Science 2012-02-07 Gérald Kembellec , Imad Saleh , Catherine Sauvaget

Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any…

Category Theory · Mathematics 2024-08-07 John C. Baez , John Foley , Joe Moeller

Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop…

Logic in Computer Science · Computer Science 2023-06-22 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski

This works considers challenges of building and usage a formal knowledge base (model), which unites the ATT&CK, CAPEC, CWE, CVE security enumerations. The proposed model can be used to learn relations between attack techniques, attack…

Cryptography and Security · Computer Science 2021-12-09 Andrei Brazhuk

Knowledge graphs are an efficient method for representing and connecting information across various concepts, useful in reasoning, question answering, and knowledge base completion tasks. They organize data by linking points, enabling…

Artificial Intelligence · Computer Science 2025-02-25 Saher Mohamed , Kirollos Farah , Abdelrahman Lotfy , Kareem Rizk , Abdelrahman Saeed , Shahenda Mohamed , Ghada Khouriba , Tamer Arafa

A person ontology comprising concepts, attributes and relationships of people has a number of applications in data protection, didentification, population of knowledge graphs for business intelligence and fraud prevention. While artificial…

Artificial Intelligence · Computer Science 2020-01-23 Balaji Ganesan , Riddhiman Dasgupta , Akshay Parekh , Hima Patel , Berthold Reinwald

This paper studies the role that ontologies can play in establishing conceptual data models during the process of information systems development. A mapping algorithm has been proposed and embedded in a special purpose Transformation-Engine…

Software Engineering · Computer Science 2007-05-23 Haya El-Ghalayini , Mohammed Odeh , Richard McClatchey

Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on an experiment conducted with a propositional version of…

Artificial Intelligence · Computer Science 2020-08-04 Giovanni Sileno

Several domains have adopted the increasing use of IoT-based devices to collect sensor data for generating abstractions and perceptions of the real world. This sensor data is multi-modal and heterogeneous in nature. This heterogeneity…

Artificial Intelligence · Computer Science 2017-07-04 Garvita Bajaj , Rachit Agarwal , Pushpendra Singh , Nikolaos Georgantas , Valerie Issarny

The current learning systems typically lack the level of metacognitive awareness, self-directed learning, and time management skills. Most of the ontologically based learning management systems are in the proposed phase and those which are…

Computers and Society · Computer Science 2017-09-01 Monika Rani , Kumar Vaibhav Srivastava , O. P. Vyas

With the adoption of Semantic Web technologies, an increasing number of vocabularies and ontologies have been developed in different domains, ranging from Biology to Agronomy or Geosciences. However, many of these ontologies are still…

Digital Libraries · Computer Science 2020-03-31 Daniel Garijo , María Poveda-Villalón

Deep learning models, while effective and versatile, are becoming increasingly complex, often including multiple overlapping networks of arbitrary depths, multiple objectives and non-intuitive training methodologies. This makes it…

Artificial Intelligence · Computer Science 2018-05-11 Iraklis A. Klampanos , Athanasios Davvetas , Antonis Koukourikos , Vangelis Karkaletsis

The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets…

Category Theory · Mathematics 2025-12-24 Elena Di Lavore , Wilmer Leal , Valeria de Paiva

Scikit-network is a Python package inspired by scikit-learn for the analysis of large graphs. Graphs are represented by their adjacency matrix in the sparse CSR format of SciPy. The package provides state-of-the-art algorithms for ranking,…

Social and Information Networks · Computer Science 2020-09-17 Thomas Bonald , Nathan de Lara , Quentin Lutz , Bertrand Charpentier

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…

Artificial Intelligence · Computer Science 2021-03-26 Ana Ozaki

A graphical language addresses the need to communicate medical information in a synthetic way. Medical concepts are expressed by icons conveying fast visual information about patients' current state or about the known effects of drugs. In…

Computation and Language · Computer Science 2014-11-18 Pascal Vaillant , Jean-Baptiste Lamy