中文
相关论文

相关论文: Test-Driven Development of ontologies (extended ve…

200 篇论文

In this paper, we release an open-source library, called TextBox, to provide a unified, modularized, and extensible text generation framework. TextBox aims to support a broad set of text generation tasks and models. In our library, we…

人工智能 · 计算机科学 2021-04-20 Junyi Li , Tianyi Tang , Gaole He , Jinhao Jiang , Xiaoxuan Hu , Puzhao Xie , Zhipeng Chen , Zhuohao Yu , Wayne Xin Zhao , Ji-Rong Wen

The design and operation of modern software systems exhibit a shift towards virtualization, containerization and service-based orchestration. Performance capacity engineering and resource utilization tuning become priority requirements in…

性能 · 计算机科学 2021-12-22 Attila Klenik , András Pataricza

There are many methodologies and techniques for easing the task of ontology building. Here we describe the intersection of two of these: ontology normalisation and fully programmatic ontology development. The first of these describes a…

人工智能 · 计算机科学 2017-11-21 Phillip Lord , Robert Stevens

An ontology of the DDI 3 data model will be designed by following the ontology engineering methodology to be evolved based on state-of-the-art methodologies. Hence DDI 3 data and metadata can be represented in form of a standard web…

信息检索 · 计算机科学 2014-02-17 Thomas Bosch , Andias Wira-Alam , Brigitte Mathiak

Concept induction, which is based on formal logical reasoning over description logics, has been used in ontology engineering in order to create ontology (TBox) axioms from the base data (ABox) graph. In this paper, we show that it can also…

Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of…

人工智能 · 计算机科学 2019-04-23 Razieh Mehri , Volker Haarslev , Hamidreza Chinaei

The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure…

人工智能 · 计算机科学 2021-05-03 Konstantinos Sikelis , George E Tsekouras , Konstantinos I Kotis

The current learning systems typically lack the level of metacognitive awareness, self-directed learning, and time management skills. Most of the ontologically based learning management systems are in the proposed phase and those which are…

计算机与社会 · 计算机科学 2017-09-01 Monika Rani , Kumar Vaibhav Srivastava , O. P. Vyas

Software testing is normally used to check the validity of a program. Test oracle performs an important role in software testing. The focus in this research is to perform class level test by introducing a testing framework. A technique is…

软件工程 · 计算机科学 2014-08-27 Munib Ahmad , Fuad Bajaber , M. Rizwan Jameel Qureshi

Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as in the case of the Semantic Web. Recent approaches use…

计算机科学中的逻辑 · 计算机科学 2015-03-17 Kostyantyn Shchekotykhin , Gerhard Friedrich , Philipp Fleiss , Patrick Rodler

Mutation testing is a well-established technique for assessing a test suite's quality by injecting artificial faults into production code. In recent years, mutation testing has been extended to machine learning (ML) systems, and deep…

软件工程 · 计算机科学 2021-03-03 Annibale Panichella , Cynthia C. S. Liem

To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone…

人工智能 · 计算机科学 2024-10-21 Luis Miguel Vieira da Silva , Aljosha Köcher , Felix Gehlhoff , Alexander Fay

Open Directory Project (ODP) has been successfully utilized in text classification due to its representation ability of various categories. However, ODP includes a limited number of entities, which play an important role in classification…

信息检索 · 计算机科学 2018-05-15 So-Young Jun , Dinara Aliyeva , Ji-Min Lee , SangKeun Lee

Generating vector representations (embeddings) of OWL ontologies is a growing task due to its applications in predicting missing facts and knowledge-enhanced learning in fields such as bioinformatics. The underlying semantics of OWL…

计算机科学中的逻辑 · 计算机科学 2024-11-07 Fernando Zhapa-Camacho , Robert Hoehndorf

One of the main challenges that developers face when testing their systems lies in engineering test cases that are good enough to reveal bugs. And while our body of knowledge on software testing and automated test case generation is already…

软件工程 · 计算机科学 2021-11-09 Maurício Aniche , Christoph Treude , Andy Zaidman

Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model…

计算机科学中的逻辑 · 计算机科学 2012-10-24 Jesús M. Almendros-Jiménez , Luis Iribarne

Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing…

机器人学 · 计算机科学 2019-08-06 Cumhur Erkan Tuncali , Georgios Fainekos , Danil Prokhorov , Hisahiro Ito , James Kapinski

This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correctly implemented. The approach proposed in the paper aims at…

软件工程 · 计算机科学 2020-07-08 Sébastien Salva , Loukmen Regainia

Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the…

计算机科学中的逻辑 · 计算机科学 2024-12-13 Atalay Mert Ileri , Nalen Rangarajan , Jack Cannell , Hande McGinty

Recent work has shown how to prompt large language models with explanations to obtain strong performance on textual reasoning tasks, i.e., the chain-of-thought paradigm. However, subtly different explanations can yield widely varying…

计算与语言 · 计算机科学 2023-10-19 Xi Ye , Greg Durrett