中文
相关论文

相关论文: DeFind: A Protege Plugin for Computing Concept Def…

200 篇论文

The programming language Prolog makes declarative programming possible, at least to a substantial extent. Programs may be written and reasoned about in terms of their declarative semantics. All the advantages of declarative programming are…

计算机科学中的逻辑 · 计算机科学 2023-08-31 Włodzimierz Drabent

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

This paper explores the possibility to exploit text on the world wide web in order to enrich the concepts in existing ontologies. First, a method to retrieve documents from the WWW related to a concept is described. These document…

计算与语言 · 计算机科学 2007-05-23 Eneko Agirre , Olatz Ansa , Eduard Hovy , David Martinez

Ontologies are a standard for semantic schemata in many knowledge-intensive domains of human interest. They are now becoming increasingly important also in areas until very recently dominated by subsymbolic representations and…

密码学与安全 · 计算机科学 2023-01-03 Peter Švec , Štefan Balogh , Martin Homola , Ján Kľuka

This article presents a concept model, and the associated tool to help advanced learners to find adapted bibliography. The purpose is the use of an IT representation as educational research software for newcomers in research. We use an…

数字图书馆 · 计算机科学 2012-02-07 Gérald Kembellec , Imad Saleh , Catherine Sauvaget

Ontologies play a crucial role in organizing and representing knowledge. However, even current ontologies do not encompass all relevant concepts and relationships. Here, we explore the potential of large language models (LLM) to expand an…

计算与语言 · 计算机科学 2023-11-14 Antonio Zaitoun , Tomer Sagi , Szymon Wilk , Mor Peleg

This work presents the architecture used in the ongoing OntologyNavigator project. It is a research tool to help advanced learners to find adapted IT papers to create scientific bibliographies. The purpose is the use of an IT representation…

信息检索 · 计算机科学 2012-02-07 Gérald Kembellec , Imad Saleh , Catherine Sauvaget

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…

人工智能 · 计算机科学 2022-02-07 Pramit Bhattacharyya , Raghava Mutharaju

There is a large number of online documents data sources available nowadays. The lack of structure and the differences between formats are the main difficulties to automatically extract information from them, which also has a negative…

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and…

人工智能 · 计算机科学 2024-08-15 Tobias John , Patrick Koopmann

One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and inferring subsumption. However, simply by adding negation of…

计算机科学中的逻辑 · 计算机科学 2019-08-29 Marcelo Finger

We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to…

人工智能 · 计算机科学 2015-04-22 Mark Kaminski , Bernardo Cuenca Grau

Information Security in the cyber world is a major cause for concern, with a significant increase in the number of attack surfaces. Existing information on vulnerabilities, attacks, controls, and advisories available on the web provides an…

计算与语言 · 计算机科学 2021-12-17 Lalit Mohan Sanagavarapu , Vivek Iyer , Raghu Reddy

Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic…

人工智能 · 计算机科学 2015-12-22 C. Maria Keet , Agnieszka Lawrynowicz

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

This Ontologies are widely used as a means for solving the information heterogeneity problems on the web because of their capability to provide explicit meaning to the information. They become an efficient tool for knowledge representation…

人工智能 · 计算机科学 2013-06-04 Nora Y. Ibrahim , Sahar A. Mokhtar , Hany M. Harb

Integrating deep learning techniques, particularly language models (LMs), with knowledge representation techniques like ontologies has raised widespread attention, urging the need of a platform that supports both paradigms. Although…

人工智能 · 计算机科学 2024-03-12 Yuan He , Jiaoyan Chen , Hang Dong , Ian Horrocks , Carlo Allocca , Taehun Kim , Brahmananda Sapkota

Ontology Learning (OL) is the computational task of generating a knowledge base in the form of an ontology given an unstructured corpus whose content is in natural language (NL). Several works can be found in this area most of which are…

计算与语言 · 计算机科学 2016-03-09 Sourish Dasgupta , Ankur Padia , Kushal Shah , Prasenjit Majumder

Ontologies have become essential in today's digital age as a way of organising the vast amount of readily available unstructured text. In providing formal structure to this information, ontologies have immense value and application across…

计算与语言 · 计算机科学 2025-11-11 Dekai Zhang , Simone Conia , Antonio Rago

The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.…

人工智能 · 计算机科学 2015-07-01 Franz Baader , Barbara Morawska