English
Related papers

Related papers: Application of Ontologies in Identifying Requireme…

200 papers

The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Existing software infrastructures, such caGrid, support access…

Artificial Intelligence · Computer Science 2010-12-30 Alejandra Gonzalez-Beltran , Ben Tagger , Anthony Finkelstein

There is growing acknowledgement within the software engineering community that a theory of software development is needed to integrate the myriad methodologies that are currently popular, some of which are based on opposing perspectives.…

Software Engineering · Computer Science 2021-03-22 Diana Kirk , Stephen G. MacDonell

The following contribution introduces a concept that employs Large Language Models (LLMs) and a chatbot interface to enhance SPARQL query generation for ontologies, thereby facilitating intuitive access to formalized knowledge. Utilizing…

Information Retrieval · Computer Science 2024-10-18 Jonathan Reif , Tom Jeleniewski , Milapji Singh Gill , Felix Gehlhoff , Alexander Fay

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…

Artificial Intelligence · Computer Science 2021-03-26 Ana Ozaki

The electronic marketplace offers great potential for the recommendation of supplies. In the so called recommender systems, it is crucial to apply matchmaking strategies that faithfully satisfy the predicates specified in the demand, and…

Databases · Computer Science 2015-03-17 Angela Bonifati , Giansalvatore Mecca , Domenica Sileo , Gianvito Summa

The notion of software languages subsumes programming languages, modeling languages, and yet many other types of languages used in software engineering. The emerging ontology `Foundations of Software Languages' (FSL) organizes the…

Software Engineering · Computer Science 2026-05-19 Ralf Lämmel

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

Logic in Computer Science · Computer Science 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

English language requirements are often used to specify the behavior of complex cyber-physical systems. The process of transforming these requirements to a formal specification language is often challenging, especially if the specification…

Software Engineering · Computer Science 2016-04-28 John D. Backes , Michael W. Whalen , Andrew Gacek , John Komp

In the digital age, it is crucial to understand and tailor experiences for users interacting with systems and applications. This requires the creation of user contextual profiles that combine user profiles with contextual information.…

Information Retrieval · Computer Science 2023-08-14 Ngoc Luyen Le , Marie-Hélène Abel , Philippe Gouspillou

In semantic technologies, the shared common understanding of the structure of information among artifacts (people or software agents) can be realized by building an ontology. To do this, it is imperative for an ontology builder to answer…

Artificial Intelligence · Computer Science 2015-09-21 Thabet Slimani

The increasing complexity of software engineering requires effective methods and tools to support requirements analysts' activities. While much of a company's knowledge can be found in text repositories, current content management systems…

Software Engineering · Computer Science 2011-07-19 Soumaya Amdouni , Wahiba Ben Abdessalem Karaa , Sondes Bouabid

With the rapid growth of internet technologies, Web has become a huge repository of information and keeps growing exponentially under no editorial control. However the human capability to read, access and understand Web content remains…

Databases · Computer Science 2011-11-11 C. Ramesh , K. V. Chalapati Rao , A. Govardhan

This paper describes a new technique, called "knowledge patterns", for helping construct axiom-rich, formal ontologies, based on identifying and explicitly representing recurring patterns of knowledge (theory schemata) in the ontology, and…

Artificial Intelligence · Computer Science 2020-05-12 Peter Clark , John Thompson , Bruce Porter

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the…

Software Engineering · Computer Science 2020-05-08 Alberto Martin-Lopez , Sergio Segura , Carlos Müller , Antonio Ruiz-Cortés

The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithful, human-readable explanations of why conclusions…

Artificial Intelligence · Computer Science 2026-01-21 Hui Yang , Jiaoyan Chen , Uli Sattler

The introduction of automated vehicles without permanent human supervision demands a functional system description, including functional system boundaries and a comprehensive safety analysis. These inputs to the technical development can be…

Artificial Intelligence · Computer Science 2018-04-25 Gerrit Bagschik , Till Menzel , Markus Maurer

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

OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as healthcare and bioinformatics. Recently, ontology…

Artificial Intelligence · Computer Science 2025-07-22 Hui Yang , Jiaoyan Chen , Yuan He , Yongsheng Gao , Ian Horrocks

We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in…

Artificial Intelligence · Computer Science 2018-09-28 Henrik Forssell , Christian Kindermann , Daniel P. Lupp , Uli Sattler , Evgenij Thorstensen

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