English
Related papers

Related papers: OWLAx: A Protege Plugin to Support Ontology Axioma…

200 papers

In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical developments on transformations between rules and description…

Artificial Intelligence · Computer Science 2018-08-31 Md. Kamruzzaman Sarker , David Carral , Adila A. Krisnadhi , Pascal Hitzler

We introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by an ontology. The plugin supports ontologies formulated in…

Logic in Computer Science · Computer Science 2018-10-15 Denis Ponomaryov , Stepan Yakovenko

It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on transformations between rules and DLs, we have developed…

Artificial Intelligence · Computer Science 2018-08-31 Md. Kamruzzaman Sarker , Adila Krisnadhi , David Carral , Pascal Hitzler

We tackle the task of enriching ontologies by automatically translating natural language sentences into Description Logic. Since Large Language Models (LLMs) are the best tools for translations, we fine-tuned a GPT-3 model to convert…

Artificial Intelligence · Computer Science 2023-08-01 Patricia Mateiu , Adrian Groza

The information retrieval systems that are present nowadays are mainly based on full text matching of keywords or topic based classification. This matching of keywords often returns a large number of irrelevant information and this does not…

Artificial Intelligence · Computer Science 2013-02-25 P. Kalaivani , A. Anandaraj , K. Raja

Tools like Prot\'eg\'e support the creation and edition of one or more ontologies in a single workspace. They nevertheless require a user to be familiar with this kind of abstractions and their supporting techniques such as a reasoner and…

Software Engineering · Computer Science 2022-06-07 Soreangsey Kiv , Yves Wautelet , Samedi Heng , Manuel Kolp

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while…

Artificial Intelligence · Computer Science 2017-11-10 Nicolas Troquard , Roberto Confalonieri , Pietro Galliani , Rafael Penaloza , Daniele Porello , Oliver Kutz

We present WebProt\'eg\'e, a tool to develop ontologies represented in the Web Ontology Language (OWL). WebProt\'eg\'e is a cloud-based application that allows users to collaboratively edit OWL ontologies, and it is available for use at…

Information Retrieval · Computer Science 2019-03-07 Matthew Horridge , Rafael S. Gonçalves , Csongor I. Nyulas , Tania Tudorache , Mark A. Musen

Ontologies can be a powerful tool for structuring knowledge, and they are currently the subject of extensive research. Updating the contents of an ontology or improving its interoperability with other ontologies is an important but…

Artificial Intelligence · Computer Science 2014-10-21 Paolo Pareti , Ewan Klein

Building an ontology is not only a time-consuming process, but it is also confusing, especially for beginners and the inexperienced. Although ontology developers can take the help of domain experts in building an ontology, they are not…

Artificial Intelligence · Computer Science 2022-02-07 Pramit Bhattacharyya , Raghava Mutharaju

Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help…

Artificial Intelligence · Computer Science 2016-07-07 Renārs Liepiņš , Uldis Bojārs , Normunds Grūzītis , Kārlis Čerāns , Edgars Celms

Academic libraries struggle to find and access faculty expertise across disciplines. This research proposes a faculty expertise ontology with a hierarchical structure based on Prot\'eg\'e to enhance library services and knowledge…

Digital Libraries · Computer Science 2026-01-13 Snehasish Paul

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

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

We present a novel approach to knowledge graph visualization based on ontology design patterns. This approach relies on OPLa (Ontology Pattern Language) annotations and on a catalogue of visual frames, which are associated with foundational…

Human-Computer Interaction · Computer Science 2021-06-25 Luigi Asprino , Christian Colonna , Misael Mongiovì , Margherita Porena , Valentina Presutti

Despite the impressive adaptability of large language models (LLMs), challenges remain in ensuring their security, transparency, and interpretability. Given their susceptibility to adversarial attacks, LLMs need to be defended with an…

Artificial Intelligence · Computer Science 2024-10-11 Tomas Bueno Momcilovic , Beat Buesser , Giulio Zizzo , Mark Purcell , Dian Balta

Attack graphs provide a representation of possible actions that adversaries can perpetrate to attack a system. They are used by cybersecurity experts to make decisions, e.g., to decide remediation and recovery plans. Different approaches…

Cryptography and Security · Computer Science 2022-02-09 Kéren Saint-Hilaire , Frédéric Cuppens , Nora Cuppens , Joaquin Garcia-Alfaro

Ontology revision aims to seamlessly incorporate a new ontology into an existing ontology and plays a crucial role in tasks such as ontology evolution, ontology maintenance, and ontology alignment. Similar to repair single ontologies,…

Artificial Intelligence · Computer Science 2023-12-27 Qiu Ji , Guilin Qi , Yuxin Ye , Jiaye Li , Site Li , Jianjie Ren , Songtao Lu

This paper argues that certain ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies, including their constraints, out of other ontologies. The…

Artificial Intelligence · Computer Science 2018-09-12 Marco A. Casanova , Rômulo Magalhães

Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and…

Artificial Intelligence · Computer Science 2023-08-16 Christian Alrabbaa , Stefan Borgwardt , Tom Friese , Patrick Koopmann , Mikhail Kotlov
‹ Prev 1 2 3 10 Next ›