formal specification; knowledge representation languages; ontologies (artificial intelligence); OWL-S; Object-Z semantics; formal specification;
机译:基于最高感计数的印地语Web信息检索中的Web查询消歧方法
机译:一种用于Web数据语义检索的智能Web查询方法
机译:通过查询扩展和基于本体的LSA排名相似度测量的语义网络中的可扩展信息检索系统
机译:即时Web检索实例属性查询
机译:使用自动查询扩展来改善Web信息检索系统的结果相关性。
机译:LinkHub:语义Web系统可促进蛋白质组学中的跨数据库查询和信息检索
机译:链接分析:证据,相关性措施,网络搜索类型和使用超文本检索的查询
机译:信息检索的公理化方法 - 特拉华大学在TREC 2009年的百万查询和网络跟踪