LATPub404

{{Publikation Details |Abstract=Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest fixpoint (gfp) semantics. We introduce a proof-theoretic approach that yields a polynomial-time decision procedure for subsumption in EL w.r.t. hybrid TBoxes, and present preliminary experimental results regarding the performance of the reasoner Hyb that implements this decision procedure. |ISBN= |ISSN= |Link= |Download=BaaNovSun-DL-08.pdf |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@inproceedings{ BaaNovSun-DL-08,

 author = {Franz {Baader} and Novak {Novakovic} and Boontawee {Suntisrivaraporn} },
 booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
 series = {CEUR-WS},
 title = {A Proof-Theoretic Subsumption Reasoner for Hybrid $\mathcal{EL}$-{TBoxes} },
 volume = {353},
 year = {2008},

} }}