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

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

1 2 3 4 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. Bhushan, Megha; Goel, Shivani: Improving software product line using an ontological approach (2016)
  4. Autexier, Serge; Hutter, Dieter: SHIP -- a logic-based language and tool to program smart environments (2015)
  5. Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner (2015)
  6. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  7. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  8. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)
  9. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcalEL$ (2014)
  10. Razzaq, Abdul; Latif, Khalid; Ahmad, H.Farooq; Hur, Ali; Anwar, Zahid; Bloodsworth, Peter Charles: Semantic security against web application attacks (2014) ioport
  11. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  12. Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten: Reasoning with nominal schemas through absorption (2014)
  13. Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan: Inconsistency-tolerant reasoning with OWL DL (2014)
  14. Bastinos, Ana Šaša; Krisper, Marjan: Multi-criteria decision making in ontologies (2013) ioport
  15. Lin, Xi; Zhang, Hehua; Gu, Ming: OntCheck: an ontology-driven static correctness checking tool for component-based models (2013)
  16. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  17. Schoefegger, Karin; Tammet, Tanel; Granitzer, Michael: A survey on socio-semantic information retrieval (2013) ioport
  18. Breuer, Thomas; Macedo, Geovanny R.Giorgana; Hartanto, Ronny; Hochgeschwender, Nico; Holz, Dirk: Johnny: an autonomous service robot for domestic environments (2012) ioport
  19. Würsch, Michael; Ghezzi, Giacomo; Hert, Matthias; Reif, Gerald; Gall, Harald C.: SEON: a pyramid of ontologies for software evolution and its applications (2012) ioport
  20. Baggi, Michele; Ballis, Demis; Falaschi, Moreno: An access control language based on term rewriting and description logic (2011)

1 2 3 4 next