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

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

1 2 3 4 next

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

1 2 3 4 next