弹丸 swMATH ID: 7019 软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司 描述: Pellet:OWL 2 Reasoner for Java。对于需要使用OWL表示和推理信息的应用程序,Pellet是系统的首选,在这些系统中,完整的OWL DL推理至关重要。Pellet包括对OWL 2配置文件的支持,包括OWL 2EL。它集成了对名词、连接查询应答和增量推理的优化。Pellet帮助中提供了有关系统架构及其功能的更多详细信息。像Pellet这样的OWL DL推理器是基于本体的数据管理应用程序的核心组件;如果您需要将Pellet用于高级集成或分析应用程序方面的专业知识,Clark&Parsia LLC可以帮助您发挥各种作用:咨询、应用程序开发和OEM许可。 主页: http://clarkparsia.com/peller/ 编程语言: Java语言 关键词: OWL 2推理机;语义Web;本体论 相关软件: 故障电流互感器++;赛车手;HermiT公司;旋转(swrl);SPARQL公司;Protege公司;耶拿;KL-ONE公司;康clude;ELK公司;CEL公司;RacerPro赛车;DBpedia(数据库);KAON2公司;MERGEXPLAIN公司;OntoDebug(开始调试);Snorocket雪橇;接通DLV;DLog(数据日志);链锯 引用于: 71文件 全部的 前5名136位作者引用 11 伊恩·霍洛克斯 8 格利姆,伯尔特 8 鲍里斯·莫提克 7 姜云成 5 乌尔里克·萨特勒 4 王菊 三 Franz巴德 三 埃琳娜·贝洛迪 三 陈启迈 三 朱塞佩·科塔 三 Cuenca Grau,贝尔纳多 三 沃尔克·哈尔斯列夫 三 叶夫根尼·哈萨克斯坦 三 伊芙琳娜·拉姆 三 比扬·帕西娅 三 法布里齐奥·里古齐 三 帕特里克·罗德勒 三 唐素琴 三 唐勇 三 里卡多·泽斯 2 马尔科·科伦贝蒂 2 尼科莱塔·福娜拉 2 马克·卡明斯基 2 尼古拉斯·马滕佐格鲁 2 塞巴斯蒂安·鲁道夫 2 弗朗蒂舍克·西蒙切克 2 安德烈亚斯·斯特格米勒 1 穆罕默德·阿卜杜勒·卡迪尔 1 阿里夫·M·法里德 1 胡安·卡洛斯·奥古斯托 1 谢尔盖·奥特西尔 1 米歇尔·巴吉 1 黛米斯·巴利斯 1 梅加·布珊 1 Juan a.Botía。 1 乔治·卡林 1 迭戈·卡尔瓦内斯 1 坎通纳,多梅尼科 1 曹展茂 1 劳伦斯·M·L·钟。 1 大卫·特纳·库卡拉 1 达斯,苏里普利亚 1 朱塞佩·德贾科莫 1 黛尔·阿尔米,蒂娜 1 邓佩敏 1 康拉德·德雷舍尔 1 克莱门斯·杜伯斯拉夫 1 穆罕默德·法哈德 1 莫雷诺,法拉斯基 1 纳西姆·法西尼亚马尔吉 1 洛伦佐·加卢奇 1 高金凤 1 何塞·路易斯·加里多 1 巴勃罗·格瓦斯 1 希瓦尼·戈尔 1 拉斐尔·冈萨尔维斯。 1 乔瓦尼·格拉索 1 斯文·格罗佩 1 顾,明 1 斯蒂芬·古勒曼 1 克里斯蒂安·哈拉斯切克·维纳 1 罗尔夫·亨尼克 1 María V.Hurtado。 1 乌尔里希·赫斯塔特 1 迪特尔·赫特 1 巴维尔·克里诺夫 1 克诺尔,马蒂亚斯 1 帕特里克·科普曼 1 马库斯·科洛奇 1 克里斯托夫·兰格 1 多梅尼科·伦博 1 莫里齐奥·伦泽里尼 1 尼古拉·利昂 1 托尔斯滕·利比格 1 林,希 1 林,左权 1 刘海 1 刘洪凯 1 格格利·卢卡西 1 卡斯滕·卢茨 1 若昂·席尔瓦侯爵。 1 卡洛斯·门西娅 1 安德烈斯·穆尼奥斯 1 罗伯特·S·R·迈尔斯。 1 亚沃·内诺夫 1 玛丽安娜·尼科洛西·阿斯蒙多 1 纳德斯赫达·尼基蒂娜 1 曼纽尔·诺格拉 1 彼得·施奈德(Peter F.Patel-Schneider)。 1 德克·帕丁森 1 费德里科·佩纳多 1 拉斐尔·佩尼亚洛萨 1 乌韦·彼得森 1 安东尼拉·波吉 1 弗朗西斯科·里卡 1 玛丽亚诺·罗德里格斯·穆罗 1 玛丽亚·路易莎·罗德里格斯 1 里卡多·罗萨蒂 1 约翰内斯·鲁兰德 1 丹尼尔·弗朗西斯科·桑塔马利亚 …还有36位作者 全部的 前5名21篇连载文章中引用 11 自动推理杂志 5 人工智能 三 人工智能研究杂志 2 计算机与数学及其应用 2 AI通信 2 逻辑与计算杂志 2 逻辑程序设计理论与实践 1 模糊集与系统 1 信息科学 1 计算机程序设计科学 1 新一代计算 1 国际近似推理杂志 1 数学和计算机建模 1 计算的形式方面 1 数学与人工智能年鉴 1 软计算 1 应用数学杂志 1 萨达纳 1 数学生物科学与工程 1 中国科学。F系列 1 语义网研究 全部的 前5名在6个字段中引用 68 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 2 生物学和其他自然科学(92-XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文