Pellet

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 85 articles )

Showing results 1 to 20 of 85.
Sorted by year (citations)

1 2 3 4 5 next

  1. Günther, Martin; Wiemann, Thomas; Albrecht, Sven; Hertzberg, Joachim: Model-based furniture recognition for building semantic object maps (2017)
  2. Lemaignan, Séverin; Warnier, Mathieu; Sisbot, E.Akin; Clodic, Aurélie; Alami, Rachid: Artificial cognition for social human-robot interaction: an implementation (2017)
  3. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  4. Bhushan, Megha; Goel, Shivani: Improving software product line using an ontological approach (2016)
  5. Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina: Distributed parameter learning for probabilistic ontologies (2016)
  6. Arif, M.Fareed; Mencía, Carlos; Marques-Silva, Joao: Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing (2015)
  7. Autexier, Serge; Hutter, Dieter: SHIP -- a logic-based language and tool to program smart environments (2015)
  8. Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner (2015)
  9. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  10. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  11. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)
  12. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcalEL$ (2014)
  13. Razzaq, Abdul; Latif, Khalid; Ahmad, H.Farooq; Hur, Ali; Anwar, Zahid; Bloodsworth, Peter Charles: Semantic security against web application attacks (2014) ioport
  14. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  15. Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten: Reasoning with nominal schemas through absorption (2014)
  16. Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan: Inconsistency-tolerant reasoning with OWL DL (2014)
  17. Bastinos, Ana Šaša; Krisper, Marjan: Multi-criteria decision making in ontologies (2013) ioport
  18. Lin, Xi; Zhang, Hehua; Gu, Ming: OntCheck: an ontology-driven static correctness checking tool for component-based models (2013)
  19. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  20. Schoefegger, Karin; Tammet, Tanel; Granitzer, Michael: A survey on socio-semantic information retrieval (2013) ioport

1 2 3 4 5 next