Applying Ontological Modeling on Quranic Nature Domain

Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof

In recent years, Gödel's ontological proof and variations of it were formalized and analyzed with automated tools in various ways. We supplement these analyses with a modeling in an automated environment based on first-order logic extended by predicate quantification. Formula macros are used to structure complex formulas and tasks. The analysis is presented as a generated type-set document where informal explanations are interspersed with pretty-printed formulas and outputs of reasoners for first-order theorem proving and second-order quantifier elimination. Previously unnoticed or obscured as…

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy al…

《古兰经研究中检索增强生成的探究：针对13个开源大语言模型的研究》

Investigating Retrieval-Augmented Generation in Quranic Studies: A Study of 13 Open-Source Large Language Models

本研究针对古兰经研究领域的问答任务，引入RAG技术结合古兰经章描述数据集，评估13个不同规模开源大语言模型的表现，发现大模型整体更优，优化后的小模型也有亮眼表现，并探讨了模型规模、效率与回答质量的权衡。

A study of existing Ontologies in the IoT-domain

Several domains have adopted the increasing use of IoT-based devices to collect sensor data for generating abstractions and perceptions of the real world. This sensor data is multi-modal and heterogeneous in nature. This heterogeneity induces interoperability issues while developing cross-domain applications, thereby restricting the possibility of reusing sensor data to develop new applications. As a solution to this, semantic approaches have been proposed in the literature to tackle problems related to interoperability of sensor data. Several ontologies have been proposed to handle different …

从图上的公理到向量，再回到图：评估基于图的本体嵌入的性质

From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings

本文评估了基于图的本体嵌入方法，分析了不同图投影的性质对预测公理性能的影响，发现投影方式和本体选择显著影响嵌入效果。