Semantisches Browsen
Aus International Center for Computational Logic
We identify a general property of concrete … We identify a general property of concrete domains that is sufficient for proving decidability of DLs equipped with them and GCIs. We show that some useful concrete domains, such as a temporal one based on the Allen relations and a spatial one based on the RCC-8 relations, have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with such concrete domains.n DLs equipped with such concrete domains. +
LTCS-05-07 +
Carsten Lutz + und M. Milicic +
@techreport{ LutzMilicic-LTCS-05-07,
address = {Germany},
author = {C. {Lutz} and M. {Milicic}},
institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
number = {LTCS-05-07},
title = {A Tableau Algorithm for DLs with Concrete Domains and GCIs},
type = {LTCS-Report},
year = {2005},
}
address = {Germany},
author = {C. {Lutz} and M. {Milicic}},
institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
number = {LTCS-05-07},
title = {A Tableau Algorithm for DLs with Concrete Domains and GCIs},
type = {LTCS-Report},
year = {2005},
}
Lutz +
Carsten +
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology +
Carsten Lutz, M. Milicic<br /> '''[[LATPub675|A Tableau Algorithm for DLs with Concrete Domains and GCIs]]' … Carsten Lutz, M. Milicic<br /> '''[[LATPub675|A Tableau Algorithm for DLs with Concrete Domains and GCIs]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-05-07, 2005. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub675|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LutzMilicic-LTCS-05-07.ps.gz|Download]]a:LutzMilicic-LTCS-05-07.ps.gz|Download]] +
Carsten Lutz, M. Milicic<br /> '''[[LATPub675/en|A Tableau Algorithm for DLs with Concrete Domains and GCIs]]' … Carsten Lutz, M. Milicic<br /> '''[[LATPub675/en|A Tableau Algorithm for DLs with Concrete Domains and GCIs]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-05-07, 2005. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub675|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LutzMilicic-LTCS-05-07.ps.gz|Download]]a:LutzMilicic-LTCS-05-07.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.
A Tableau Algorithm for DLs with Concrete Domains and GCIs +
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:09 +
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.
A Tableau Algorithm for DLs with Concrete Domains and GCIs +, A Tableau Algorithm for DLs with Concrete Domains and GCIs +, A Tableau Algorithm for DLs with Concrete Domains and GCIs +, A Tableau Algorithm for DLs with Concrete Domains and GCIs +, A Tableau Algorithm for DLs with Concrete Domains and GCIs + und A Tableau Algorithm for DLs with Concrete Domains and GCIs +
