弹丸 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/pellet/ 编程语言： Java语言 关键词： OWL 2推理机;语义Web;本体论 相关软件： 故障电流互感器++;赛车手;HermiT公司;旋转（swrl）;SPARQL公司;Protege公司;耶拿;KL-ONE公司;康clude;ELK公司;塞尔;RacerPro赛车;DBpedia（数据库）;KAON2公司;MERGEXPLAIN公司;OntoDebug（开始调试）;Snorocket雪橇;接通DLV;DLog（数据日志）;链锯 引用于： 71文件 全部的 前5名136位作者引用 11 伊恩·霍洛克斯 8 格利姆，伯尔特 8 鲍里斯·莫提克 7 姜云成 5 乌尔里克·萨特勒 4 王菊 三 弗兰兹·巴德 三 埃琳娜·贝洛迪 三 陈启迈 三 朱塞佩·科塔 三 伯纳多·昆卡·格劳 三 沃尔克·哈尔斯列夫 三 叶夫根尼·哈萨克夫 三 伊芙琳娜·拉姆 三 比扬·帕西娅 三 法布里西奥·里古齐 三 帕特里克·罗德勒 三 唐素琴 三 唐勇 三 里卡多·泽斯 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 Gervás，巴勃罗 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 Joáo P.塞尔瓦侯爵。 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 Daniele Francesco Santamaria …还有36位作者 全部的 前5名21篇连载文章中引用 11 自动推理杂志 5 人工智能 三 人工智能研究杂志 2 计算机与数学及其应用 2 人工智能通信 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） 按年份列出的引文