Pellet System Description

Monitoring and Indicators of Forest Biodiversity – from Ideas to Operationality

Evren Sirin ; Bijan Parsia

Others  :  http://CEUR-WS.org/Vol-189/submission_31.pdf
PID  :  352

来源: CEUR

【 摘 要 】

The description logic SHOIN(D) has attracted considerable interest as the foundation of the W3C standard Web Ontology Language variant, OWL-DL. Pellet is a sound and complete tableau reasoner for SHOIN(D) and incorporates a number of key features such as conjunctive ABox query, axiom pinpointing, rules, E-connection reasoning, and novel optimizations for nominals. In this paper we summarize Pellet’s features and special capabilities.