Modelling Structured Domains Using Description Graphs and Logic Programming
Modelling Structured Domains Using Description Graphs and Logic Programming
复制标题
使用描述图和逻辑编程对结构化域进行建模
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
Despoina Magka;B. Motik;Ian Horrocks
虽然OWL 2被广泛用于描述复杂的对象，如化学分子，但它不能表示化学实体的“结构”特征（例如，有戒指）。规则和描述图（DG）的组合已被提出作为一种可能的解决方案，但它仍然表现出几个缺点。在本文中，我们提出了一个完全不同的方法，我们称之为描述图逻辑程序。从语法上讲，我们的方法结合了DG，规则和OWL 2 RL公理，但其语义是通过翻译成逻辑程序下的稳定模型语义定义。其结果是一个富有表现力的OWL 2 RL兼容的形式主义，非常适合建模对象的复杂结构。
Although OWL 2 is widely used to describe complex objects such as chemical molecules, it cannot represent ‘structural' features of chemical entities (e.g., having a ring). A combination of rules and description graphs (DGs) has been proposed as a possible solution, but it still exhibits several drawbacks. In this paper we present a radically different approach that we call Description Graph Logic Programs. Syntactically, our approach combines DGs, rules, and OWL 2 RL axioms, but its semantics is defined via a translation into logic programs under stable model semantics. The result is an expressive OWL 2 RL-compatible formalism that is well suited for modelling objects with complex structure.
影响因子：
2.5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike