阻塞机制相关论文
为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Table......
高校精品课程建设工程是加强高等学校教育质量建设的重要举措。实现高校精品课程资源共享是解决高等教育资源分布不均,促进教育公平......
随着Bit Torrent系统的广泛使用,Bit Torrent引起了学术界的极大关注。已有的研究工作主要集中于Bit Torrent测量、建模和算法等方......
为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox几ABoxA和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的......