English
Related papers

Related papers: DeFind: A Protege Plugin for Computing Concept Def…

200 papers

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

The Semantic Web works on the existing Web which presents the meaning of information as well-defined vocabularies understood by the people. Semantic Search, at the same time, works on improving the accuracy if a search by understanding the…

Information Retrieval · Computer Science 2013-05-27 Monica Shekhar , Saravanaguru RA. K

To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to…

Artificial Intelligence · Computer Science 2007-11-22 Ken Samuel , Leo Obrst , Suzette Stoutenberg , Karen Fox , Paul Franklin , Adrian Johnson , Ken Laskey , Deborah Nichols , Steve Lopez , Jason Peterson

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…

Logic in Computer Science · Computer Science 2024-12-13 Atalay Mert Ileri , Nalen Rangarajan , Jack Cannell , Hande McGinty

We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that…

Logic in Computer Science · Computer Science 2014-01-24 Boris Konev , Michel Ludwig , Dirk Walther , Frank Wolter

We addressed the problem of a lack of semantic representation for user-centric explanations and different explanation types in our Explanation Ontology (https://purl.org/heals/eo). Such a representation is increasingly necessary as…

Artificial Intelligence · Computer Science 2020-10-06 Shruthi Chari , Oshani Seneviratne , Daniel M. Gruen , Morgan A. Foreman , Amar K. Das , Deborah L. McGuinness

OWL (Web Ontology Language) ontologies, which are able to represent both relational and type facts as standard knowledge graphs and complex domain knowledge in Description Logic (DL) axioms, are widely adopted in domains such as healthcare…

Artificial Intelligence · Computer Science 2025-02-05 Hui Yang , Jiaoyan Chen , Uli Sattler

Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible…

Logic in Computer Science · Computer Science 2022-05-20 Christian Alrabbaa , Franz Baader , Stefan Borgwardt , Raimund Dachselt , Patrick Koopmann , Julián Méndez

Textual queries are largely employed in information retrieval to let users specify search goals in a natural way. However, differences in user and system terminologies can challenge the identification of the user's information needs, and…

Information Retrieval · Computer Science 2020-03-31 Noemi Mauro , Liliana Ardissono , Adriano Savoca

The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby…

Artificial Intelligence · Computer Science 2023-06-01 Ying Li , Patrick Lambrix

Authoring of OWL-DL ontologies is intellectually challenging and to make this process simpler, many systems accept natural language text as input. A text-based ontology authoring approach can be successful only when it is combined with an…

Artificial Intelligence · Computer Science 2017-10-02 Kevin Alex Mathews , P Sreenivasa Kumar

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

Taking advantage of the widespread use of ontologies to organise and harmonize knowledge across several distinct domains, this paper proposes a novel approach to improve an embedding-Large Language Model (embedding-LLM) of interest by…

Computation and Language · Computer Science 2024-06-03 Francesco Ronzano , Jay Nanavati

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

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

In the field of knowledge management and computer science, ontologies provide a structured framework for modeling domain-specific knowledge by defining concepts and their relationships. However, the lack of tools that provide effective…

Artificial Intelligence · Computer Science 2025-07-21 Carlos Bobed , Carlota Quintana , Eduardo Mena , Jorge Bobed , Fernando Bobillo

The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…

Logic in Computer Science · Computer Science 2023-08-30 Joshua Hirschbrunn , Yevgeny Kazakov

The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization,…

Artificial Intelligence · Computer Science 2018-04-24 Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

We consider the problem of finding plausible knowledge that is missing from a given ontology, as a generalisation of the well-studied taxonomy expansion task. One line of work treats this task as a Natural Language Inference (NLI) problem,…

Computation and Language · Computer Science 2024-03-27 Na Li , Thomas Bailleux , Zied Bouraoui , Steven Schockaert

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