我很好奇,为什么Grakn选择用名词语义而不是动词语义来表示关系呢?在我讨论过的大多数其他图表工作和研究中,通常认为两个实体(名词)通过动词(例如person worked at company )联系在一起是有意义的。实际上,对于我正在处理的几个实体来说,将关系作为名词进行推理有点困难--例如,如果是artist remixed track。我倾向于使用动词作为关系,但我想知道,在Grakn设置中,这是不是我应该考虑的问题。如果我决
我正在学习类型推理的论文和我坚持在非常开始。我基本上混淆了多态多于关系的概念,因此不能继续下去。
如果参数的类型比函数的参数类型更具多态性,则该参数是可以接受的。根据我的理解,如果说T1比T2更具多态性,那就是说任何具有T2类型的实例都必须满足T1类型。因此,按照我的定义,forall a. a比Int更具多态性。然后根据文章的引文,fo
我在我的程序中使用了实现继承,并且我的子类中的方法没有在main方法中被调用。它显示错误"The method getArea() is not defined in type Second“。getPerimeter()方法也有同样的问题。
我尝试过设置值和更改参数。有关计算三角形面积的公式,请参见编程练习2.15。类和GeometricObject类的UML图,并实现类。编写一个测试程序,提示用户输入三角形的三条边、颜色和布尔值,以指示三