Browse wiki
From International Center for Computational Logic
Extensions of the description logic EL hav … Extensions of the description logic EL have recently been proposed as lightweight ontology languages. The most important feature of these extensions is that, despite including powerful expressive means such as general concept inclusion axioms, reasoning can be carried out in polynomial time. In this paper, we consider one of these extensions, EL+, and introduce a refinement of the known polynomial-time classification algorithm for this logic. This refined algorithm was implemented in our '''CEL''' reasoner. We describe the results of several experiments with '''CEL''' on large ontologies from practice, which show that even a relatively straightforward implementation of the described algorithm outperforms highly optimized, state-of-the-art tableau reasoners for expressive description logics.asoners for expressive description logics. +
@inproceedings{ BaaLutSun-JoLLI-07,
author = {Franz {Baader} and Carsten {Lutz} and Boontawee {Suntisrivaraporn}},
booktitle = {Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M)},
note = {To appear},
title = {Is Tractable Reasoning in Extensions of the Description Logic $\mathcal{EL}$ Useful in Practice?},
year = {2007},
}
author = {Franz {Baader} and Carsten {Lutz} and Boontawee {Suntisrivaraporn}},
booktitle = {Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M)},
note = {To appear},
title = {Is Tractable Reasoning in Extensions of the Description Logic $\mathcal{EL}$ Useful in Practice?},
year = {2007},
}
Baader +
Franz +
Franz Baader, Carsten Lutz, Boontawee Sunt … Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn<br/> '''[[LATPub368|<b>Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?</b>]]''' <br/>__NOTOC__<i>Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M)</i>, to appear<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub368|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaLutSun-JoLLI-07.pdf|Download]]edia:BaaLutSun-JoLLI-07.pdf|Download]] +
Franz Baader, Carsten Lutz, Boontawee Sunt … Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn<br/> '''[[LATPub368/en|<b>Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?</b>]]''' <br/>__NOTOC__<i>Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M)</i>, to appear<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub368|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaLutSun-JoLLI-07.pdf|Download]]edia:BaaLutSun-JoLLI-07.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
25. März 2015, 14:34:05 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +, Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +, Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +, Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +, Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +, Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + and Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +
