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 41 to 60 of 92.
Sorted by year (citations)
  1. Benavides, David; Segura, Sergio; Ruiz-Cortés, Antonio: Automated analysis of feature models 20 years later: a literature review (2010) ioport
  2. Bennicke, Marcel; Lewerentz, Claus: Towards managing software architectures with ontologies (2010) ioport
  3. Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee: Incremental classification of description logics ontologies (2010)
  4. Farsiniamarj, Nasim; Haarslev, Volker: Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic (\mathcalSHQ). (2010)
  5. Fornara, Nicoletta; Colombetti, Marco: Ontology and time evolution of obligations and prohibitions using semantic web technology (2010)
  6. Fornara, Nicoletta; Colombetti, Marco: Representation and monitoring of commitments and norms using OWL (2010)
  7. Francisco, Virginia; Gervás, Pablo; Peinado, Federico: Ontological reasoning for improving the treatment of emotions in text (2010) ioport
  8. García, Roberto; Gil, Rosa: Content value chains modelling using a copyright ontology (2010) ioport
  9. Glimm, Birte; Horrocks, Ian; Motik, Boris: Optimized description logic reasoning via core blocking (2010)
  10. Jiang, Yuncheng; Tang, Yong; Chen, Qimai; Wang, Ju; Tang, Suqin: Extending soft sets with description logics (2010)
  11. Konstantinou, Nikolaos; Solidakis, Emmanuel; Zafeiropoulos, Anastasios; Stathopoulos, Panagiotis; Mitrou, Nikolas: A context-aware middleware for real-time semantic enrichment of distributed multimedia metadata (2010) ioport
  12. Meditskos, Georgios; Bassiliades, Nick: Dlejena: A practical forward-chaining OWL 2 RL reasoner combining jena and pellet (2010) ioport
  13. Muñoz, Andres; Botía, Juan A.; Augusto, Juan Carlos: Intelligent decision-making for a smart home environment with multiple occupants (2010)
  14. Noguera, Manuel; Hurtado, María V.; Rodríguez, María Luisa; Chung, Lawrence; Garrido, José Luis: Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (2010)
  15. Rudolph, Sebastian; Glimm, Birte: Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend! (2010)
  16. Serral, Estefanía; Valderas, Pedro; Pelechano, Vicente: Towards the model driven development of context-aware pervasive systems (2010) ioport
  17. Baader, Franz: Description logics (2009)
  18. Blanco-Fernández, Yolanda; Pazos-Arias, José J.; Gil-Solla, Alberto; Ramos-Cabrer, Manuel; López-Nores, Martín: Broadcasting and personalization of user-generated contents in DVB-H mobile networks (2009) ioport
  19. Calin, Georgel: CoLoSS: the coalgebraic logic satisfiability solver (2009)
  20. Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo: Ontologies and databases: the DL-lite approach (2009)