English
Related papers

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

200 papers

This Ontologies are widely used as a means for solving the information heterogeneity problems on the web because of their capability to provide explicit meaning to the information. They become an efficient tool for knowledge representation…

Artificial Intelligence · Computer Science 2013-06-04 Nora Y. Ibrahim , Sahar A. Mokhtar , Hany M. Harb

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

The present study is aimed at analysing the benefits of an ontological approach in Functional Structural Plant Modelling. The ontological approach has been used at two levels, to refine the conceptual modelling approach, and to define the…

Applied Physics · Physics 2022-08-17 Giuliano Vitali

Developing algorithms for distributed systems is an error-prone task. Formal models like Petri nets with transits and Petri games can prevent errors when developing such algorithms. Petri nets with transits allow us to follow the data flow…

Logic in Computer Science · Computer Science 2021-03-30 Manuel Gieseking , Jesko Hecking-Harbusch , Ann Yanich

Retrieve information resources made by the machine processing may refer to multiple sources. A personal web as part of information resources in the Internet requires a feature that can be understood by computer machines. Therefore, in this…

Digital Libraries · Computer Science 2013-12-23 Istiadi , Azhari

Ontology-based approaches for predicting gene-disease associations include the more classical semantic similarity methods and more recently knowledge graph embeddings. While semantic similarity is typically restricted to hierarchical…

Machine Learning · Computer Science 2021-06-01 Susana Nunes , Rita T. Sousa , Catia Pesquita

Even though modern service-oriented and data-oriented architectures promise to deliver loosely coupled control systems, they are inherently brittle as they commonly depend on a priori agreed interfaces and data models. At the same time, the…

Instrumentation and Methods for Astrophysics · Physics 2013-10-22 Wim Pessemier , Gert Raskin , Hans Van Winckel , Geert Deconinck , Philippe Saey

Integrating deep learning techniques, particularly language models (LMs), with knowledge representation techniques like ontologies has raised widespread attention, urging the need of a platform that supports both paradigms. Although…

Artificial Intelligence · Computer Science 2024-03-12 Yuan He , Jiaoyan Chen , Hang Dong , Ian Horrocks , Carlo Allocca , Taehun Kim , Brahmananda Sapkota

Querying knowledge bases using ontologies is usually performed using dedicated query languages, question-answering systems, or visual query editors for Knowledge Graphs. We propose a novel approach that enables users to query the knowledge…

Human-Computer Interaction · Computer Science 2025-12-02 Benedikt Kantz , Kevin Innerebner , Peter Waldert , Stefan Lengauer , Elisabeth Lex , Tobias Schreck

Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or synchronization of transitions. Interpretations given to these…

Category Theory · Mathematics 2023-06-28 Fabrizio Genovese , Fosco Loregian , Daniele Palombi

Enterprises are creating domain-specific knowledge graphs by curating and integrating their business data from multiple sources. The data in these knowledge graphs can be described using ontologies, which provide a semantic abstraction to…

Databases · Computer Science 2020-10-06 Chuan Lei , Rana Alotaibi , Abdul Quamar , Vasilis Efthymiou , Fatma Özcan

The formalism of the models with Petri networks provides a sound theoretical base, supported by powerful mathematical methods able to extract information necessary for the formalism and simulation of the real system that provides features…

Other Computer Science · Computer Science 2009-03-26 Alexandra Emilia Fortis

OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as healthcare and bioinformatics. Recently, ontology…

Artificial Intelligence · Computer Science 2025-07-22 Hui Yang , Jiaoyan Chen , Yuan He , Yongsheng Gao , Ian Horrocks

Semantic Web is actually an extension of the current one in that it represents information more meaningfully for humans and computers alike. It enables the description of contents and services in machine-readable form, and enables…

Artificial Intelligence · Computer Science 2010-06-24 Mohammad Mustafa Taye

In this paper, we introduce a novel interpreting framework that learns an interpretable model based on an ontology-based sampling technique to explain agnostic prediction models. Different from existing approaches, our algorithm considers…

Machine Learning · Computer Science 2020-04-02 Phung Lai , NhatHai Phan , Han Hu , Anuja Badeti , David Newman , Dejing Dou

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding…

Discrete Mathematics · Computer Science 2018-02-14 Julia Padberg

Data Spaces are an emerging concept for the trusted implementation of data-based applications and business models, offering a high degree of flexibility and sovereignty to all stakeholders. As Data Spaces are currently emerging in different…

Artificial Intelligence · Computer Science 2023-08-29 Maximilian Staebler , Frank Koester , Christoph Schlueter-Langdon

Ontologies comprising of concepts, their attributes, and relationships are used in many knowledge based AI systems. While there have been efforts towards populating domain specific ontologies, we examine the role of document structure in…

Artificial Intelligence · Computer Science 2022-04-14 Abhay M Shalghar , Ayush Kumar , Balaji Ganesan , Aswin Kannan , Akshay Parekh , Shobha G

Time-Basic Petri nets, is a powerful formalism for modeling real-time systems where time constraints are expressed through time functions of marking's time description associated with transition, representing possible firing times. We…

Logic in Computer Science · Computer Science 2021-03-15 Matteo Camilli

In this demo, we introduce MELT Dashboard, an interactive Web user interface for ontology alignment evaluation which is created with the existing Matching EvaLuation Toolkit (MELT). Compared to existing, static evaluation interfaces in the…

Information Retrieval · Computer Science 2020-04-28 Jan Portisch , Sven Hertling , Heiko Paulheim