我是Openlink Virtuoso的新手。我想做一些基于if- And语句的推理规则,比如,
if (B is fatherof C & A is fatherof B) then (A is grandfatherof C).
根据,Virtuoso可以使用本体(图)来推断RDF。Virtuoso能否使用if-h语句推理规则?
谢谢!
在ASP NET项目中,我有一个网格视图控件,其中包含以下信息:
Column A Column B Column C Graph
Value A 1 9 Graph A
Value B 3 7 Graph B
图表列的每一行都有一个图表控件,即每个图表的信息代表每一行的值,例如,图A有一个10%和90%的条形图,而图B有一个有30%和70%的条形图。
不,我想知道的是这样表示信息的最简单的方式:
Column A Column B Column C
Value A 1
public class A{
public A(int num){ num += 2;}
}
public class B Extends A{
public B(int num){ super(num);}
}
public class C Extends B{
public C(int num){ super(num);}
}
像这样的东西看起来像一个UML类图吗?通常,如果只有一个类继承自另一个类,那么我将使用泛化。我该怎么承受呢?一张样本图就太好了。
我需要构建一个表示文件中类的继承图的数据结构。这是为只支持单一继承的语言编写编译器的一部分。
出现的所有类的名称都存储在链接列表中。我需要遍历这个列表并从中构建一个继承图。然后,我需要检查继承中是否存在循环,例如
B inherits A
C inherits B
然后
A cannot inherit C.
这种循环在语言中是不允许的。
什么样的数据结构最适合这样做?
因此,我尝试在python上使用graphviz包,它有一个名为subgraph()的方法,但我认为它不同于网络理论中广泛使用的定义。
据我所知,子图是指它的节点和边是另一个图的子集的图。
在图says用户指南上,它说:
将给定的唯一图参数的当前内容添加为子图,或者返回上下文管理器,返回用给定的(名称、注释等)创建的新图形实例。参数,其内容在离开上下文管理器的带-块时被添加为子图。
这是用户指南中的一个示例。
import graphviz
p = Graph(name='parent')
p.edge('spam', 'eggs')
c = G