Semantisches Browsen
Aus International Center for Computational Logic
In this work we consider the inference pro … In this work we consider the inference problem of computing (minimal) rewritings of concept descriptions using defined concepts from a terminology. We introduce a general framework for this problem and instantiate it with the small description logic FLo, which provides us with conjunction and value restrictions. We show that the decision problem induced by the minimal rewriting problem is NP-complete for FLo. rewriting problem is NP-complete for FLo. +
Franz Baader + und R. Molitor +
@inproceedings{ BaaderMolitor-DL-1999,
address = {Sweden},
author = {F. {Baader} and R. {Molitor}},
booktitle = {Proceedings of the International Workshop on Description Logics 1999 (DL'99)},
editor = {P. {Lambrix} and A. {Borgida} and M. {Lenzerini} and R. {M{\"o}ller} and P. {Patel-Schneider}},
note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/}},
number = {22},
publisher = {Link{\"o}ping University},
series = {CEUR-WS},
title = {Rewriting Concepts Using Terminologies},
year = {1999},
}
address = {Sweden},
author = {F. {Baader} and R. {Molitor}},
booktitle = {Proceedings of the International Workshop on Description Logics 1999 (DL'99)},
editor = {P. {Lambrix} and A. {Borgida} and M. {Lenzerini} and R. {M{\"o}ller} and P. {Patel-Schneider}},
note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/}},
number = {22},
publisher = {Link{\"o}ping University},
series = {CEUR-WS},
title = {Rewriting Concepts Using Terminologies},
year = {1999},
}
Baader +
Franz +
Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/ +
Franz Baader, R. Molitor<br/> '''[[LATPub166|<b>Rewriting Concepts Using Terminologies</b>]]' … Franz Baader, R. Molitor<br/> '''[[LATPub166|<b>Rewriting Concepts Using Terminologies</b>]]''' <br/>__NOTOC__In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., <i>Proceedings of the International Workshop on Description Logics 1999 (DL'99)</i>, CEUR-WS, 1999. Linköping University<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub166|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderMolitor-DL-1999.ps.gz|Download]]BaaderMolitor-DL-1999.ps.gz|Download]] +
Franz Baader, R. Molitor<br/> '''[[LATPub166/en|<b>Rewriting Concepts Using Terminologies</b>]]' … Franz Baader, R. Molitor<br/> '''[[LATPub166/en|<b>Rewriting Concepts Using Terminologies</b>]]''' <br/>__NOTOC__In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., <i>Proceedings of the International Workshop on Description Logics 1999 (DL'99)</i>, CEUR-WS, 1999. Linköping University<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub166|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderMolitor-DL-1999.ps.gz|Download]]BaaderMolitor-DL-1999.ps.gz|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.
Rewriting Concepts Using Terminologies +
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:03 +
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.
