Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub343
Abstract CEL (Classifier for EL) is a reasoner for
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing feature of CEL is that, unlike other modern DL reasoners, it is based on a polynomial-time subsumption algorithm, which allows it to process very large ontologies in reasonable time. In spite of its restricted expressive power, EL+ is well-suited for formulating life science ontologies.
d for formulating life science ontologies.  +
Author B. Suntisrivaraporn + , Franz Baader + , Carsten Lutz +
BibTex
@inproceedings{ BaaLutSun-IJCAR-06,
  author = {F. {Baader} and C. {Lutz} and B. {Suntisrivaraporn}},
  booktitle = {Proceedings of the 3rd International Joint Conference on Automated Reasoning ({IJCAR'06})},
  editor = {U. {Furbach} and N. {Shankar}},
  pages = {287--291},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{\textsf{CEL}}---A Polynomial-time Reasoner for Life Science Ontologies},
  volume = {4130},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06)  +
Download BaaLutSun-IJCAR-06.pdf  +
Editor U. Furbach and N. Shankar  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Pages 287-291  +
Publication text Franz Baader, Carsten Lutz, B. Suntisrivar
Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub343|<b>CEL—A Polynomial-time Reasoner for Life Science Ontologies</b>]]''' <br/>__NOTOC__In U. Furbach and N. Shankar, eds., <i>Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06)</i>, volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub343|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaLutSun-IJCAR-06.pdf|Download]]
[[Media:BaaLutSun-IJCAR-06.pdf|Download]]  +
Publication text en Franz Baader, Carsten Lutz, B. Suntisrivar
Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub343/en|<b>CEL—A Polynomial-time Reasoner for Life Science Ontologies</b>]]''' <br/>__NOTOC__In U. Furbach and N. Shankar, eds., <i>Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06)</i>, volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub343|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaLutSun-IJCAR-06.pdf|Download]]
[[Media:BaaLutSun-IJCAR-06.pdf|Download]]  +
Publisher Springer  +
Referiert 1  +
Series Lecture Notes in Artificial Intelligence  +
Title CEL—A Polynomial-time Reasoner for Life Science Ontologies  +
To appear 0  +
Type inproceedings  +
Volume 4130  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub343 + , LATPub343 + , LATPub343 + , LATPub343 + , LATPub343 + , LATPub343 + , LATPub343 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub343/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.