早教吧作业答案频道 -->政治-->
关于语义网的逻辑描述问题在语义网中,描述逻辑ALC中的△I指的是论域的非空集合,这个论域是什么意思?在TBOX中,解释I称为TBOXT的模型,这个T是什么意思?在ABOX中那个A又该怎么理解?
题目详情
关于语义网的逻辑描述问题
在语义网中,描述逻辑ALC中的△I 指的是论域的非空集合,这个论域是什么意思?
在TBOX中,解释I称为TBOX T的模型,这个T是什么意思?在ABOX中那个A又该怎么理解?
在语义网中,描述逻辑ALC中的△I 指的是论域的非空集合,这个论域是什么意思?
在TBOX中,解释I称为TBOX T的模型,这个T是什么意思?在ABOX中那个A又该怎么理解?
▼优质解答
答案和解析
论域是个体域,也就是个体变量的值域；当有多个个体变量时,就是这些个体变量值域的综合；
TBOX主要指概念和角色的定义以及可以推理出的概念和角色；而ABOX只要是符合TBOX定义的一些实例,也就是个体的声明；二者的关系可以类比理解为数据库中的关系模式和关系（具体二维表）,或者面向对象中的类和实例.
TBOX主要指概念和角色的定义以及可以推理出的概念和角色；而ABOX只要是符合TBOX定义的一些实例,也就是个体的声明；二者的关系可以类比理解为数据库中的关系模式和关系（具体二维表）,或者面向对象中的类和实例.
看了 关于语义网的逻辑描述问题在语...的网友还看了以下：
高中函数换元法的原理,比如 f（x+4）=x2+6求f（x）这道题用t=x+4 x=t-4 再代入 2020-05-17 …
讨论：关于如何求卷积x(t)*h(-t)的积分表达式?以前信号与系统里学过了x(t)*h(t)的表 2020-06-06 …
高一关于函数的题.已知函数y=x+t/x有如下性质：如果常数t＞o,那么该函数在（0,√t)上是减 2020-06-08 …
偏导数əz/əx=g'(t)*ət/əx//这公式什么意思? 2020-06-20 …
已知：dx(t)/dt=y(t)x(t),初始条件为x(0)=0,y(t)不恒等于0.x(t)必定 2020-07-23 …
y=f(x,t)t=t(x,y)方程由F(x,y,t)所确定问为什么这个函数的显函数是y=(t)t 2020-07-25 …
用换元法求函数解析式的问题中,我有一个地方不是很理解.具体如下已知f(x-1)=x²-2x,求f( 2020-08-01 …
mathematica求解这个微分方程DSolve[{x[t]x''[t]+x'[t]^2-gx[ 2020-08-02 …
一个简单多变函数的积分证明..f(x)=∫h(x,t)dt=h(x,g(x))g(x)+∫hx(x 2020-08-02 …
f(x)=x^2+bx+c的对称轴为3/2且经过点（0,3）,函数h(x)=e^x,定义函数F(X) 2020-11-19 …