Pellet swMATH ID: 7019 Software Authors: Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.; Clark & Parsia, LLC Description: 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. Homepage: http://clarkparsia.com/pellet/ Programming Languages: Java Keywords: OWL 2 Reasoner; Semantic Web; Ontology Related Software: FaCT++; Racer; HermiT; swrl; Protege; Jena; SPARQL; KL-ONE; ELK; Konclude; CEL; RacerPro; KAON2; Chainsaw; DBpedia; Snorocket; OntoDLV; DLog; MiniSat; WordNet Cited in: 67 Publications all top 5 Cited by 126 Authors 11 Horrocks, Ian 8 Glimm, Birte 8 Motik, Boris 7 Jiang, Yuncheng 5 Sattler, Ulrike 4 Wang, Ju 3 Baader, Franz 3 Bellodi, Elena 3 Chen, Qimai 3 Cota, Giuseppe 3 Cuenca Grau, Bernardo 3 Haarslev, Volker 3 Kazakov, Yevgeny 3 Lamma, Evelina 3 Parsia, Bijan 3 Riguzzi, Fabrizio 3 Tang, Suqin 3 Tang, Yong 3 Zese, Riccardo 2 Colombetti, Marco 2 Fornara, Nicoletta 2 Kaminski, Mark 2 Matentzoglu, Nicolas 2 Rodler, Patrick 2 Rudolph, Sebastian 2 Simančík, František 2 Steigmiller, Andreas 1 Abdul Qadir, Muhammad 1 Arif, M. Fareed 1 Augusto, Juan Carlos 1 Autexier, Serge 1 Baggi, Michele 1 Ballis, Demis 1 Bhushan, Megha 1 Botía, Juan A. 1 Calin, Georgel 1 Calvanese, Diego 1 Cao, Zhanmao 1 Chung, Lawrence M. L. 1 Cucala, David Tena 1 Das, Souripriya 1 De Giacomo, Giuseppe 1 Dell’Armi, Tina 1 Deng, Peimin 1 Drescher, Conrad 1 Dubslaff, Clemens 1 Fahad, Muhammad 1 Falaschi, Moreno 1 Farsiniamarj, Nasim 1 Gallucci, Lorenzo 1 Garrido, José Luis 1 Gervás, Pablo 1 Goel, Shivani 1 Gonçalves, Rafael S. 1 Grasso, Giovanni 1 Groppe, Sven 1 Gu, Ming 1 Guhlemann, Steffen 1 Halaschek-Wiener, Christian 1 Hennicker, Rolf 1 Hurtado, María V. 1 Hustadt, Ullrich 1 Hutter, Dieter 1 Klinov, Pavel 1 Koopmann, Patrick 1 Krötzsch, Markus 1 Lange, Christoph 1 Lembo, Domenico 1 Lenzerini, Maurizio 1 Leone, Nicola 1 Liebig, Thorsten 1 Lin, Xi 1 Lin, Zuoquan 1 Liu, Hai 1 Liu, Hongkai 1 Lukácsy, Gergely 1 Lutz, Carsten 1 Marques-Silva, João P. 1 Mencía, Carlos 1 Muñoz, Andres 1 Myers, Robert S. R. 1 Nenov, Yavor 1 Nikitina, Nadeschda 1 Noguera, Manuel 1 Patel-Schneider, Peter F. 1 Pattinson, Dirk 1 Peinado, Federico 1 Peñaloza, Rafael 1 Petersohn, Uwe 1 Poggi, Antonella 1 Ricca, Francesco 1 Rodriguez-Muro, Mariano 1 Rodríguez, María Luisa 1 Rosati, Riccardo 1 Ruhland, Johannes 1 Sattler, Uli 1 Schekotihin, Konstantin 1 Schindlauer, Roman 1 Schröder, Lutz 1 Schroeder, Andreas ...and 26 more Authors all top 5 Cited in 20 Serials 11 Journal of Automated Reasoning 4 Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 2 Computers & Mathematics with Applications 2 AI Communications 2 Journal of Logic and Computation 2 Theory and Practice of Logic Programming 1 Fuzzy Sets and Systems 1 Information Sciences 1 Science of Computer Programming 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Mathematical and Computer Modelling 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Journal of Applied Mathematics 1 Sādhanā 1 Science in China. Series F 1 Studies on the Semantic Web all top 5 Cited in 6 Fields 64 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year