Pellet: A practical OWL-DL reasoner

被引:1561
作者
Sirin, Evren [1 ]
Parsia, Bijan [1 ]
Grau, Bernardo Cuenca [1 ]
Kalyanpur, Aditya [1 ]
Katz, Yarden [1 ]
机构
[1] Univ Maryland, MIND Lab, College Pk, MD 20742 USA
来源
JOURNAL OF WEB SEMANTICS | 2007年 / 5卷 / 02期
关键词
web ontology language; description logics; tableau theorem proving;
D O I
10.1016/j.websem.2007.03.004
中图分类号
TP18 [人工智能理论];
学科分类号
081104 [模式识别与智能系统]; 0812 [计算机科学与技术]; 0835 [软件工程]; 1405 [智能科学与技术];
摘要
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source. (C) 2007 Published by Elsevier B. V.
引用
收藏
页码:51 / 53
页数:3
相关论文
共 10 条
[1]
Baader F., 2003, The Description Logics Handbook: Theory, Implementations, and Applications
[2]
AL-log: Integrating datalog and description logics [J].
Donini, FM ;
Lenzerini, M ;
Nardi, D ;
Schaerf, A .
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 10 (03) :227-252
[3]
An epistemic operator for description logics [J].
Donini, FM ;
Lenzerini, M ;
Nardi, D ;
Nutt, W ;
Schaerf, A .
ARTIFICIAL INTELLIGENCE, 1998, 100 (1-2) :225-274
[4]
Combining OWL ontologies using ε-Connections [J].
Grau, Bernardo Cuenca ;
Parsia, Bijan ;
Sirin, Evren .
JOURNAL OF WEB SEMANTICS, 2006, 4 (01) :40-59
[5]
HALASCHEKWIENER C, 2006, P 5 INT C ONT DAT AP
[6]
KALYANPUR A, 2005, 4764 CS U MAR
[7]
KOLOVSKI V, 2006, P INT DESCR LOG WORK
[8]
SIRIN E, 2005, 4766 CS U MAR
[9]
Sirin E., 2006, P INT DESCR LOG WORK
[10]
SIRIN E, 2006, INT C PRINC KR KR 20