Browse wiki
From International Center for Computational Logic
@inproceedings{ BaaLutSun-DL-06,
author = {F. {Baader} and C. {Lutz} and B. {Suntisrivaraporn}},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
series = {CEUR-WS},
title = {Efficient Reasoning in $\mathcal{EL}^+$},
year = {2006},
}
author = {F. {Baader} and C. {Lutz} and B. {Suntisrivaraporn}},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
series = {CEUR-WS},
title = {Efficient Reasoning in $\mathcal{EL}^+$},
year = {2006},
}
Baader +
Franz +
Franz Baader, Carsten Lutz, B. Suntisrivar … Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub344|<b>Efficient Reasoning in EL^+</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, CEUR-WS, 2006<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub344|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaLutSun-DL-06.pdf|Download]]dia:BaaLutSun-DL-06.pdf|Download]] +
Franz Baader, Carsten Lutz, B. Suntisrivar … Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub344/en|<b>Efficient Reasoning in EL^+</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, CEUR-WS, 2006<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub344|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaLutSun-DL-06.pdf|Download]]dia:BaaLutSun-DL-06.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Efficient Reasoning in EL^+ +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
25. März 2015, 14:34:05 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
