Pellet: OWL 2 Reasoner for Java. For applications that need to represent and reason about information using OWL, Pellet is the leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support for OWL 2 profiles including OWL 2 EL. It incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in Pellet Help. An OWL DL reasoner like Pellet is a core component of ontology-based data management applications; if you need expertise in the use of Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety of roles: consulting, application development, and OEM licensing.

References in zbMATH (referenced in 92 articles )

Showing results 61 to 80 of 92.
Sorted by year (citations)
  1. Das, Souripriya; Srinivasan, Jagannathan: Database technologies for RDF (2009)
  2. Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael: Putting ABox updates into action (2009)
  3. Gaines, Brian R.: Designing visual languages for description logics (2009) ioport
  4. Gessler, Damian; Schiltz, Gary S.; May, Greg D.; Avraham, Shulamit; Town, Christopher D.; Grant, David; Nelson, Rex T.: SSWAP: A simple semantic web architecture and protocol for semantic web services (2009) ioport
  5. Jiang, Yuncheng; Wang, Ju; Deng, Peimin; Tang, Suqin: Reasoning within expressive fuzzy rough description logics (2009)
  6. Jiang, Yuncheng; Wang, Ju; Tang, Suqin; Xiao, Bao: Reasoning with rough description logics: An approximate concepts approach (2009)
  7. Lukácsy, Gergely; Szeredi, Péter: Efficient description logic reasoning in Prolog: The DLog system (2009)
  8. Myers, Rob; Pattinson, Dirk; Schröder, Lutz: Coalgebraic hybrid logic (2009)
  9. Ricca, Francesco; Gallucci, Lorenzo; Schindlauer, Roman; Dell’Armi, Tina; Grasso, Giovanni; Leone, Nicola: OntoDLV: an ASP-based system for enterprise ontologies (2009)
  10. Serafini, Luciano; Tamilin, Andrei: Composing modular ontologies with distributed description logics (2009)
  11. Agudo, Isaac; Lopez, Javier; Montenegro, Jose A.: Enabling attribute delegation in ubiquitous environments (2008) ioport
  12. Fahad, Muhammad; Qadir, Muhammad Abdul; Shah, Syed Adnan Hussain: Evaluation of ontologies and DL reasoners (2008)
  13. Glimm, Birte; Kazakov, Yevgeny: Role conjunctions in expressive description logics (2008)
  14. Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U.: Conjunctive query answering for the description logic SHIQ (2008)
  15. Heinrich, Bernd; Bewernik, Marc-Andre; Henneberger, Matthias; Krammer, Alexander; Lautenbacher, Florian: SEMPA - ein ansatz des semantischen prozessmanagements zur planung von prozessmodellen (2008) ioport
  16. Lin, Chia-Hung; Hong, Jen-Shin; Doerr, Martin: Issues in an inference platform for generating deductive knowledge: a case study in cultural heritage digital libraries using the CIDOC CRM (2008) ioport
  17. Motik, Boris; Horrocks, Ian: Individual reuse in description logic reasoning (2008)
  18. van Riemsdijk, M. Birna; Hennicker, Rolf; Wirsing, Martin; Schroeder, Andreas: Service specification and matchmaking using description logic. An approach based on institutions (2008)
  19. Wang, Ju; Jiang, Yuncheng; Shen, Yuming: Satisfiability and reasoning mechanism of terminological cycles in description logic (v\mathcalL) (2008)
  20. Horrocks, Ian; Glimm, Birte; Sattler, Ulrike: Hybrid logics and ontology languages (2007)