English
Related papers

Related papers: Credentials in the Occupation Ontology

200 papers

Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain security metrics (e.g., attack cost, probability, and…

Cryptography and Security · Computer Science 2025-07-01 Ítalo Oliveira , Stefano M. Nicoletti , Gal Engelberg , Mattia Fumagalli , Dan Klein , Giancarlo Guizzardi

The success of open source software (OSS) projects relies on voluntary contributions from various community roles.Being a committer signifies gaining trust and higher privileges. Substantial studies have focused on the requirements of…

Software Engineering · Computer Science 2024-05-17 Xin Tan , Yan Gong , Geyu Huang , Haohua Wu , Li Zhang

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…

Artificial Intelligence · Computer Science 2023-04-24 Giancarlo Guizzardi , Nicola Guarino

This study investigates the potential of language models to improve the classification of labor market information by linking job vacancy texts to two major European frameworks: the European Skills, Competences, Qualifications and…

Competency Questions (CQs) for an ontology and similar artefacts aim to provide insights into the contents of an ontology and to demarcate its scope. The absence of a controlled natural language, tooling and automation to support the…

Artificial Intelligence · Computer Science 2019-07-18 C. Maria Keet , Zola Mahlaza , Mary-Jane Antia

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…

Artificial Intelligence · Computer Science 2021-11-29 Anna Himmelhuber , Stephan Grimm , Thomas Runkler , Sonja Zillner

Semantic annotation is fundamental to deal with large-scale lexical information, mapping the information to an enumerable set of categories over which rules and algorithms can be applied, and foundational ontology classes can be used as a…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , André Freitas , Siegfried Handschuh

A trusted achievement record is a secure system that aims to record and authenticate certificates as well as key learning activities and achievements. This paper intends to gather important information on the thoughts and outlooks of…

Computers and Society · Computer Science 2020-07-07 Bakri Awaji , Ellis Solaiman , Lindsay Marshall

Digital credentials in education make it easier for students to apply for a course of study, a new job, or change a higher education institute. Academic networks, such as EMREX, support the exchange of digital credentials between students…

Computers and Society · Computer Science 2024-06-18 Patrick Herbke , Hakan Yildiz

The recently introduced notions of ranking functions and closure certificates utilize well-foundedness arguments to facilitate the verification of dynamical systems against $\omega$-regular properties. A ranking function and a closure…

Systems and Control · Electrical Eng. & Systems 2026-03-03 Mohammed Adib Oumer , Vishnu Murali , Majid Zamani

Machine learning applications have become ubiquitous. Their applications range from embedded control in production machines over process optimization in diverse areas (e.g., traffic, finance, sciences) to direct user interactions like…

The formalization of process knowledge using ontologies enables consistent modeling of parameter interdependencies in manufacturing. These interdependencies are typically represented as mathematical expressions that define relations between…

Artificial Intelligence · Computer Science 2025-06-23 Tom Jeleniewski , Hamied Nabizada , Jonathan Reif , Felix Gehlhoff , Alexander Fay

A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and the workflow of the applications, so that…

Cryptography and Security · Computer Science 2009-06-26 Michele Barletta , Silvio Ranise , Luca Viganò

We present SAFE, an integrated system for managing trust using a logic-based declarative language. Logical trust systems authorize each request by constructing a proof from a context---a set of authenticated logic statements representing…

Cryptography and Security · Computer Science 2015-10-19 Vamsi Thummala , Jeff Chase

Processes, workflows and guidelines are core to ensure the correct functioning of industrial companies: for the successful operations of factory lines, machinery or services, often industry operators rely on their past experience and…

Artificial Intelligence · Computer Science 2025-12-08 Valentina Anita Carriero , Mario Scrocca , Ilaria Baroni , Antonia Azzini , Irene Celino

Ontologies provide formal representation of knowledge shared within Semantic Web applications. Ontology learning involves the construction of ontologies from a given corpus. In the past years, ontology learning has traversed through shallow…

Information Retrieval · Computer Science 2024-06-18 Rick Du , Huilong An , Keyu Wang , Weidong Liu

Ontologies enable knowledge sharing and interdisciplinary collaboration by providing standardized, structured vocabularies for diverse communities. While logical axioms are a cornerstone of ontology design, natural language elements such as…

Formal Languages and Automata Theory · Computer Science 2025-08-29 Paul Fabry , Adrien Barton , Jean-François Éthier

With the natural evolution of the web, the need for decentralization has rendered the current centralized education system out of date. The student does not "own" their credentials, as the only way their accomplishments are directly linked…

Computers and Society · Computer Science 2023-12-20 Sarah A. Flanery , Kamalesh Mohanasundar , Christiana Chamon , Srujan D. Kotikela , Francis K. Quek

The use of computational ontologies is well-established in the field of Medical Informatics. The topic of Social Determinants of Health (SDoH) has also received extensive attention. Work at the intersection of ontologies and SDoH has been…

Artificial Intelligence · Computer Science 2025-01-20 Navya Martin Kollapally , James Geller , Patricia Morreale , Daehan Kwak

One-Class Classification (OCC) is a special case of multi-class classification, where data observed during training is from a single positive class. The goal of OCC is to learn a representation and/or a classifier that enables recognition…

Computer Vision and Pattern Recognition · Computer Science 2021-01-11 Pramuditha Perera , Poojan Oza , Vishal M. Patel
‹ Prev 1 3 4 5 6 7 10 Next ›