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

← 1 →