Pellet: A practical OWL-DL reasoner
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), pages 51-53
June 2007
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. |
(keywords) Web Ontology Language; Description logics; Tableau Theorem Proving |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
— status
published
— sort
article in journal
— publication date
June 2007
— journal
Web Semantics: Science, Services and Agents on the World Wide Web
— volume
5
— issue
2
— pages
51-53
identifiers
— DOI
— print ISSN
1570-8268