OWL2Vec*: Embedding of OWL Ontologies
City, University of London（伦敦城市大学）；University of Oslo（奥斯陆大学）；Samsung Research（三星研究院）；University of Oxford（牛津大学）
知识图谱的语义嵌入已经被广泛研究并用于跨诸如自然语言处理和语义Web的各个领域的预测和统计分析任务。OWL（Web Ontology Language）本体可以表达比知识图谱更广泛的语义，在生物信息学等领域得到了广泛的应用。本文提出了一种基于随机游走和词嵌入的本体嵌入方法OWL2Vec*，该方法综合考虑了OWL本体的图结构、词汇信息和逻辑构造函数，对本体的语义进行编码。我们对三个真实世界数据集的实证评估表明，OWL2Vec* 在类成员预测和类包含预测任务中受益于本体的这三个不同方面。此外，在我们的实验中，OWL2Vec* 通常显著优于最先进的方法。
2021-01-25 cs.AI
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
University of Oxford（牛津大学）
在知识表示和数据库中，基于存在规则扩展的事实集的合取查询是一个突出的问题。这个问题可以使用chase算法来解决，该算法用新的事实扩展给定的事实集以满足规则。如果追踪终止，则CQ可以直接在结果事实集中进行评估。然而，追逐并不一定会终止，并且检查追逐是否在给定的一组规则和事实上终止是不可判定的。许多非循环概念被提出作为追逐终止的充分条件。在本文中，我们提出了两个新的无环性概念称为模型忠实无环性（MFA）和模型概括无环性（MSA）。此外，我们调查的景观已知的非周期性概念，并建立一个完整的分类所有的概念，我们知道。最后，我们表明，MFA和MSA概括了这些概念。潜在规则与OWL 2本体语言的Horn片段密切相关;此外，几个著名的OWL 2推理机通过使用追逐来实现所有相关事实的CQ回答。为了避免终止问题，这些系统中的许多只处理OWL 2的OWL 2 RL配置文件;此外，一些系统超越了OWL 2 RL，但没有任何终止保证。在本文中，我们还探讨了各种非周期性的概念是否可以提供一个原则和实际的解决方案，这些问题。在理论方面，我们表明，查询回答非循环本体是较低的复杂性比一般的本体。在实践方面，我们表明，许多常用的OWL 2本体是MSA，并且通过物化获得的事实的数量并不太大。因此，我们的研究结果表明，基于物化的OWL 2推理机的原则性发展实际上是可行的。
2014-02-04 cs.AI cs.DB
Fuzzy Quantification over OWL Ontologies and Knowledge Graphs
University of Zaragoza（萨拉戈萨大学）；Aragon Institute of Engineering Research (I3A)（阿拉贡工程研究所 (I3A)）；University of Bari Aldo Moro（巴里阿尔多莫罗大学）；CNR-ISTI（意大利国家研究委员会-信息科学与技术研究所）
提出一个通用框架，用于在标准/模糊本体和知识图谱上评估模糊量化查询，通过I型或II型模糊量化表达式检索个体，具有量化器类型、评估方法和数据源无关性，并实现了Q2S2系统。
2026-06-25 cs.AI
SWRL2SPIN: A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules
Aristotle University of Thessaloniki（塞萨洛尼基亚里士多德大学）
语义Web规则语言（SWRL）将OWL（Web本体语言）本体与规则置标语言（RuleML）家族的Horn逻辑规则相结合。它得到了本体编辑器、规则引擎和本体推理器的支持，已经成为在本体之上开发基于规则的应用程序的一个非常流行的选择。然而，SWRL可能不会成为WWW联盟的标准，禁止工业接受。另一方面，SPIN（SPARQL推理表示法）已经成为事实上的行业标准，以表示SPARQL规则和语义Web模型的约束，建立在SPARQL（SPARQL协议和RDF查询语言）的广泛接受。在本文中，我们认为，现有的SWRL规则为基础的本体应用程序的生命可以延长转换到SPIN。为此，我们已经开发了在Prolog的SWRL2SPIN工具，将SWRL规则转换为SPIN规则，考虑到面向对象的SPIN，即链接规则到适当的本体类和优化它们，通过分析规则的条件。
2022-12-08 cs.AI
The Semantic Web takes Wing: Programming Ontologies with Tawny-OWL
Newcastle University（纽卡斯尔大学）
Tawny-OWL库为本体构建提供了一个完全可编程的环境;通过将开发重新定义为一种编程形式，它支持使用一组丰富的工具进行本体开发。它是内置的Clojure -一种现代Lisp方言，并由OWL API支持。使用简单，它具有与OWL Manchester语法相似的语法，但它提供了任意的可扩展性和抽象。它建立在Clojure的现有设施之上，Clojure提供了丰富而现代的编程工具链，用于版本控制，分布式开发，构建，测试和持续集成。在本文中，我们描述了图书馆，这个环境及其潜在的影响，本体论的发展过程。
2013-03-01 cs.AI cs.DL
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Technische Universität Dresden（德累斯顿工业大学）
当使用描述逻辑本体时，理解由描述逻辑推理器导出的蕴涵并不总是简单的。到目前为止，标准本体编辑器Protégé提供了两种服务来帮助：OWL 2 DL本体的（黑盒）证明，以及轻量级OWL EL本体的（玻璃盒）证明，后者利用了推理机ELK的证明设施。由于理由往往不足以解释推理，因此只有很少的工具支持解释推理更有表现力的DL。在本文中，我们介绍了EVEE-LIBS，一个Java库计算证明DL ALCH，和EVEE-PROTEGE，收集Protégé插件显示这些证明在Protégé。我们还简要介绍了最新版本的EVONNE，这是一个更高级的独立应用程序，用于显示和交互使用EVEE-LIBS计算的证明。
2022-06-15 cs.AI cs.LO
A New Method for the Semantic Integration of Multiple OWL Ontologies using Alignments
Université de Tunis El Manar（突尼斯埃尔马纳尔大学）；Faculté des Sciences de Tunis（突尼斯理学院）；Institut Supérieur des Langues Appliquées et d’Informatique de Béja（贝贾高等应用语言与计算机学院）
这项工作是作为硕士论文项目的一部分完成的。其目标是将两个或多个本体（相同或接近的领域）集成到一个新的一致和连贯的OWL本体中，以确保它们之间的语义互操作性。为了做到这一点，我们选择创建一个桥本体，其中包括所有的源本体和它们的桥接公理在一个定制的方式。此外，我们引入了一个新的标准，以获得更好的质量本体（具有最小的语义/逻辑冲突）。我们还提出了新的术语和定义，澄清了在最先进的作品中随机使用的不明确和错位的“整合”和“合并”概念。最后，我们测试和评估我们的OIA 2 R工具使用本体和参考对齐的OAEI运动。事实证明，它是通用的，高效的和足够强大的。
2018-10-05 cs.AI
Interpreting OWL Complex Classes in AutomationML based on Bidirectional Translation
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）
万维网联盟（W3C）已经发布了几个构建和存储本体的建议，包括最新的OWL 2 Web本体语言（OWL）。这些举措之后，实际的实现，普及OWL在各个领域。例如，OWL已经被用于工业工程中的概念建模，并且其推理设施被用于提供丰富的服务，例如模型诊断、自动代码生成和语义集成。更具体地说，最近的研究表明，OWL非常适合于协调存储为AutomationML（AML）文件的工程工具的信息。然而，OWL及其工具对于工程师直接使用来说可能很麻烦，因此在实践中通常需要本体专家。虽然在文献中已经付出了很大的注意力，以克服这个问题，通过转换OWL本体从/AML模型自动，处理OWL复杂的类仍然是一个开放的研究问题。本文介绍了在AutomationML中表示OWL复杂类的AML概念模型，并给出了OWL复杂类与其对应的AML概念模型之间的双向转换算法。我们表明，这种方法提供了一个有效的和直观的界面，为非专家可视化，修改和创建OWL复杂的类。
2019-06-04 cs.AI cs.DB
Ontology as a Source for Rule Generation
Riga Technical University（里加工业大学）
本文揭示了潜在的OWL（Web本体语言）本体生成的规则。本文的主要目的是确定新类型的规则，这可能是从OWL本体生成的。从OWL本体生成的规则是语义Web专家系统运行所必需的。语义网专家系统（SWES）将能够处理来自Web的本体，以补充甚至发展其知识库。
2014-04-18 cs.AI
Computing Datalog Rewritings beyond Horn Ontologies
University of Oxford（牛津大学）；NTU Athens（雅典国立技术大学）
到目前为止，基于重写的方法来回答OWL 2 DL本体上的查询主要是针对OWL 2 DL的Horn片段。在本文中，我们研究的可能性回答查询非霍恩本体使用数据重写。我们证明，这是不可能的，即使是非常简单的本体语言，即使PTIME = NP。此外，我们提出了一个基于分辨率的程序$\SHI$本体，在它终止的情况下，产生一个数据库重写的本体。我们的过程必然终止于DL- Lite_{bool} ^H本体-OWL 2 QL的一个带有传递角色和布尔连接词的扩展.
2013-04-08 cs.AI
Enhancing SPARQL Query Rewriting for Complex Ontology Alignments
Laval University（拉瓦尔大学）；Iba Der Thiam University（伊巴·德尔·蒂亚姆大学）
本文提出基于自然语言需求的SPARQL查询重写方法，利用等价传递性与大语言模型处理复杂本体对齐，提升查询效率与用户可访问性。
2025-12-05 cs.AI cs.DB
PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
CNR-ILC（意大利国家研究委员会信息学与计算科学研究所ILC分部）；CNR-ISTI（意大利国家研究委员会信息学与计算科学研究所ISTI分部）
本文提出两阶段算法 PN-OWL，从含实值和布尔值属性的 OWL 本体中学习可由 Fuzzy OWL 2 表示的模糊概念包含公理，并通过 P、N 阶段平衡召回率与精确率。
2023-03-01 cs.AI
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System
Athens University of Economics and Business（雅典经济与商业大学）；Institute for Language and Speech Processing（语言与语音处理研究所）
我们提出NaturalOWL，一个自然语言生成系统，产生描述个人或类的OWL本体的文本。不像简单的OWL verbalizers，通常表示一个单一的公理在一个时间在控制，往往不是完全流畅的自然语言主要是为了领域专家的利益，我们的目标是为最终用户生成流畅和连贯的多句子文本。有了像NaturalOWL这样的系统，人们可以在Web上发布OWL中的信息，以及自动生成的多种语言的相应文本，使信息不仅可以被计算机程序和领域专家访问，而且可以被最终用户访问。我们讨论了NaturalOWL的处理阶段，系统可以在每个阶段使用的可选域相关语言资源，以及它们为什么有用。我们还提出的试验表明，当域相关的语言资源可用，NaturalOWL产生显着更好的文本相比，一个简单的verbalizer，可以创建相对较轻的努力的资源。
2014-04-24 cs.AI cs.CL
GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models
Ulm University（乌尔姆大学）
本文提出GLaMoR，利用图语言模型将OWL本体转为图结构数据进行一致性检查，在BioPortal数据集上达到95%准确率，速度比经典推理器快20倍。
2026-09-14 cs.AI cs.LG
Enhancements of linked data expressiveness for ontologies
University of São Paulo（圣保罗大学）
语义网已经收到了许多研究人员的贡献，作为本体论，在这种情况下，即在RDF链接的数据中，是形式化的概念化，可能使用不同的协议，如RDFS，OWL DL和OWL FULL。在这篇文章中，我们描述了新的表达技术，这些技术是在为科学院、国家和民间社会阐述了几十个OWL本体之后发现的。它们包括：1）说明属性可能具有的用途，而不会导致公理或限制; 2）为元素（类，属性，三元组）分配优先级; 3）在类之间，强制性个体之间以及可选个体之间的关系图中正确描述; 4）OWL类和SKOS概念之间的方便关联。我们提出了具体的规则来完成这些增强和courses的使用和出现的困难，因为这些技术目前还没有建立作为标准的本体设计师。
2017-10-27 cs.AI
A Survey of Syntactic Modelling Structures in Biomedical Ontologies
University of Oslo（奥斯陆大学）
尽管语义技术在生物医学领域的大规模吸收，很少有人知道在已发布的本体的共同建模实践。OWL本体通常只以公理集的粗糙形式发布，而使底层设计不透明。然而，一个有原则的和系统的本体论发展生存周期很可能反映在本体论的涌现句法结构的转换中。为了理解这种新兴的结构，我们建议逆向工程本体采取语法导向的方法来识别和分析公理和公理集。我们调查BioPortal的语法建模趋势和OWL公理和类框架的常见做法。我们的研究结果表明，生物医学本体只共享简单的句法结构，其中OWL构造函数没有深度嵌套或以复杂的方式组合。虽然这种简单的结构通常占给定本体中公理的大部分，但许多本体还包含非平凡数量的更复杂的句法结构，这些句法结构在本体中并不常见。
2022-07-28 cs.AI
Planning with OWL-DL Ontologies (Extended Version)
University of Oslo（奥斯陆大学）；Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）
本研究提出本体介导的规划方法，通过接口松散耦合规划问题与本体，设计支持OWL DL全表达能力的黑盒算法，将规划规范重写为PDDL求解，实验验证了方法可行性及推理优化对性能的显著作用。
2024-08-14 cs.AI
Membership Function Assignment for Elements of Single OWL Ontology
本文提出了OWL（Web本体语言）本体元素的隶属函数分配的思想，以便随后从该本体生成模糊规则。OWL本体元素的隶属函数分配任务已经部分描述，但这涉及同一领域的多个OWL本体可用并将它们合并到单个本体中的情况。本文的目的是提出的情况下，只有一个可用的本体OWL本体元素的隶属函数分配的方法。从OWL本体生成的模糊规则是语义网专家系统知识库的必要补充。SWES是一个专家系统，它将能够从OWL本体中提取知识，在Web中找到，并将作为一个通用的专家为用户。
2014-11-12 cs.AI
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Concordia University（康考迪亚大学）；Nuance Communications（Nuance通讯公司）
Web本体语言（OWL）推理机用于从本体中推断新的逻辑关系。在推断新事实的同时，这些推理器可以被进一步优化，例如，通过适当地对本体的析取表达式中的析取进行排序来进行概念的可满足性测试。不同的扩展排序算法已被开发用于此目的。这些推理机中的内置启发式算法确定搜索树中分支的顺序，而每个启发式选择对各种本体产生不同的影响，这取决于本体的句法结构以及可能的其他特征。一个基于学习的方法，考虑到功能的目的是选择一个适当的扩展排序启发式为每个本体。合理的选择可以加速推理机的推理过程。在本文中，我们的方法的效果进行了研究，一个著名的推理机是JFact。我们的实验表明，在应用学习方法选择正确的扩展排序算法后，可满足性测试的平均加速比为一到两个数量级。
2019-04-20 cs.AI
Retrieval-Augmented Generation of Ontologies from Relational Databases
Institute for Artificial Intelligence, University of Stuttgart（人工智能研究所，斯图加特大学）；University of Southampton（南安普顿大学）；Universitätsklinikum Leipzig（莱比锡大学医院）
研究从关系数据库生成语义丰富的OWL2DL本体的问题，提出RIGOR方法，通过大语言模型驱动，从多源检索并迭代生成本体片段，经验证和纠正后集成，实验表明该方法优于基线且无需人工监督。
2026-07-28 cs.AI cs.DB
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
University of Glasgow（格拉斯哥大学）
本文提出利用LLM辅助的主动学习方法，通过将候选公理转换为反概念并用受控自然语言表达，以提高OWL本体论建模的准确性，实验表明召回率稳定。
2026-04-17 cs.AI
Certain Answers to a SPARQL Query over a Knowledge Base (extended version)
Free University of Bozen-Bolzano（博尔扎诺自由大学）
本体中介查询（OMQA）是一个完善的框架，用于回答RDFS或OWL知识库（KB）上的查询。OMQA最初是为联合查询（UCQ）设计的，并且基于某些答案。最近，OMQA已经扩展到SPARQL查询，但据我们所知，在这个方向上所做的努力（无论是在文献中，或所谓的SPARQL蕴涵制度）是能够捕捉到某些答案UCQ和SPARQL的标准解释在一个普通的图。我们将这些形式化为任何语义都要满足的要求，旨在调和某些答案和SPARQL答案，并定义了三个额外的要求，概括为知识库的SPARQL答案的一些基本属性。然后，我们表明，可以定义一个语义，满足所有要求SPARQL查询与SELECT，UNION和OPTIONAL，和DL与规范模型属性。我们还调查了在这样的语义DL-Lite R KB的查询回答的组合复杂性。特别是，我们表明不同的SPARQL片段，已知的上界查询回答一个普通的图相匹配。
2019-11-21 cs.AI cs.DB
Swift Linked Data Miner: Mining OWL 2 EL class expressions directly from online RDF datasets
Poznan University of Technology（波兹南理工大学）
在这项研究中，我们提出了Swift Linked Data Miner，这是一种可中断的算法，可以直接挖掘在线链接数据源（例如，SPARQL端点），以使用新的SubClassOf：公理扩展本体。该算法的工作原理是每次只下载一小部分关联数据源，在内存中构建智能索引，并快速迭代索引以挖掘公理。我们提出了一个转换功能，从挖掘公理RDF数据流。我们通过众包实验表明，Swift Linked Data Miner挖掘的大多数公理都是正确的，可以添加到本体中。我们提供了一个现成的Protégé插件实现算法，以支持本体工程师在他们的日常建模工作。
2017-10-19 cs.AI cs.DB
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Laboratoire de Recherche en Informatique, CNRS & Université Paris-Sud（法国国家科学研究中心与巴黎南大学计算机研究实验室）；Institute for Information Transmission Problems & MIPT（信息传输问题研究所与莫斯科物理技术学院）；Steklov Mathematical Institute & National Research University Higher School of Economics（斯捷克洛夫数学研究所与高等经济大学）
本文研究了在OWL 2 QL本体存在的情况下，查询拓扑对回答合取查询的难度的影响。我们的第一个贡献是澄清的最坏情况下的大小的积极存在（PE），非递归数据（NDL），和一阶（FO）重写的各种类树的合取查询，范围从线性查询有界树宽查询。也许我们最令人惊讶的结果是PE重写大小的超多项式下限，它已经适用于深度为2的线性查询和本体。更积极的是，我们表明，多项式大小的NDL重写总是存在有界数量的叶子（和任意本体）的树形查询，并为有界树宽查询与有界深度本体配对。对于FO重写，我们将多尺寸重写的存在等同于布尔电路复杂性中的已知问题。作为我们的第二个贡献，我们分析了查询回答的计算复杂性，并建立了一系列查询本体对的易处理性结果（NL-或LOGCFL-完整性）。将我们的新结果与文献中的结果相结合，可以完整地了解所考虑的查询和本体类的简洁性和复杂性。
2015-05-13 cs.AI cs.CC cs.DB
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
University of Oslo（奥斯陆大学）；Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）
本文提出通过接口分离规划规约与 OWL DL 本体，并将本体介导规划问题数据依赖地重写为经典规划问题，以复用现有规划工具。
2023-08-16 cs.AI cs.LO
NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning
The University of Manchester（曼彻斯特大学）；Zhejiang University（浙江大学）
研究不完整OWL本体的包含关系推理问题，提出NeurOWL框架，通过大语言模型和本体嵌入联合执行验证和溯因，利用形式与文本语义，在多领域真实本体上评估，展现强大稳健性能。
2026-10-20 cs.AI
WebProtégé: A Cloud-Based Ontology Editor
Stanford University（斯坦福大学）
我们提出WebProtégé，一个工具来开发本体表示的Web本体语言（OWL）。WebProtégé是一个基于云的应用程序，允许用户协作编辑OWL本体，它可以在https://webprotege.stanford.edu上使用。WebProtégeé目前拥有超过68，000个OWL本体项目，并拥有超过50，000个用户帐户。在本文中，我们详细介绍了最新版本的WebProtégé的主要新功能。
2019-03-06 cs.AI cs.IR
Using off-the-shelf LLMs to query enterprise data by progressively revealing ontologies
RelationalAI
针对LLM因token限制无法容纳大型企业本体的问题，提出逐步揭示恰好足够本体内容的零样本提示解决方案，以提升自然语言到形式化查询的转换准确率。
2024-10-11 cs.AI cs.DB
CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version)
Università di Napoli Federico II（那不勒斯费德里科二世大学）；University of Bordeaux（波尔多大学）；CNRS（法国国家科学研究中心）；Bordeaux INP（波尔多国立理工学院）；LaBRI（波尔多计算机科学实验室）；Sapienza Università di Roma（罗马第一大学）；Università degli Studi di Bergamo（贝加莫大学）
受控查询评估（CQE）最近已经在语义Web本体的上下文中进行了研究。CQE的目标是隐藏一些查询答案，以防止外部用户推断机密信息。一般来说，存在多种相互不可比的隐藏答案的方法，并且先前的CQE方法预先选择哪些答案是可见的，哪些答案是不可见的。在本文中，相反，我们研究了一个动态的CQE方法，即，我们建议改变答案的基础上评价以前的当前查询。我们的目标是一个系统，除了能够保护机密数据，是最大限度地合作，这直观地意味着它肯定地回答尽可能多的查询，它通过尽可能多地延迟答案修改来实现这一目标。我们还表明，我们得到的行为不能通过静态的方法，独立于查询历史的内涵模拟。有趣的是，对于OWL 2 QL本体和通过拒绝表示的策略，在我们的语义下的查询评估是一阶的，因此在数据复杂度上是AC0。这为开发实用算法铺平了道路，本文也对此进行了初步探讨。
2022-07-22 cs.AI cs.DB
IfcWoD, Semantically Adapting IFC Model Relations into OWL Properties
ACTIVe3D；CNRS（法国国家科学研究中心）；ENSAM（法国国立高等工程技术学校）；Univ. Bourgogne Franche-Comté（勃艮第-弗朗什-孔泰大学）
在建筑信息建模的背景下，本体已被确定为在实现信息互操作性的兴趣。关于建筑和设施管理领域，已经开发了几个基于IFC（工业基础类）的本体，例如IfcOWL。在本体建模的上下文中，可以利用优化基于IFC STEP的文件的大小的约束。在本文中，我们提出了一个适应的IFC模型到OWL，利用所有的建模约束所需的面向对象的结构的IFC模式。因此，我们不仅提出了一个语法，但也是一个语义适应IFC模型。我们的模型考虑了IFC标准定义的实体，关系，属性和属性的含义。我们的方法提出了几个优势相比，其他举措，如查询执行时间的优化。每一个优势都通过实际的例子和基准来捍卫。
2015-11-12 cs.AI
Redundancy-free Verbalization of Individuals for Ontology Validation
Indian Institute of Technology Madras（印度理工学院马德拉斯分校）
本文研究领域本体的Web本体语言（OWL）公理的语言化问题。现有的方法通过探索用不同的语言形式表达相同的OWL公理的不同方法来解决动词化的OWL文本对OWL语义的保真度问题。它们还执行将对应于每个OWL语句生成的自然语言（NL）句子分组和聚合成可理解的结构。然而，没有努力尝试在逻辑层面上的语义减少，以消除冗余和重复，使减少的公理集可以用于生成更有意义和人类可理解的（我们称之为无冗余）文本。实验结果表明，在逻辑层次上进行形式化语义约简有助于生成无冗余的本体实体描述。在本文中，我们特别关注基于SHIQ本体的个体描述的生成。一个案例研究的细节，以支持有用的冗余的NL描述的个人，在知识验证应用。
2016-07-24 cs.AI
Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting
ILC - CNR（意大利国家研究委员会计算语言学研究所）；ISTI - CNR（意大利国家研究委员会信息科学与技术研究所）
OWL本体是目前一种非常流行的方法来描述结构化知识的类，类之间的关系和类实例。在本文中，给定一个OWL本体的目标类T，我们解决了学习模糊概念包含公理的问题，这些公理描述了成为T的一个单独实例的充分条件。要做到这一点，我们提出了模糊OWL-BOOST依赖于真正的AdaBoost升压算法适应（模糊）OWL的情况下。我们通过一个实验来说明它的有效性。一个有趣的功能是，学习的规则可以直接表示为模糊OWL 2。因此，任何模糊OWL 2推理器都可以用于自动确定/分类（以及在何种程度上）个体是否属于目标类T。
2021-03-26 cs.AI
Using Linguistic Analysis to Translate Arabic Natural Language Queries to SPARQL
The Islamic University of Gaza（伊斯兰大学（加沙））
语义网基于逻辑的机器可理解的框架往往挑战天真的用户，当他们试图查询基于本体的知识库。现有的研究工作已经接近这个问题，通过引入自然语言（NL）接口的本体。这些NL接口具有基于NL用户查询构造SPARQL查询的能力。然而，大多数努力仅限于用英语表达的查询，并且它们通常受益于英语NLP工具的进步。然而，很少有研究已经做了支持查询的阿拉伯语内容的语义Web上使用NL查询。本文提出了一种独立于领域的方法，利用语言分析将阿拉伯语NL查询转换为SPARQL。基于对名词短语（NPs）的特殊考虑，我们的方法使用语言解析器从阿拉伯语解析树中提取NPs和关系，并将它们与底层本体进行匹配。然后，它利用本体中的知识将NP分组为基于三重的表示。通过提取目标和修饰符，并将它们解释为SPARQL，最终生成SPARQL查询。对高级语义特征包括否定、连词和转折修饰语的解释也得到了支持。使用OWL测试数据和查询数据集对该方法进行了验证，结果证实了该方法将阿拉伯语NL查询转换为SPARQL的可行性。
2015-08-06 cs.AI cs.CL cs.DB
A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Concordia University（康考迪亚大学）
在本文中，我们报告了一个黑盒的方法来并行化现有的描述逻辑（DL）的Web本体语言（OWL）的推理。OWL本体分类是一种重要的推理服务，得到了各大OWL/DL推理机的支持。我们提出了一个灵活的并行框架，可以应用到现有的OWL推理机，以加快其分类过程。为了测试其性能，我们评估了我们的框架并行化的主要OWL推理机的概念分类。与所选的黑盒推理器相比，我们的结果表明，对于大多数真实世界的本体，本体分类的挂钟时间可以提高一个数量级。
2019-06-18 cs.AI cs.DC
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
TU Wien（维也纳工业大学）
本文提出了一种基于核心普遍模型的SHACL验证语义，利用描述逻辑Horn-ALCHIQ构建本体模型，并通过重写技术将本体存在下的SHACL验证转化为标准验证，证明其复杂性为EXPTIME完全问题。
2026-01-20 cs.AI cs.LO
Consistency Is Not Coherence: Orientation Search for Certified Alignments Between 4D Defence Upper Ontologies
The Tesseract Academy (Kampakis and Co Ltd)（泰瑟拉克特学院（坎帕基斯有限公司））
该研究针对英国和北约防御数据基础设施下的IES、HQDM、BFO三个上层本体，将17个对应关系交叉表推广到OWL，用HermiT推理得到三个有价值结果，解决了IES与HQDM无公开对齐的问题。
2026-08-25 cs.AI cs.DB cs.LO
Applying Ontological Modeling on Quranic Nature Domain
International Islamic University Chittagong（吉大港国际伊斯兰大学）；Universiti Sains Islam Malaysia（马来西亚伊斯兰理科大学）；Zarqa University（扎尔卡大学）
《古兰经》是穆斯林的圣书。它包含有关许多域的信息。人们经常根据概念之间的关系来寻找古兰经的特定概念。在这种情况下，古兰经的本体论建模可能是有用的。在本文中，我们使用OWL（Web本体语言）/ RDF（资源描述框架）的古兰经自然相关的概念建模。我们的方法包括确定古兰经中提到的与自然有关的概念，并确定这些概念之间的关系。这些概念和关系表示为OWL本体的类/实例和属性。稍后，在结果部分中显示，使用本体模型，SPARQL查询可以检索感兴趣的诗句和概念。因此，这种建模有助于对古兰经进行语义搜索和查询。在这项工作中，我们使用了Sahih International，Protege OWL编辑器对古兰经的英文翻译，并使用SPARQL进行查询。
2016-04-12 cs.AI cs.CL
Constraining ontology mappings using metaphysical choices
该研究提出基于本体形而上学承诺的语义映射验证方法，以IES与BFO的映射为例提供基数约束，通过SPARQL查询验证映射流水线结果，为语义映射验证提供了新途径。
2026-08-11 cs.AI cs.DB cs.LO
Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges
IIIT-Delhi（德里印度理工学院信息技术学院）；Adobe Inc.（奥多比公司）
本文综述了结合神经网络学习能力与符号推理能力的神经符号方法，以解决RDF、EL、ALC及OWL 2 RL本体推理中因规模大、表达力强、含噪声和不一致所导致的可扩展性与效率问题。
2023-08-09 cs.AI
Open Ontologies: Tool-Augmented Ontology Engineering with Stable Matching Alignment
The Tesseract Academy, London, United Kingdom（泰斯拉学院，伦敦，英国）
本文提出Open Ontologies系统，结合LLM驱动构建与形式OWL推理及本体对齐，发现稳定1对1匹配是本体对齐质量关键，且工具增强访问优于纯LLM解析。
2026-05-09 cs.AI cs.CL cs.DB
OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies
University of Genoa（热那亚大学）；Teseo s.r.l.（Teseo有限公司）
OWLOOP是一个应用程序编程接口（API），用于通过面向对象编程（OOP）的方式使用本体Web语言（OWL）。通常使用OOP范式设计软件架构以增加其模块性。如果体系结构的组件也利用OWL本体进行知识表示和推理，则它们需要与OWL公理接口。由于OWL不遵循OOP范式，这样的接口通常会导致影响模块化的样板代码，而OWLOOP旨在解决这个问题以及相关的计算方面。我们提出了一个扩展的OWL-API提供一个通用的接口之间的OWL公理推理和模块化的OOP对象层次结构。
2021-12-31 cs.AI cs.LO cs.SE
OBA: An Ontology-Based Framework for Creating REST APIs for Knowledge Graphs
Information Sciences Institute, University of Southern California（南加州大学信息科学研究所）
近年来，研究人员、工业界和公共机构越来越多地采用语义Web技术来描述和链接Web上的数据，创建Web注释，并使用Wikidata和DBPedia等大型知识图谱。然而，本体工程师和Web开发人员之间仍然存在知识差距，本体工程师设计，填充和创建知识图谱，Web开发人员需要理解，访问和查询这些知识图谱，但不熟悉本体，RDF或SPARQL。在本文中，我们描述了基于本体的API框架（OBA），我们的方法来自动创建REST API从本体，同时遵循REST API的最佳实践。给定一个本体（或本体网络），OBA使用Web开发人员熟悉的标准技术（OpenAPI规范，JSON），并将它们与W3C标准（OWL，JSON-LD框架和SPARQL）相结合，以创建具有文档，单元测试，资源和客户端自动验证（Python，JavaScript等）的mainingAPI。非语义网专家访问目标知识图谱的内容。我们展示了OBA与三个例子，说明了不同的本体框架的能力。
2020-07-17 cs.AI
Natural Language Access to Domain-Specific Metadata: A Reusable Framework for LLM Query Generation
Max Planck Institute for Biological Cybernetics（马克斯·普朗克生物信息学研究所）
研究针对特定领域档案元数据查询难题，提出NLKGQ系统，借助OWL本体和LLMs，能零样本生成准确结构化查询。经神经影像档案元数据实验，最佳配置准确率达100%，明确影响准确率关键因素，还对比SPARQL与SQL，凸显OWL优势。
2026-09-11 cs.AI cs.DB
Towards OWL-based Knowledge Representation in Petrology
Vernadsky State Geological Museum, Russian Academy of Sciences（俄罗斯科学院维尔纳茨基国家地质博物馆）
本文介绍了我们的OWL驱动系统的开发工作，正式表示和推理的术语知识和事实在岩石学。我们项目的长期目标是为各种知识的大规模集成提供坚实的基础，包括基本术语，岩石分类算法，发现和报告。我们在这里描述我们为实现这一目标所采取的三个步骤。首先，我们开发了一个半自动化的程序，用于将火成岩样本数据库转换为受控自然语言（CNL）中的文本，然后收集OWL本体。其次，我们创建了一个OWL本体的重要岩石学术语目前描述的自然语言叙词表。我们描述了一个原型的工具，用于收集领域专家的定义。第三，我们提出了一种方法，以形式化的岩石样品，这需要在OWL 2线性方程的分类目前的工业标准。最后，我们讨论了在岩石学中使用语义技术所带来的一系列机会，并概述了这一领域未来的工作。
2011-06-08 cs.AI
Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany（海德堡-哈根大学自动化技术研究所）；Chair of Automation Technology, Ruhr University, Bochum, Germany（鲁尔大学自动化技术教授职位）
本文提出将 AutomationML 自动映射为 OWL 本体，以支持用 SPARQL 查询和 SHACL 验证，从而突破 XML 工具在自动化数据应用中的限制。
2025-09-18 cs.AI
Computing CQ lower-bounds over OWL 2 through approximation to RSA
University of Oxford（牛津大学）
知识库上的连接查询应答是一个重要的推理任务。然而，使用诸如OWL的表达性本体语言，查询应答在计算上非常昂贵。PAGODA系统通过使用一个易于处理的推理器来计算下限和上限近似值来解决这个问题，只有当这些界限不一致时才返回到一个完全成熟的OWL推理器。这种方法的有效性关键取决于近似的质量，在本文中，我们探讨了一种通过RSA计算更接近近似的技术，RSA是一种本体语言，它包含了所有的OWL 2配置文件，同时仍然保持易处理性。我们提出了一种新的近似OWL 2本体到RSA，和一个算法来计算一个更接近（比PAGODA）下界近似使用RSA组合的方法。我们已经实现了这些算法在一个原型的CQ应答系统，我们提出了一个初步的评估，我们的系统，表现出显着的性能改进w.r.t.塔
2021-07-01 cs.AI cs.LO
Verbalizing Ontologies in Controlled Baltic Languages
Institute of Mathematics and Computer Science, University of Latvia（拉脱维亚大学数学与计算机科学研究所）
受控的自然语言（主要是基于英语的）最近已经出现了作为OWL本体创作的看似非正式的补充手段，如果与专业知识工程师使用的正式符号相比。在本文中，我们提出的例子控制拉脱维亚语已被设计为符合最先进的Attempto控制英语的状态。我们还讨论了与控制立陶宛语，正在设计的平行关系。
2012-11-02 cs.AI cs.CL
Optimizing Heuristics for Tableau-based OWL Reasoners
Concordia University（康考迪亚大学）；Nuance Communications（Nuance通讯公司）
优化技术在改进Web本体语言（OWL）的描述逻辑推理机方面发挥着重要作用。这些技术对于加速这些推理机是必不可少的。许多优化技术是基于启发式选择。最优启发式选择使这些技术更加有效。FaCT++ OWL reasoner及其Java版本JFact实现了一种称为ToDo list的优化技术，该技术可替代基于表的推理机中传统的自顶向下方法。待办事项列表机制允许人们通过给每个规则一个优先级来安排应用不同规则的顺序。与自顶向下的方法相比，ToDo列表技术对扩展规则的应用有更好的控制。学习ToDo lis中应用规则的适当启发式顺序将对推理速度产生很大影响。我们使用二进制SVM技术来构建我们的学习模型。该模型可以帮助选择特定于本体的顺序集，以加快OWL推理。平均而言，我们的学习方法测试与40个选定的本体实现了两个数量级的速度比最差的规则排序的选择。
2018-10-24 cs.AI
Natural Language Knowledge Graph Query Execution: Leveraging Controlled Semantics in the LLM Context Window
Max Planck Institute for Biological Cybernetics（马克斯·普朗克生物控制论研究所）
NLKGQ通过OWL本体在LLM上下文中传递受控语义，零样本生成SPARQL查询，并在多个知识图谱基准上显著提升查询匹配率。
2026-09-15 cs.AI cs.DB
The CaLiGraph Ontology as a Challenge for OWL Reasoners
University of Mannheim（曼海姆大学）
CaLiGraph是一个大规模的跨领域知识图谱，它利用维基百科中的分类系统、列表页面和其他列表结构从维基百科生成，包含超过1500万个类型化实体和大约1000万个关系断言。除了知识图谱，如DBpedia和YAGO，其本体过于简单，CaLiGraph也有丰富的本体，包括超过200，000个类限制。这两个属性-一个大的A盒和一个丰富的本体-使它成为基准推理机的一个有趣的挑战。在本文中，我们证明了一个推理任务，这是特别相关的CaLiGraph，即，将owl：hasValue约束具体化为个体之间以及个体与文字之间的断言，不足以得到可用推理系统的支持。我们提供了不同大小的基准子集的CaLiGraph，可用于推理系统的性能分析。
2022-01-04 cs.AI
Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
The MITRE Corporation（MITRE公司）
出现在逻辑编程理论与实践（TPLP），2008年。我们正在研究语义Web的规则和本体层之间的交互，通过比较两种选择：1）使用OWL及其规则扩展SWRL来开发集成的本体/规则语言，以及2）使用RuleML和OWL在本体之上分层规则。为此，我们正在开发的SWORIER系统，它使有效的本体和规则的自动推理，通过将所有这些翻译成Prolog，并添加一组一般规则，正确捕捉OWL的语义。我们还使用户能够在运行时间进行动态更改。这项工作解决了几个问题，在以前的工作中表示，如否定，互补类，析取头，和基数，它讨论了处理知识库中的不一致的替代方法。此外，为了提高效率，我们实现了称为扩展的技术，避免重新分析和代码最小化。
2007-11-21 cs.AI
Exact Learning of Lightweight Description Logic Ontologies
University of Liverpool（利物浦大学）；University of Bremen（不来梅大学）
我们研究的问题，学习描述逻辑（DL）本体在Angluin等人。的框架通过查询精确学习。我们承认成员查询（“是一个给定的包容所涉及的目标本体？“）和等价查询（“给定本体是否等价于目标本体？").我们提出了三个主要结果：（1）在描述逻辑DL-Lite（的两个相关版本）中制定的本体可以用多项式大小的多项式多个查询来学习;（2）对于在描述逻辑EL中制定的本体来说，情况并非如此，即使当仅允许非循环本体时也是如此;以及（3）在与web本体语言OWL 2 RL相关的EL的片段中制定的本体可以在多项式时间中学习。我们还表明，无论是成员资格或等价查询单独是不够的情况下（1）和（3）。
2017-09-20 cs.AI cs.LG cs.LO
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
Institute of Mathematics, Novosibirsk State University（新西伯利亚国立大学数学研究所）；Institute of Informatics Systems, Novosibirsk State University（新西伯利亚国立大学信息系统研究所）
我们介绍了一个扩展的Protege本体编辑器，它允许发现概念定义，这是不明确存在的公理，但逻辑上隐含的本体。该插件支持在描述逻辑EL中制定的本体，该描述逻辑EL支持Web本体语言的OWL 2 EL配置文件，尽管其有限的表达能力捕获了Web上发布的大多数生物医学本体。所开发的工具允许验证是否可以使用用户指定的感兴趣的词汇定义一个概念。特别是，它允许决定是否可以省略一些词汇项目在制定一个复杂的概念。相应的定义被呈现给用户，并被提供有由本体推理器生成的解释。
2018-10-10 cs.AI cs.LO
Syntactic Simplification of OWL Class Expressions
Paderborn University（帕德博恩大学）；Department of Computer Science（计算机科学系）
本文提出用于描述逻辑类表达式句法简化的新型算法CES，在两个中等规模本体的类表达式上验证其可提升推理效率、降低冗长度，该算法在OWLAPY框架中实现，推动本体驱动应用的可访问性等。
2026-08-20 cs.AI
