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.

References in zbMATH (referenced in 15 articles )

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

  1. Ceylan, İsmail İlkan; Peñaloza, Rafael: The Bayesian ontology language (\mathcalBEL) (2017)
  2. Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao: BEACON: an efficient SAT-based tool for debugging (\mathcalEL^+) ontologies (2016)
  3. Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao: Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing (2015)
  4. Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin: Completion-based generalization inferences for the description logic (\mathcalELOR) with subjective probabilities (2014)
  5. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  6. Cuenca Grau, Bernardo; Motik, Boris; Stoilos, Giorgos; Horrocks, Ian: Completeness guarantees for incomplete ontology reasoners: theory and practice (2012)
  7. Krötzsch, Markus: OWL 2 profiles: an introduction to lightweight ontology languages (2012)
  8. Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin: Small is again beautiful in description logics (2010) ioport
  9. Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee: Incremental classification of description logics ontologies (2010)
  10. Distel, Felix: An approach to exploring description logic knowledge bases (2010)
  11. Baader, Franz: Description logics (2009)
  12. Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M.: Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection (2009)
  13. Konev, Boris; Walther, Dirk; Wolter, Frank: The logical difference problem for description logic terminologies (2008)
  14. Motik, Boris; Horrocks, Ian: Individual reuse in description logic reasoning (2008)
  15. Baader, Franz; Lutz, Carsten; Suntisrivaraporn, Boontawee: CEL -- a polynomial-time reasoner for life science ontologies (2006) ioport