Semantisches Browsen
Aus International Center for Computational Logic
After a short analysis of the requirements … After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we briefly comment on the connection to Logic Programming.nt on the connection to Logic Programming. +
@inproceedings{ Baader-LNAI-1999,
author = {F. {Baader}},
booktitle = {Artificial Intelligence Today, Recent Trends and Developments},
editor = {M.J. {Wooldridge} and M. {Veloso}},
number = {1600},
pages = {13--41},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {Logic-Based Knowledge Representation},
year = {1999},
}
author = {F. {Baader}},
booktitle = {Artificial Intelligence Today, Recent Trends and Developments},
editor = {M.J. {Wooldridge} and M. {Veloso}},
number = {1600},
pages = {13--41},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {Logic-Based Knowledge Representation},
year = {1999},
}
Baader +
Franz +
Franz Baader<br/> '''[[LATPub171|<b>Logic-Based Knowledge Representation</b>]] … Franz Baader<br/> '''[[LATPub171|<b>Logic-Based Knowledge Representation</b>]]''' <br/>__NOTOC__In M.J. Wooldridge and M. Veloso, eds., <i>Artificial Intelligence Today, Recent Trends and Developments</i>, Lecture Notes in Computer Science, 13-41, 1999. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub171|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Baader-LNAI-1999.ps.gz|Download]]a:Baader-LNAI-1999.ps.gz|Download]] +
Franz Baader<br/> '''[[LATPub171/en|<b>Logic-Based Knowledge Representation</b>]] … Franz Baader<br/> '''[[LATPub171/en|<b>Logic-Based Knowledge Representation</b>]]''' <br/>__NOTOC__In M.J. Wooldridge and M. Veloso, eds., <i>Artificial Intelligence Today, Recent Trends and Developments</i>, Lecture Notes in Computer Science, 13-41, 1999. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub171|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Baader-LNAI-1999.ps.gz|Download]]a:Baader-LNAI-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.
Logic-Based Knowledge Representation +
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.
