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

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

1 2 3 4 next

  1. Autexier, Serge; Hutter, Dieter: SHIP -- a logic-based language and tool to program smart environments (2015)
  2. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  3. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  4. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)
  5. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcalEL$ (2014)
  6. Razzaq, Abdul; Latif, Khalid; Ahmad, H.Farooq; Hur, Ali; Anwar, Zahid; Bloodsworth, Peter Charles: Semantic security against web application attacks (2014)
  7. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  8. Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten: Reasoning with nominal schemas through absorption (2014)
  9. Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan: Inconsistency-tolerant reasoning with OWL DL (2014)
  10. Bastinos, Ana Šaša; Krisper, Marjan: Multi-criteria decision making in ontologies (2013)
  11. Lin, Xi; Zhang, Hehua; Gu, Ming: OntCheck: an ontology-driven static correctness checking tool for component-based models (2013)
  12. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013)
  13. Schoefegger, Karin; Tammet, Tanel; Granitzer, Michael: A survey on socio-semantic information retrieval (2013)
  14. Breuer, Thomas; Macedo, Geovanny R.Giorgana; Hartanto, Ronny; Hochgeschwender, Nico; Holz, Dirk: Johnny: an autonomous service robot for domestic environments (2012)
  15. Würsch, Michael; Ghezzi, Giacomo; Hert, Matthias; Reif, Gerald; Gall, Harald C.: SEON: a pyramid of ontologies for software evolution and its applications (2012)
  16. Baggi, Michele; Ballis, Demis; Falaschi, Moreno: An access control language based on term rewriting and description logic (2011)
  17. Groppe, Sven: Data Management and query processing in semantic web databases. (2011)
  18. Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele: Automated reasoning in $\mathcalALCQ$ via SMT (2011)
  19. Hartanto, Ronny: Fusing DL reasoning with HTN planning - rich domain planning for mobile robotics (2011)
  20. Jiang, Yuncheng; Liu, Hai; Tang, Yong; Chen, Qimai: Semantic decision making using ontology-based soft sets (2011)

1 2 3 4 next