English
Related papers

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

200 papers

Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms.…

Software Engineering · Computer Science 2018-10-24 Sabah Al-Fedaghi , Dana Shbeeb

In this paper, we introduce OWLAPY, a comprehensive Python framework for OWL ontology engineering. OWLAPY streamlines the creation, modification, and serialization of OWL 2 ontologies. It uniquely integrates native Python-based reasoners…

Software Engineering · Computer Science 2025-11-12 Alkid Baci , Luke Friedrichs , Caglar Demir , Axel-Cyrille Ngonga Ngomo

Retrieval over knowledge graphs is usually performed using dedicated, complex query languages like SPARQL. We propose a novel system, Ontology and Semantic Exploration Toolkit (OnSET) that allows non-expert users to easily build queries…

Information Retrieval · Computer Science 2025-07-15 Benedikt Kantz , Kevin Innerebner , Peter Waldert , Stefan Lengauer , Elisabeth Lex , Tobias Schreck

The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the…

Category Theory · Mathematics 2022-07-26 John C. Baez , Jade Master

Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and the Semantic Web. However, less attention has been paid to…

Artificial Intelligence · Computer Science 2021-01-26 Jiaoyan Chen , Pan Hu , Ernesto Jimenez-Ruiz , Ole Magnus Holter , Denvar Antonyrajah , Ian Horrocks

This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets. It is implemented as a collection of independent,…

Logic in Computer Science · Computer Science 2015-08-21 Eike Best , Uli Schlachter

One of the strongest signals for automated matching of ontologies and knowledge graphs are the textual descriptions of the concepts. The methods that are typically applied (such as character- or token-based comparisons) are relatively…

Computation and Language · Computer Science 2021-09-16 Sven Hertling , Jan Portisch , Heiko Paulheim

Trees -- i.e., the type of data structure known under this name -- are central to many aspects of knowledge organization. We investigate some central design choices concerning the ontological modeling of such trees. In particular, we…

Artificial Intelligence · Computer Science 2017-10-17 David Carral , Pascal Hitzler , Hilmar Lapp , Sebastian Rudolph

Logical and probabilistic reasoning tasks that require a deeper knowledge of semantics are increasingly relying on general purpose ontologies such as Wikidata and DBpedia. However, tasks such as entity disambiguation and linking may benefit…

Information Retrieval · Computer Science 2025-05-29 Rosario Uceda-Sosa , Nandana Mihindukulasooriya , Atul Kumar , Sahil Bansal , Seema Nagar

Since long, corporations are looking for knowledge sources which can provide structured description of data and can focus on meaning and shared understanding. Structures which can facilitate open world assumptions and can be flexible enough…

Artificial Intelligence · Computer Science 2014-03-31 Iti Mathur , Nisheeth Joshi , Hemant Darbari , Ajai Kumar

Pinterest is a popular Web application that has over 250 million active users. It is a visual discovery engine for finding ideas for recipes, fashion, weddings, home decoration, and much more. In the last year, the company adopted Semantic…

Computation and Language · Computer Science 2020-12-17 Rafael S. Gonçalves , Matthew Horridge , Rui Li , Yu Liu , Mark A. Musen , Csongor I. Nyulas , Evelyn Obamos , Dhananjay Shrouty , David Temple

The relatively recent adoption of Knowledge Graphs as an enabling technology in multiple high-profile artificial intelligence and cognitive applications has led to growing interest in the Semantic Web technology stack. Many…

Artificial Intelligence · Computer Science 2018-06-05 Paul Cuddihy , Justin McHugh , Jenny Weisenberg Williams , Varish Mulwad , Kareem S. Aggour

Petri Net is a formalism to describe changes between 2 or more states across discrete time and has been used to model many systems. We present PNet - a pure Python library for Petri Net modeling and simulation in Python programming…

Mathematical Software · Computer Science 2023-02-24 Zhu En Chay , Bing Feng Goh , Maurice HT Ling

Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help…

Artificial Intelligence · Computer Science 2016-07-07 Renārs Liepiņš , Uldis Bojārs , Normunds Grūzītis , Kārlis Čerāns , Edgars Celms

The importance of improving the FAIRness (findability, accessibility, interoperability, reusability) of research data is undeniable, especially in the face of large, complex datasets currently being produced by omics technologies.…

Digital Twins (DT) facilitate monitoring and reasoning processes in cyber-physical systems. They have progressively gained popularity over the past years because of intense research activity and industrial advancements. Cognitive Twins is a…

Artificial Intelligence · Computer Science 2023-12-22 Erkan Karabulut , Salvatore F. Pileggi , Paul Groth , Victoria Degeler

With the web getting bigger and assimilating knowledge about different concepts and domains, it is becoming very difficult for simple database driven applications to capture the data for a domain. Thus developers have come out with ontology…

Artificial Intelligence · Computer Science 2014-04-22 Iti Mathur , Nisheeth Joshi , Hemant Darbari , Ajai Kumar

Ontologies have been widely used in numerous and varied applications, e.g., to support data modeling, information integration, and knowledge management. With the increasing size of ontologies, ontology understanding, which is playing an…

Information Retrieval · Computer Science 2018-05-17 Seyedamin Pouriyeh , Mehdi Allahyari , Qingxia Liu , Gong Cheng , Hamid Reza Arabnia , Yuzhong Qu , Krys Kochut

Ontologies are built on systems that conceptually evolve over time. In addition, techniques and languages for building ontologies evolve too. This has led to numerous studies in the field of ontology versioning and ontology evolution. This…

Software Engineering · Computer Science 2012-08-09 Perrine Pittet , Christophe Nicolle , Christophe Cruz

Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary…

Logic in Computer Science · Computer Science 2020-10-16 Michael Blondin , Christoph Haase , Philip Offtermatt
‹ Prev 1 2 3 10 Next ›