中文
相关论文

相关论文: Credentials in the Occupation Ontology

200 篇论文

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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

人工智能 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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…

信息检索 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 2021-01-11 Pramuditha Perera , Poojan Oza , Vishal M. Patel