CEL swMATH ID: 12477 Software Authors: Baader, F., Lutz, C., Suntisrivaraporn, B. Description: Description logics (DLs) are an important family of formalisms for reasoning about ontologies. CEL is the first reasoner for the description logic EL+, supporting as its main reasoning task the computation of the subsumption hierarchy induced by EL+ ontologies. The most distinguishing feature of CEL is that, unlike other modern DL reasoners, it implements a polynomial-time algorithm. The supported description logic EL+ offers a selected set of expressive means that are tailored towards the formulation of medical and biological ontologies. CEL is an OWL 2 EL reasoner (albeit currently with some limitations). To get some idea about what logical aspects can be expressed in CEL ontologies, look at our toy ontologies page. Homepage: http://lat.inf.tu-dresden.de/systems/cel/ Related Software: Pellet; FaCT++; ELK; Racer; HgMUS; BEACON; EL2MCS; Just; Ltur; Snorocket; WebPIE; KL-ONE; HermiT; ProbLog; MaxHS; MiniSat; QUICKXPLAIN; Ontobee; Protege; DReW Cited in: 14 Documents all top 5 Cited by 29 Authors 3 Peñaloza, Rafael 2 Arif, M. Fareed 2 Cuenca Grau, Bernardo 2 Horrocks, Ian 2 Kazakov, Yevgeny 2 Krötzsch, Markus 2 Marques-Silva, João P. 2 Mencía, Carlos 2 Motik, Boris 1 Baader, Franz 1 Bonatti, Piero Andrea 1 Ceylan, İsmail İlkan 1 Distel, Felix 1 Ecke, Andreas 1 Halaschek-Wiener, Christian 1 Helmert, Malte 1 Hoffmann, Jörg 1 Ignatyev, Alexey A. 1 Konev, Boris 1 Manthey, Norbert 1 Petrova, Iliana M. 1 Pistore, Marco 1 Sauro, Luigi 1 Simančík, František 1 Stoilos, Giorgos 1 Suntisrivaraporn, Boontawee 1 Turhan, Anni-Yasmin 1 Walther, Dirk 1 Wolter, Frank Cited in 4 Serials 3 Journal of Automated Reasoning 2 The Journal of Artificial Intelligence Research (JAIR) 1 Artificial Intelligence 1 International Journal of Approximate Reasoning Cited in 2 Fields 14 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) Citations by Year