Semantisches Browsen
Aus International Center for Computational Logic
We show that extending description logics by simple aggregation functions as available in database systems may lead to undecidability of inference problems such as satisfiability and subsumption. +
LTCS-97-01 +
@techreport{ BaSat97,
author = {F. {Baader} and U. {Sattler}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
note = {An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.},
number = {LTCS-97-01},
title = {Description Logics with Aggregates and Concrete Domains},
type = {LTCS-Report},
year = {1997},
}
author = {F. {Baader} and U. {Sattler}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
note = {An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.},
number = {LTCS-97-01},
title = {Description Logics with Aggregates and Concrete Domains},
type = {LTCS-Report},
year = {1997},
}
Baader +
Franz +
LuFg Theoretical Computer Science, RWTH Aachen, Germany +
An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97. +
Franz Baader, Ulrike Sattler<br /> ' … Franz Baader, Ulrike Sattler<br /> '''[[LATPub615|Description Logics with Aggregates and Concrete Domains]]''' <br />__NOTOC__Technical Report, ''LuFg Theoretical Computer Science, RWTH Aachen, Germany'', volume LTCS-97-01, 1997. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub615|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaSat-LTCS97-01.ps.gz|Download]]a:BaaSat-LTCS97-01.ps.gz|Download]] +
Franz Baader, Ulrike Sattler<br /> ' … Franz Baader, Ulrike Sattler<br /> '''[[LATPub615/en|Description Logics with Aggregates and Concrete Domains]]''' <br />__NOTOC__Technical Report, ''LuFg Theoretical Computer Science, RWTH Aachen, Germany'', volume LTCS-97-01, 1997. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub615|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaSat-LTCS97-01.ps.gz|Download]]a:BaaSat-LTCS97-01.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.
Description Logics with Aggregates and Concrete Domains +
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:08 +
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.
Description Logics with Aggregates and Concrete Domains +, Description Logics with Aggregates and Concrete Domains +, Description Logics with Aggregates and Concrete Domains +, Description Logics with Aggregates and Concrete Domains +, Description Logics with Aggregates and Concrete Domains + und Description Logics with Aggregates and Concrete Domains +
