English
Related papers

Related papers: OBAMA, an Ontology-Based Software Tool for Agile M…

200 papers

In applications such as personal assistants, large language models (LLMs) must consider the user's personal information and preferences. However, LLMs lack the inherent ability to learn from user interactions. This paper explores capturing…

Artificial Intelligence · Computer Science 2024-05-24 Tolga Çöplü , Arto Bendiken , Andrii Skomorokhov , Eduard Bateiko , Stephen Cobb

This article examines the use of the Prolog language for writing verification, analysis and transformation tools. Guided by experience in teaching and the development of verification tools like ProB or specialisation tools like ECCE and…

Programming Languages · Computer Science 2020-08-10 Michael Leuschel

One of the main current challenges in Educational Data Mining and Learning Analytics is the portability or transferability of predictive models obtained for a particular course so that they can be applied to other different courses. To…

Artificial Intelligence · Computer Science 2024-10-11 Javier Lopez Zambrano , Juan A. Lara , Cristobal Romero

Knowing that an enterprise is a complex reality, it is necessary to develop a modeling framework allowing the description of system structure and dynamics that alter the structure. The concept of enterprise modeling addresses this need and…

Computers and Society · Computer Science 2013-01-01 Sabria Hadj Tayeb , Myriam Noureddine

We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the…

Programming Languages · Computer Science 2021-09-20 Paul Tarau

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…

Artificial Intelligence · Computer Science 2021-07-14 Carl Corea , Michael Fellmann , Patrick Delfmann

Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear understanding of how the Prolog compiler works, and in…

Programming Languages · Computer Science 2007-11-01 Francois Gobert , Baudouin Le Charlier

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

To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…

Artificial Intelligence · Computer Science 2020-07-21 Sabah Al-Fedaghi

Natural language is understandable by human and not machine. None technical persons can only use natural language to specify their business requirements. However, the current version of Business process management and notation (BPMN) tools…

Software Engineering · Computer Science 2018-11-20 Sophea Chhun , Néjib Moalla , Yacine Ouzrout

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

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalisms of system architectures for supporting model-based requirement elicitation,…

Software Engineering · Computer Science 2020-10-16 Lu Jinzhi , Ma Junda , Xiaochen Zheng , Guoxin Wang , Dimitris Kiritsis

Real-world semantic or knowledge-based systems, e.g., in the biomedical domain, can become large and complex. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their…

Artificial Intelligence · Computer Science 2022-08-08 Patrick Rodler , Dietmar Jannach , Konstantin Schekotihin , Philipp Fleiss

The automatic detection of offensive language is a pressing societal need. Many systems perform well on explicit offensive language but struggle to detect more complex, nuanced, or implicit cases of offensive and hateful language. OLEA is…

Computation and Language · Computer Science 2022-11-01 Marie Grace , Xajavion "Jay" Seabrum , Dananjay Srinivas , Alexis Palmer

When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Prot\'eg\'e offers two services to help: (black-box)…

Logic in Computer Science · Computer Science 2022-06-16 Christian Alrabbaa , Stefan Borgwardt , Tom Friese , Patrick Koopmann , Julián Méndez , Alexej Popovič

The semantics and the recursive execution model of Prolog make it very natural to express language interpreters in form of AST (Abstract Syntax Tree) interpreters where the execution follows the tree representation of a program. An…

Programming Languages · Computer Science 2020-08-31 Philipp Körner , David Schneider , Michael Leuschel

Ontologies are known for their ability to organize rich metadata, support the identification of novel insights via semantic queries, and promote reuse. In this paper, we consider the problem of automated planning, where the objective is to…

Artificial Intelligence · Computer Science 2024-07-09 Bharath Muppasani , Vishal Pallagani , Biplav Srivastava , Raghava Mutharaju , Michael N. Huhns , Vignesh Narayanan

Procedural activity assistants potentially support humans in a variety of settings, from our daily lives, e.g., cooking or assembling flat-pack furniture, to professional situations, e.g., manufacturing or biological experiments. Despite…

Computation and Language · Computer Science 2025-10-02 Kimihiro Hasegawa , Wiradee Imrattanatrai , Masaki Asada , Ken Fukuda , Teruko Mitamura

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

Across an aggregation of EuSpRIG presentation papers, two maxims hold true: spreadsheets models are akin to software, yet spreadsheet developers are not software engineers. As such, the lack of traditional software engineering tools and…

Software Engineering · Computer Science 2018-01-31 Oliver Beavers